search

keep-starknet-strange / garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
MIT License
170 stars 37 forks source link

Full Rewrite: BN+BLS+ModuloBuiltin+Hash Improvements+Generic CairoCode and Hints #107

Closed feltroidprime closed 4 months ago

feltroidprime commented 5 months ago

closes #98, #97, #84, #82, #79

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

Generic hints and cairo code for extension field multiplications.