From d4c12191cc71b1d6d683314897e8ff1801887b7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adam=20Uhl=C3=AD=C5=99?= <adam@uhlir.dev>
Date: Thu, 4 Jan 2024 16:00:34 +0100
Subject: [PATCH] ci: add proof to the build assets (#2)

---
 .github/workflows/generate.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml
index ab2abb1..82809ca 100644
--- 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: