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

Implement bls12-381 #49

Closed tekkac closed 1 year ago

tekkac commented 1 year ago

Fixes #46

[X] 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
[ ] Implement e2
[ ] Implement low-level BigInt
[ ] Pass tests

feltroidprime commented 1 year ago

looks good to me. A strong foundation and organisation of the repo to complete the pure Cairo bls12. We can merge this into develop branch as suggested to go further.