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

Split verifier #146

Merged
merged 146 commits into from
Sep 28, 2024
Merged
Changes from 1 commit
Commits
Show all changes
146 commits
Select commit Hold shift + click to select a range
0b58178
Split dex
fmkra Jul 24, 2024
d1e7cd7
Small layout
fmkra Jul 24, 2024
e4d935b
Starknet layout
fmkra Jul 24, 2024
eb991e8
Starknet with keccak layout
fmkra Jul 24, 2024
e93222b
Starknet composition polynomial split
fmkra Jul 25, 2024
758d8db
Starknet with keccak
fmkra Jul 29, 2024
2fcd709
Update starknet layout
fmkra Jul 30, 2024
3390dad
Update starknet_with_keccak deployment script
fmkra Jul 30, 2024
f4d7fa8
Improve starknet_with_keccak autogenerated
fmkra Jul 30, 2024
1f31b5a
Support for multiple verifiers in fact registry
fmkra Jul 31, 2024
6dbd81e
FactRegistry ownership and verifier registration
fmkra Jul 31, 2024
612daf9
Remove cairo_version from VerifierSettings
fmkra Jul 31, 2024
85b4b0b
Move verifier contract to root directory
fmkra Jul 31, 2024
251c4ca
FactRegistry multicall scripts
fmkra Jul 31, 2024
9a8134e
Features support
fmkra Jul 31, 2024
02a61ed
Split starknet_with_keccak by transactions
fmkra Aug 5, 2024
cbb445b
Extract fri_verify_layer_step into function
fmkra Aug 6, 2024
352e4d9
Fri separate init, step and finalize
fmkra Aug 6, 2024
6e74d48
Stark proof split into init, step, finalize
fmkra Aug 6, 2024
0ec627b
Fri layers splitting
fmkra Aug 9, 2024
cef3fa3
Change identification by fact to job_id
fmkra Aug 9, 2024
b73a0bf
Better error messages
fmkra Aug 9, 2024
21ce4fc
Add script for autogenerated generation
fmkra Aug 13, 2024
b0d1be8
Make eval registration optional
fmkra Aug 13, 2024
a15c010
Recursive with poseidon layout
fmkra Aug 13, 2024
2a479eb
Merge calldata_split
fmkra Aug 13, 2024
e7319b9
Fix errors
fmkra Aug 13, 2024
644f5d3
Fix compilation errors
fmkra Aug 15, 2024
8006068
Merge branch 'autogenerated_split' of https://github.com/HerodotusDev…
fmkra Aug 15, 2024
9a52c12
Fixes
fmkra Aug 15, 2024
7ae148d
Fix CairoVerifier compilation error
fmkra Aug 15, 2024
2acbb39
Fix contract part2 compilation
fmkra Aug 15, 2024
19180a5
Add proxy contract
fmkra Aug 16, 2024
96398b8
Recursive autogenerated split
fmkra Aug 16, 2024
26f49e1
Add all deployment scripts
fmkra Aug 16, 2024
e0293ee
Merge remote-tracking branch 'origin/proxy_contract' into autogenerat…
fmkra Sep 9, 2024
854603a
Add monolit/split features for recursive
fmkra Sep 9, 2024
135edf4
monolit/split for dex,small,recursive_with_poseidon
fmkra Sep 10, 2024
f56b5dd
Make monolit feature default
fmkra Sep 10, 2024
4efbe3d
Update README
fmkra Sep 10, 2024
e4ca8eb
Fix blake2s tests
fmkra Sep 10, 2024
1e0a656
Revert starknet and starknet_with_keccak split
fmkra Sep 10, 2024
23b125e
Remove unnecessary files
fmkra Sep 10, 2024
6414a95
refactor
Okm165 Sep 10, 2024
479f3c6
Change handling of security bits
fmkra Sep 10, 2024
8c1d710
Merge branch 'main' into autogenerated_split
fmkra Sep 10, 2024
23374ab
Merge branch 'autogenerated_split' into autogenerated_split_merge
Okm165 Sep 10, 2024
c36fa38
rm old fact registry
Okm165 Sep 10, 2024
59de5da
Merge pull request #147 from HerodotusDev/autogenerated_split_merge
Okm165 Sep 10, 2024
e783bbe
monolit -> monolith [typo]
Okm165 Sep 10, 2024
9d74211
Update CI/CD
fmkra Sep 10, 2024
0924ad9
Fact registry with verification_hash
fmkra Sep 10, 2024
7695c8c
Format
fmkra Sep 10, 2024
d023d80
Proxy contract
fmkra Sep 10, 2024
0ad6813
Hotfix typo
fmkra Sep 10, 2024
7e6f83a
hasher enhancements
Okm165 Sep 10, 2024
f04a92e
stone5 stone6 features
Okm165 Sep 10, 2024
15d5569
Make get_all_verifications_for_fact_hash return type a struct
fmkra Sep 10, 2024
717f6d0
Fmt
fmkra Sep 10, 2024
0050351
Update README
fmkra Sep 10, 2024
1681392
Update README
fmkra Sep 10, 2024
a9bab39
Add get_verification method
fmkra Sep 10, 2024
a5b0e34
Update README
fmkra Sep 10, 2024
e346791
Change verify functions from read to write
fmkra Sep 11, 2024
9193202
Update multicall scripts
fmkra Sep 11, 2024
f24dea9
Update README
fmkra Sep 11, 2024
b6579ef
tests fixes
Okm165 Sep 11, 2024
ef90d04
fmt
Okm165 Sep 11, 2024
56133b1
Merge branch 'autogenerated_split' into hasher_and_stone_features
Okm165 Sep 11, 2024
06e7800
multicall settings updates
Okm165 Sep 11, 2024
a73110b
ci update
Okm165 Sep 11, 2024
37fd642
Prover version specific hash_data initialization
Okm165 Sep 11, 2024
c79c8d1
Merge pull request #148 from HerodotusDev/hasher_and_stone_features
Okm165 Sep 11, 2024
957a20d
fix hash calc error
Okm165 Sep 11, 2024
372244d
Revert "Revert starknet and starknet_with_keccak split"
Okm165 Sep 12, 2024
3ae439c
split monolith missing layouts
Okm165 Sep 12, 2024
7c4c7ca
contract fixes
Okm165 Sep 12, 2024
b44912e
fixing contracts updating to newer scarb
Okm165 Sep 12, 2024
49ef272
fmt
Okm165 Sep 12, 2024
d576573
contracts compiling fixes
Okm165 Sep 12, 2024
2ca863f
Make number of hasher bits a setting
fmkra Sep 12, 2024
03b849b
Make stone version a setting
fmkra Sep 12, 2024
a3e4624
Fmt
fmkra Sep 12, 2024
5744a6e
Fix typo
fmkra Sep 12, 2024
4192b71
Remove comment
fmkra Sep 12, 2024
6f050c5
Adjust runner
fmkra Sep 12, 2024
6adfbb4
Fix CI/CD
fmkra Sep 12, 2024
108b42a
Rename Settings
fmkra Sep 12, 2024
41052a6
Fmt
fmkra Sep 12, 2024
2d68ee0
default features
Okm165 Sep 13, 2024
834a853
contract refactored
Okm165 Sep 13, 2024
bdebb41
Merge pull request #151 from HerodotusDev/verifier_settings
Okm165 Sep 13, 2024
67de665
Revert "Revert starknet and starknet_with_keccak split"
Okm165 Sep 12, 2024
7eaf85b
split monolith missing layouts
Okm165 Sep 12, 2024
1d8b83e
Merge branch 'autogenerated_split' into autogenerated_split_missing_l…
Okm165 Sep 13, 2024
3686d1b
conflict resolve
Okm165 Sep 13, 2024
45d041e
Merge pull request #150 from HerodotusDev/autogenerated_split_missing…
Okm165 Sep 13, 2024
67bdd05
Update comment
fmkra Sep 13, 2024
b135e7f
Update cairo version
fmkra Sep 13, 2024
5cae122
Update cairo-runner packages
fmkra Sep 16, 2024
4be694e
runner update 2.8.2
Okm165 Sep 17, 2024
ad1751d
crates version updates
Okm165 Sep 17, 2024
b5908bc
Add python script
fmkra Sep 17, 2024
e17befe
Update autogenerated for rec,recwp,dex,small
fmkra Sep 17, 2024
810223c
Remove recursive splitting
fmkra Sep 17, 2024
d6ddabc
Fix test
fmkra Sep 17, 2024
7fe65a4
Optimize recursive autogen
fmkra Sep 17, 2024
794f3c9
Reorder arguments in contracts
fmkra Sep 17, 2024
8401139
Update recursive layout deployment scripts
fmkra Sep 17, 2024
fbe8bd3
Remove recursive_with_poseidon oods contract
fmkra Sep 17, 2024
26ebcee
Create recursive_with_poseidon deployment scripts
fmkra Sep 17, 2024
0f8413f
Fmt
fmkra Sep 17, 2024
ca458f4
Remove small oods contract
fmkra Sep 17, 2024
afbd896
Create small deployment scripts
fmkra Sep 17, 2024
e21552c
Fmt
fmkra Sep 17, 2024
12815c6
Contracts refactor variable types
fmkra Sep 17, 2024
a20545f
Remove dex oods contract
fmkra Sep 17, 2024
133f48d
Create dex deployment scripts
fmkra Sep 17, 2024
8d8cb38
Fmt
fmkra Sep 17, 2024
2ae7de5
cleanup
Okm165 Sep 18, 2024
d008dbb
proofs vip
Okm165 Sep 18, 2024
4e2c9d4
proofs generation and cairo0 programs
Okm165 Sep 18, 2024
2152279
CI and more proofs
Okm165 Sep 18, 2024
530c366
filename typo and python formated
Okm165 Sep 18, 2024
cee5559
Optimize starknet layout to 2 contracts
fmkra Sep 18, 2024
16d1f90
Merge pull request #152 from HerodotusDev/proofs_refactor
Okm165 Sep 19, 2024
ad1cdf9
ci fix
Okm165 Sep 19, 2024
3bcd1cb
Merge pull request #153 from HerodotusDev/proofs_refactor
Okm165 Sep 19, 2024
d5cccb3
Almost finished splitting script
fmkra Sep 20, 2024
d039881
Finish autogenerated script
fmkra Sep 22, 2024
ad4562d
Make settings argument a snapshot
fmkra Sep 22, 2024
1f298ed
Fmt
fmkra Sep 22, 2024
077aca7
Fix tests
fmkra Sep 22, 2024
80fc3ef
Fix
fmkra Sep 22, 2024
db50638
Update deployment scripts
fmkra Sep 22, 2024
a9f40ca
Update proof parser and readme
fmkra Sep 22, 2024
a17d918
Merge pull request #154 from HerodotusDev/autogenerated-script
fmkra Sep 23, 2024
8774633
Update README
fmkra Sep 23, 2024
1ae7397
Remove runner default arguments
fmkra Sep 23, 2024
79b6bf0
Move contracts to separate directory
fmkra Sep 23, 2024
1c42cc9
Rename multicall -> deployment
fmkra Sep 23, 2024
7ae6fe3
Create snfoundry.toml
fmkra Sep 23, 2024
56964b5
Update README
fmkra Sep 23, 2024
55a2df3
Update README
fmkra Sep 23, 2024
4ef7caa
Use Vec<> in fact_registry
fmkra Sep 24, 2024
aa28d4d
Update deployment scripts and readme
fmkra Sep 24, 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
Make monolit feature default
  • Loading branch information
fmkra committed Sep 10, 2024
commit f56b5dd3c37121f71de8c12329b17bbf0905c8cf
2 changes: 1 addition & 1 deletion Scarb.toml
Original file line number Diff line number Diff line change
Expand Up @@ -28,4 +28,4 @@ blake2s = []
monolit = []
split = []

default = ["recursive", "keccak"]
default = ["recursive", "keccak", "monolit"]