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

bls12 381 #58

Closed feltroidprime closed 1 year ago

feltroidprime commented 1 year ago

Fixes #46

[ ] Feature: Implement BLS12-381 in Cairo

Task

[X] Add go reference implementation and test programs
[X] Create protostar tests for the new curve
[X] Implement Pairing related functions
[X] Implement e12
[X] Implement e6
[X] Implement e2
[X] Implement low-level BigInt
[X] Pass tests for towers
[ ] Implement g1,g2
[X] Implement DecompressKarabina in e12
[ ] Pass g1,g2, pairing tests