issues
search
keep-starknet-strange
/
garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
https://felt.gitbook.io/garaga
MIT License
181
stars
39
forks
source link
🔐 ⚡️ Release Garaga 0.11rc0
#59
Closed
feltroidprime
closed
1 year ago
feltroidprime
commented
1 year ago
Features :
support generic hints for modular addition, substraction, multiplication, inverse, verify_zero[reduced||unreduced]
support generic hint for G1/G2 Elliptic Curve addition slopes in affine coordinates
support generic hints for e2 and e12 tower inverses
get rid of get_ap_call producing 5 % global overhead
maximum speed on fq.add, sub,mul, inducing the new following operations costs : Miller loop : 1 520 339 steps (-7.4%) Final exp : 1 975 712 steps (-7.6%) Groth16 circuit : 7 057 777 steps ( -7.3%)
:)
Features :
:)