From 0bb429bd482757fca43f168e9c71751ed9f25d38 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 13:52:48 +0100
Subject: [PATCH] ci: add proof to the build assets

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

diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml
index ab2abb1..a6a2993 100644
--- a/.github/workflows/generate.yml
+++ b/.github/workflows/generate.yml
@@ -111,6 +111,13 @@ jobs:
           snarkjs zkey export solidityverifier proof_main.zkey verifier.sol
           cd ..
 
+      - name: Generate proof
+        run: |
+          cd workflow/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: