BLS Signature verification and ECC utility contracts.
Signature verification scheme is implemented on BN254 elliptic curve. Currently only public-key-on-G2 setup is available.
- Aggregated signature verification
- Compressed point suport
- Example for signature verification in optimistic way
- Optimistic hash to curve example
- Hash to field v9
- Map to curve: try and increment G1
- see Map to curve: try and increment, using helpers to get rid of modExp call
- Map to curve: try and increment G2
- Map to curve: Fouque Tibouchi
- see Map to curve: Fouque Tibouchi with modExp helpers
- EIP-2537 support
- Cheaper modexp for inversion and sqrt