Fix groth16 template public signals check bug #1267
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Check snarkjs tutorial | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| node-version: ["18", "20"] | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Use Node.js ${{ matrix.node-version }} | |
| uses: actions/setup-node@v1 | |
| with: | |
| node-version: ${{ matrix.node-version }} | |
| - run: npm install -g circom@latest | |
| - run: npm install | |
| - run: npm link | |
| - name: 1. Start a new powers of tau ceremony | |
| run: snarkjs powersoftau new bn128 14 pot14_0000.ptau -v | |
| - name: 2. Contribute to the ceremony | |
| run: snarkjs powersoftau contribute pot14_0000.ptau pot14_0001.ptau -e="some random text" --name="First contribution" -v | |
| - name: 3. Provide a second contribution | |
| run: snarkjs powersoftau contribute pot14_0001.ptau pot14_0002.ptau --name="Second contribution" -e="some random text" -v | |
| - name: 4. Provide a third contribution using third party software | |
| run: | | |
| snarkjs powersoftau export challenge pot14_0002.ptau challenge_0003 | |
| snarkjs powersoftau challenge contribute bn128 challenge_0003 response_0003 -e="some random text" | |
| snarkjs powersoftau import response pot14_0002.ptau response_0003 pot14_0003.ptau -n="Third contribution name" | |
| - name: 5. Verify the protocol so far | |
| run: snarkjs powersoftau verify pot14_0003.ptau | |
| - name: 6. Apply a random beacon | |
| run: snarkjs powersoftau beacon pot14_0003.ptau pot14_beacon.ptau 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f 10 -n="Final Beacon" | |
| - name: 7. Prepare phase 2 | |
| run: snarkjs powersoftau prepare phase2 pot14_beacon.ptau pot14_final.ptau -v | |
| - name: 8. Verify the final ptau | |
| run: snarkjs powersoftau verify pot14_final.ptau -v | |
| - name: Export ptau as JSON (not part of tutorial) | |
| run: snarkjs powersoftau export json pot14_final.ptau pot14_final.json -v | |
| - name: 9. Create the circuit | |
| run: | | |
| cat <<EOT > circuit.circom | |
| template Multiplier(n) { | |
| signal private input a; | |
| signal private input b; | |
| signal output c; | |
| signal int[n]; | |
| int[0] <== a*a + b; | |
| for (var i=1; i<n; i++) { | |
| int[i] <== int[i-1]*int[i-1] + b; | |
| } | |
| c <== int[n-1]; | |
| } | |
| component main = Multiplier(1000); | |
| EOT | |
| - name: 10. Compile the circuit | |
| run: circom circuit.circom --r1cs --wasm --sym -v | |
| - name: 11. View information about the circuit | |
| run: snarkjs r1cs info circuit.r1cs | |
| - name: 12. Print the constraints | |
| run: snarkjs r1cs print circuit.r1cs circuit.sym | |
| - name: 13. Export r1cs to json | |
| run: | | |
| snarkjs r1cs export json circuit.r1cs circuit.r1cs.json | |
| cat circuit.r1cs.json | |
| - name: 14. Generate the reference zkey without phase 2 contributions | |
| run: snarkjs groth16 setup circuit.r1cs pot14_final.ptau circuit_0000.zkey | |
| - name: 15. Contribute to the phase 2 ceremony | |
| run: snarkjs zkey contribute circuit_0000.zkey circuit_0001.zkey --name="1st Contributor Name" -e="some random text" -v | |
| - name: 16. Provide a second contribution | |
| run: snarkjs zkey contribute circuit_0001.zkey circuit_0002.zkey --name="Second contribution Name" -e="some random text" -v | |
| - name: 17. Provide a third contribution using third party software | |
| run: | | |
| snarkjs zkey export bellman circuit_0002.zkey challenge_phase2_0003 | |
| snarkjs zkey bellman contribute bn128 challenge_phase2_0003 response_phase2_0003 -e="some random text" | |
| snarkjs zkey import bellman circuit_0002.zkey response_phase2_0003 circuit_0003.zkey -n="Third contribution name" | |
| - name: 18. Verify the latest zkey | |
| run: snarkjs zkey verify circuit.r1cs pot14_final.ptau circuit_0003.zkey | |
| - name: 19. Apply a random beacon | |
| run: snarkjs zkey beacon circuit_0003.zkey circuit_final.zkey 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f 10 -n="Final Beacon phase2" | |
| - name: 20. Verify the final zkey | |
| run: snarkjs zkey verify circuit.r1cs pot14_final.ptau circuit_final.zkey | |
| # This is a test for a regression in the command | |
| - name: Export zkey as JSON (not part of tutorial) | |
| run: snarkjs zkey export json circuit_final.zkey circuit_final.zkey.json | |
| - name: 21. Export the verification key | |
| run: snarkjs zkey export verificationkey circuit_final.zkey verification_key.json | |
| - name: 22. Calculate the witness | |
| run: | | |
| cat <<EOT > input.json | |
| {"a": 3, "b": 11} | |
| EOT | |
| snarkjs wtns calculate circuit.wasm input.json witness.wtns | |
| snarkjs wtns check circuit.r1cs witness.wtns | |
| - name: 23. Debug the final witness calculation | |
| run: snarkjs wtns debug circuit.wasm input.json witness.wtns circuit.sym --trigger --get --set | |
| - name: 24. Create the proof | |
| run: snarkjs groth16 prove circuit_final.zkey witness.wtns proof.json public.json | |
| - name: 25. Verify the proof | |
| run: snarkjs groth16 verify verification_key.json public.json proof.json | |
| - name: 26. Turn the verifier into a smart contract | |
| run: snarkjs zkey export solidityverifier circuit_final.zkey verifier.sol | |
| - name: 27. Simulate a verification call | |
| run: snarkjs zkey export soliditycalldata public.json proof.json | |
| - name: 28. Plonk setup | |
| run: snarkjs plonk setup circuit.r1cs pot14_final.ptau circuit_final.zkey | |
| - name: 29. Export the verification key | |
| run: snarkjs zkey export verificationkey circuit_final.zkey verification_key.json | |
| - name: 30. Create a PLONK proof | |
| run: snarkjs plonk prove circuit_final.zkey witness.wtns proof.json public.json | |
| - name: 31. Verify the PLONK proof | |
| run: snarkjs plonk verify verification_key.json public.json proof.json | |
| - name: 32. Turn the PLONK verifier into a smart contract | |
| run: snarkjs zkey export solidityverifier circuit_final.zkey verifier.sol | |
| - name: 33. Simulate a PLONK verification call | |
| run: snarkjs zkey export soliditycalldata public.json proof.json | |
| - name: 34. Fflonk setup | |
| run: snarkjs fflonk setup circuit.r1cs pot14_final.ptau circuit_final.zkey | |
| - name: 35. Export the verification key | |
| run: snarkjs zkey export verificationkey circuit_final.zkey verification_key.json | |
| - name: 36. Create a FFLONK proof | |
| run: snarkjs fflonk prove circuit_final.zkey witness.wtns proof.json public.json | |
| - name: 37. Verify the FFLONK proof | |
| run: snarkjs fflonk verify verification_key.json public.json proof.json | |
| - name: 38. Turn the FFLONK verifier into a smart contract | |
| run: snarkjs zkey export solidityverifier circuit_final.zkey verifier.sol | |
| - name: 39. Simulate a FFLONK verification call | |
| run: snarkjs zkey export soliditycalldata public.json proof.json | |