add proofs generation

.github/workflows/pull-request.yml

@@ -36,3 +36,10 @@ jobs:
       always() && !cancelled()
     secrets: inherit
 
+  verify-circuit-proof:
+    name: Verify Circuit Proof
+    uses: ./.github/workflows/verify-circuit-proof.yml
+    if: |
+      always() && !cancelled()
+    secrets: inherit
+

.github/workflows/verify-circuit-proof.yml

@@ -0,0 +1,33 @@
+name: Verify circuit proof
+
+on:
+  workflow_call:
+
+jobs:
+  produce-proofs:
+    name: "Produce and verify proofs"
+    runs-on: [self-hosted, Linux, X64, aws_autoscaling]
+    steps:
+      - name: Clean up after previous checkout
+        run: chmod +w -R ${GITHUB_WORKSPACE}; rm -rf ${GITHUB_WORKSPACE}/*;
+
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Create test binary
+        run: |
+          nix develop .#crypto3-tests
+          cd crypto3
+          eval "$configurePhase"
+          ninja transpiler_evm_test
+          ./libs/transpiler/test/transpiler_evm_test -- --save-proof-data
+
+      - name: Publish Proofs
+        uses: actions/upload-artifact@v4
+        with:
+          name: proofs
+          path: |
+              placeholder/crypto3/build/circuit*
+