Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat/circom prover #304

Merged
merged 11 commits into from
Jan 25, 2025
Merged

Feat/circom prover #304

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
ab3c442
circom-prover draft
KimiWu123 Jan 21, 2025
faedd15
integrate to mopro-ffi
KimiWu123 Jan 22, 2025
e2c16ce
impl verify
KimiWu123 Jan 22, 2025
2307291
clean up mopro-ffi dep.
KimiWu123 Jan 22, 2025
f533c8d
chore: rename ProofResult to CircomProof
KimiWu123 Jan 23, 2025
b6d39a6
fix: pass thread handle instead of witnesses directly
KimiWu123 Jan 23, 2025
265abb6
add cfg-feature for witness and proving
KimiWu123 Jan 24, 2025
f6095aa
fix: ci fail on 'test-wasm-halo2'
sifnoc Jan 24, 2025
6b4d27e
fix: lint
KimiWu123 Jan 25, 2025
8543055
Update circom-prover/src/lib.rs
KimiWu123 Jan 25, 2025
0201e3d
Update test-e2e/src/lib.rs
KimiWu123 Jan 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions .github/workflows/build-and-test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down Expand Up @@ -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
Expand Down
Loading
Loading