Garaga Versions Save

Efficient pairing library, written in Cairo 🐺.

v0.11-rc2-bls

1 year ago

Fix a compilation error due to an edit mistake in bn254/g1.cairo Clean imports. Improve bn254 line evaluations like in bls.

v0.11-rc-bls

1 year ago

v0.11rc0

1 year ago

Features :

  • support generic hints for modular addition, substraction, multiplication, inverse, verify_zero[reduced||unreduced] for any prime and base
  • support generic hints for G1/G2 Elliptic Curve addition slopes in Affine coordinates for any prime and base
  • support generic hints for e2 and e12 tower inverses (tested on BLS12-381 and BN254 towers only)
  • updated hints document (https://github.com/keep-starknet-strange/garaga/blob/main/docs/hints_whitelist.md)
  • get rid of all get_ap calls
  • maximum speed on fq.add, sub, mul, inducing the new following operations costs : Miller loop : 1 520 339 steps (-7.4%) FInal exp : 1 975 712 steps (-7.6%) Groth16 circuit : 7 057 777 steps (-7.3%)