Feat/circom prover (#304)

* circom-prover draft * integrate to mopro-ffi * impl verify * clean up mopro-ffi dep. * chore: rename ProofResult to CircomProof * fix: pass thread handle instead of witnesses directly * add cfg-feature for witness and proving * fix: ci fail on 'test-wasm-halo2' * fix: lint * Update circom-prover/src/lib.rs Co-authored-by: Ya-wen, Jeng <[email protected]> * Update test-e2e/src/lib.rs Co-authored-by: Ya-wen, Jeng <[email protected]> --------- Co-authored-by: sifnoc <[email protected]> Co-authored-by: Ya-wen, Jeng <[email protected]>
zkmopro · Jan 25, 2025 · cc08bb5 · cc08bb5
1 parent 7c441b2
commit cc08bb5
Show file tree

Hide file tree

Showing 15 changed files with 614 additions and 485 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -143,9 +143,9 @@ jobs:
       - name: Run wasm halo2 tests
         run: |
           echo "Override default chrome path for 'wasm-pack test'"
-          ln -sf $CHROME_BIN /usr/local/bin/google-chrome-stable
+          sudo ln -sf $CHROME_BIN /opt/google/chrome/chrome
           echo "Check override chrome version"
-          google-chrome-stable --version
+          google-chrome --version
           cd mopro-wasm
           wasm-pack test --chrome --chromedriver $CHROMEDRIVER_BIN --headless -- --all-features
   test-e2e:
@@ -341,6 +341,7 @@ jobs:
         run: yarn install
       - name: Run halo2-wasm-app server and test it
         run: |
+          echo "This test will be on latest chrome & chromedriver"
           nohup yarn start &
           for i in {1..30}; do
             if curl --silent http://localhost:3000 > /dev/null; then