From 037f2868b1040798a499986338872ef4a35fcc34 Mon Sep 17 00:00:00 2001 From: Ben Date: Mon, 18 Mar 2024 11:32:15 +0100 Subject: [PATCH 1/2] Includes verification key json in output zip --- .github/workflows/generate.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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}" From d95b3ec07db629eb5c80af9b9d9939638a679588 Mon Sep 17 00:00:00 2001 From: Balazs Komuves Date: Thu, 25 Apr 2024 21:13:21 +0200 Subject: [PATCH 2/2] update workflow description with nim-groth16 example --- workflow/README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/workflow/README.md b/workflow/README.md index 179e920..d682ee0 100644 --- a/workflow/README.md +++ b/workflow/README.md @@ -131,6 +131,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