diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml index 68fba06..6f2902c 100644 --- a/.github/workflows/generate.yml +++ b/.github/workflows/generate.yml @@ -50,6 +50,7 @@ env: circuit_file: workflow/build/proof_main.zkey constraints_file: workflow/build/proof_main.r1cs wasm_file: workflow/build/proof_main_js/proof_main.wasm + verification_key_file: workflow/build/proof_main_verification_key.json zip_file: workflow/build/proof_circuit.zip storage_url: https://circuit.codex.storage @@ -136,7 +137,7 @@ jobs: AWS_DEFAULT_REGION: ${{ secrets.AWS_DEFAULT_REGION }} run: | # Zip - zip -qj ${{ env.zip_file }} ${{ env.circuit_file }} ${{ env.constraints_file }} ${{ env.wasm_file }} + zip -qj ${{ env.zip_file }} ${{ env.circuit_file }} ${{ env.constraints_file }} ${{ env.wasm_file }} ${{ env.verification_key_file }} # Variables hash=($(shasum -a 256 ${{ env.zip_file }})) [[ -z "${{ env.s3_bucket_path}}" ]] && storage_file="${hash}" || storage_file="${{ env.s3_bucket_path}}/${hash}" diff --git a/workflow/README.md b/workflow/README.md index db56d06..82e3843 100644 --- a/workflow/README.md +++ b/workflow/README.md @@ -133,6 +133,10 @@ Or using `rapidsnark` (fast, but not very portable): $ rapidsnark proof_main.zkey witness.wtns proof.json public.json +Or using `nim-groth16` (experimental): + + $ nim-groth16 -p -z=proof_main.zkey -w=witness.wtns -o=proof.json -i=public.json + The output of this step will consist of: - `proof.json` containing the proof itself