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

Jump to bottom

Cairo 1 contracts & Circuits Optimizations #129

Merged
merged 111 commits into from
Aug 6, 2024
Merged

Cairo 1 contracts & Circuits Optimizations #129

merged 111 commits into from
Aug 6, 2024

Conversation

feltroidprime
Copy link
Collaborator

@feltroidprime feltroidprime commented Jul 2, 2024 •
edited
Loading

  • Refactor repo into hydra (python backend), src/fustat (cairo Zero code) and src/cairo (Cairo1 lib & Starknet contracts)
  • Extension field batching per miller loop bit (thanks @shramee for great idea: Makes miller loops almost 2x cheaper as well as reducing the witness size for randomized arithmetic, and on top of that, witness size is constant regardless of the number of pairs (perfect for calldata constraints on Starknet !))
  • Geometry final exp trick for both BN & BLS (thaks to @akinovak for original paper and huge help for bls adaptation - reduces final exp costs by 93% (BN) / 98% (BLS) when doing pairing checks)
  • Pure python ZK-ECIP hint for MSM (removes SageMath dependency)
  • Hydra to Cairo1 compiler (almost done but subject to changes)
  • General Hydra improvements
  • Cairo1 lib for multi pairing checks
  • Cairo1 lib for EC (muti) scalar multiplication
  • Groth16 & EC scalar mul contracts
  • Proof to calldata tooling

feltroidprime and others added 30 commits June 12, 2024 00:35
@feltroidprime
init cairo1
04575c4
@feltroidprime
bn & bls final exp hints
f0fcade
@feltroidprime
add scalar_to_base_neg3_le python version
ecbcf0c
@luiz-lvj
implementing scalar_to_base_neg3_le
12fb77f
@luiz-lvj
performance updates
c1fbc79
@luiz-lvj
updating tests
b4c3157
@feltroidprime
Tweak neg_3_base_le to use one divmod
0612d3e
@feltroidprime
clean neg3 tests
9c689fc
@feltroidprime
compute (-3) powers in loop + returns abs(multiplicity)
cdc278a
@feltroidprime
move utils tests to utils.cairo
257e149
@feltroidprime
add cairo transcript hasher fn & tests
06dc9d9
@feltroidprime
Merge commit 'dac43112e3298cf64cc8eb656dff05f1d4072ec6'
3f06074
@feltroidprime
hydra: allow arbitrary number of Fpk elmts in extf_mul
52ced17
@feltroidprime
hydra: use dedicated fp2_square instead of extf_mul
71ec916
@feltroidprime
bls sage math
1b57dc4
@feltroidprime
hydra: handle extf_square automatically
ed1bab3
@feltroidprime
bls sage ^ 2
56ac985
@feltroidprime
bls ^3
4afef4b
@feltroidprime
hydrat/repo : small updates
def46a3
@feltroidprime
hydra/fustat : batch extf muls per miller loop bit
3447312
@feltroidprime
update to latest nightly
213131f
@feltroidprime
cairo: add some utils fns.
1d78e7e
@feltroidprime
hydra: Add G1Point to Cairo struct util
e533494
@feltroidprime
cairo: basic ec_add circuit test and failing contract
ce36474
@feltroidprime
optimize loops
df4f544
@feltroidprime
wip: cairo1 compiler
b8cd1be
@feltroidprime
wip: cairo1 compiler^2
23c4ae0
@feltroidprime
upd docs
14b51c4
@feltroidprime
wip: cairo1 compiler^3
183834a
@feltroidprime
add io utils
abc2f27
feltroidprime and others added 25 commits July 28, 2024 22:11
@feltroidprime
set pytest cache to build
9fcaa04
@feltroidprime
update to cairo-lang 0.13.2a0 and add fustat tests in CI
84c8ccb
@feltroidprime
test multi miller loop with precomputed lines
da5d143
@feltroidprime
♻️ simplify Mpcheck circuits generation
1c26afc
@akinovak
Improve BLS final exp witness computation (#134)
c1bbed7
@feltroidprime
apply isort | remove unused imports
3ea0325
@feltroidprime
add groth16 circuits with line precomputation and remove mpcheck for …
f85925a 
…3 pairs + fix Ed25519 params
@feltroidprime
Merge branch 'contracts' of github.com:keep-starknet-strange/garaga i…
7d1033c 
…nto contracts
@feltroidprime
update pyproject.toml
f00a0d1
@feltroidprime
Move final exp tests to proper test
cbc444e
@feltroidprime
Bump Cairo version to 2.7.0
6a2baff
@feltroidprime
compiler : pack inputs by 3 and add reference to input number in comment
d7f6dce
@feltroidprime
refactor mpcheck circuits generation for any # of fixed G2 points
7f2148c
@feltroidprime
improve python polynomial perf
d1c1c71
@feltroidprime
ecip; minor comments
502996d
@feltroidprime
add to_int helper
3330594
@feltroidprime
use fastecdsa's scalar mul C binding
71525cb
@feltroidprime
refactor mpcheck test writer
de32b8e
@feltroidprime
refactor msm test writer
0e80f60
@feltroidprime
add calldata parsers
5473c23
@feltroidprime
fix random sparsity test
67732d7
@feltroidprime
parallel test gen
2b50432
@feltroidprime
groth16 contract generator
17eed5b
@feltroidprime
msm contract
47e8eab
@feltroidprime
Merge branch 'main' into contracts
418a3f7
@feltroidprime feltroidprime marked this pull request as ready for review August 6, 2024 03:33
@feltroidprime feltroidprime merged commit e169823 into main Aug 6, 2024
3 checks passed
@feltroidprime feltroidprime deleted the contracts branch August 12, 2024 20:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@feltroidprime @luiz-lvj @akinovak