verify_zero5 and reduce_3 optimisations

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

Closed feltroidprime closed 1 year ago

feltroidprime commented 1 year ago

get rid of local carry_i with nested if else, rewrite the equations to avoid extra steps