keep-starknet-strange / garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
https://felt.gitbook.io/garaga
MIT License
188 stars 47 forks source link

Rewrite #113

Closed feltroidprime closed 7 months ago

feltroidprime commented 7 months ago

closes https://github.com/keep-starknet-strange/garaga/issues/98, https://github.com/keep-starknet-strange/garaga/issues/97, https://github.com/keep-starknet-strange/garaga/issues/84, https://github.com/keep-starknet-strange/garaga/issues/82, https://github.com/keep-starknet-strange/garaga/issues/79

Rewrite BN254+BLS with Modulo Builtin and hashing Improvements : Z=Hash(P:G1Point, Q:G2Point, Σc_i*Q_i, R1,..., Rn).