ci: add proof to the build assets (#2)

codex-storage · Jan 4, 2024 · d4c1219 · d4c1219
1 parent e12db34
commit d4c1219
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml
@@ -111,6 +111,15 @@ jobs:
           snarkjs zkey export solidityverifier proof_main.zkey verifier.sol
           cd ..
 
+      - name: Generate proof
+        run: |
+          cd workflow/build/
+          ../../reference/nim/proof_input/cli $CLI_ARGS -v --output=input.json
+          cd proof_main_js
+          node generate_witness.js proof_main.wasm ../input.json ../witness.wtns
+          cd ..
+          snarkjs groth16 prove proof_main.zkey witness.wtns proof.json public.json
+
       - name: Upload artifact
         uses: actions/upload-artifact@v3
         with: