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.

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

Verifier router #856

Open
wants to merge 57 commits into
base: main
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
6924797
*reusable verifier example nb
ethan-crypto Jun 25, 2024
c92be15
*update lockfile
ethan-crypto Jun 26, 2024
83cb957
*fix stuck integration tests.
ethan-crypto Jun 28, 2024
b3997cd
lazy static import
ethan-crypto Jun 28, 2024
b08dc28
Merge branch 'main' into reusable-vk-nb
ethan-crypto Jul 1, 2024
985205a
*update lock
ethan-crypto Jul 2, 2024
a17aad0
*update lock
ethan-crypto Jul 3, 2024
bdad19b
*update lock
ethan-crypto Jul 4, 2024
2fe0eb4
*update lock
ethan-crypto Jul 7, 2024
257e275
*update lock
ethan-crypto Jul 11, 2024
f59aaf8
*update lock
ethan-crypto Jul 11, 2024
f25b420
*update lock
ethan-crypto Jul 12, 2024
f5ae49e
Merge branch 'main' into reusable-vk-nb
ethan-crypto Jul 12, 2024
cd9d7c3
Merge branch 'main' into reusable-vk-nb
ethan-crypto Jul 12, 2024
36188ab
*comment out JS tests for reusable verifier CI tests
ethan-crypto Jul 12, 2024
dbe812b
*update lock
ethan-crypto Jul 13, 2024
f6acf24
Merge branch 'main' into reusable-vk-nb
ethan-crypto Jul 19, 2024
a1dd82a
*update lock
ethan-crypto Jul 19, 2024
3e5153d
*update lock
ethan-crypto Jul 23, 2024
6b71bdc
use latest version of solc
ethan-crypto Jul 23, 2024
add04f6
Merge branch 'main' into reusable-vk-nb
ethan-crypto Jul 26, 2024
d5f1849
*update lock.
ethan-crypto Jul 26, 2024
099726b
update lock.
ethan-crypto Jul 27, 2024
00f8dd4
*update lock
ethan-crypto Jul 28, 2024
f3e531c
*update lock
ethan-crypto Jul 29, 2024
72f1892
*update lock
ethan-crypto Jul 29, 2024
fab08bb
*update cargo lock
ethan-crypto Jul 29, 2024
889db3a
*update lock.
ethan-crypto Jul 29, 2024
779f82e
*vanish computations pcs
ethan-crypto Jul 30, 2024
3df63d5
coeff_computations.
ethan-crypto Jul 31, 2024
d5944d3
*r_evals_computation
ethan-crypto Aug 1, 2024
35bb286
*coeff_sums_computation
ethan-crypto Aug 2, 2024
31168b0
*fully reusable verifier
ethan-crypto Aug 3, 2024
23f7187
*update lock
ethan-crypto Aug 5, 2024
f1fe019
Merge branch 'main' into reusable-vk-nb
ethan-crypto Aug 5, 2024
a616fbb
packed permutation evals and challenge data.
ethan-crypto Aug 7, 2024
fd29794
hardcode coeff_ptr
ethan-crypto Aug 8, 2024
9d876d5
MV lookup packed.
ethan-crypto Aug 9, 2024
1588c97
*update lock
ethan-crypto Aug 14, 2024
472a505
*update separate vk contract name
ethan-crypto Aug 14, 2024
ad59186
Merge branch 'main' into reusable-vk-nb
ethan-crypto Aug 29, 2024
cd18602
main lock
ethan-crypto Aug 29, 2024
4d18a5a
*rmv create_evm_vk cmd
ethan-crypto Sep 2, 2024
66ae2f7
Merge branch 'main' into reusable-vk-nb
ethan-crypto Sep 2, 2024
9908f5c
*add col overflow testing for reusable verifier.
ethan-crypto Sep 5, 2024
a2a8488
Merge branch 'main' into reusable-vk-nb
ethan-crypto Sep 5, 2024
c9351c0
*reduce `extcodeopy` call by 1
ethan-crypto Sep 6, 2024
9fd3799
*expand reusable verifier test examples
ethan-crypto Sep 7, 2024
6788a9c
*comprehensive test coverage for reusable verifier
ethan-crypto Sep 9, 2024
d4ebf8f
skip lstm_large in overflow b/c too big to fit on chain.
ethan-crypto Sep 10, 2024
fe96076
Merge branch 'main' into reusable-vk-nb
ethan-crypto Sep 20, 2024
e3051b7
*bit flip fuzzing tests
ethan-crypto Oct 4, 2024
97c1397
verifier manager contract.
ethan-crypto Oct 8, 2024
5faa56f
Merge branch 'zkonduit:main' into verifier-router
ethan-crypto Oct 11, 2024
1ddbce5
ci testing
ethan-crypto Oct 25, 2024
cda4b2d
merge "main" into "verifier-router"
ethan-crypto Oct 28, 2024
41d3233
h2 sol verifier package update.
ethan-crypto Oct 28, 2024
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
Prev Previous commit
Next Next commit
lazy static import
ethan-crypto committed Jun 28, 2024
commit b3997cd325ffd9ba706e8259849bb4e422332e12
2 changes: 1 addition & 1 deletion .github/workflows/rust.yml
Original file line number Diff line number Diff line change
@@ -328,7 +328,7 @@ jobs:
- name: Install Anvil
run: cargo install --git https://github.com/foundry-rs/foundry --rev c2233ec9fe61e0920c61c6d779bc707252852037 --profile local --locked anvil --force
- name: KZG prove and verify tests (EVM + VK rendered seperately)
run: cargo nextest run --release --verbose tests_evm::kzg_evm_prove_and_verify_render_seperately_ --test-threads 1
run: RUST_LOG=error cargo nextest run --release --verbose tests_evm::kzg_evm_prove_and_verify_render_seperately_ --no-capture
- name: KZG prove and verify tests (EVM + kzg all)
run: cargo nextest run --release --verbose tests_evm::kzg_evm_kzg_all_prove_and_verify --test-threads 1
- name: KZG prove and verify tests (EVM + kzg inputs)
1 change: 1 addition & 0 deletions tests/integration_tests.rs
Original file line number Diff line number Diff line change
@@ -986,6 +986,7 @@ mod native_tests {
use std::fs;
use std::hash::{Hash, Hasher};
use ezkl::logger::init_logger;
use crate::native_tests::lazy_static;

// Global variables to store verifier hashes and identical verifiers
lazy_static! {