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

add gnark tower inverses #50

Closed tekkac closed 1 year ago

tekkac commented 1 year ago

Added pure Cairo tower inverse function based on gnark's implementation

Pull Request type

Please check the type of change your PR introduces:

[ ] Bugfix
[X] Feature
[ ] Code style update (formatting, renaming)
[ ] Refactoring (no functional changes, no API changes)
[ ] Build-related changes
[ ] Documentation content changes
[ ] Testing
[ ] Other (please describe):

What is the current behavior?

inverse functions for e2 and e12 currently use hints

Issue Number: #47

What is the new behavior?

Inverse function are in pure Cairo and related protostar tests pass

Does this introduce a breaking change?

[ ] Yes
[X] No

tekkac commented 1 year ago

Closed, the idea is to have inverse functions done with safe hints