evmbls

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.

Features

• [x] Aggregated signature verification
• [x] Compressed point suport
• [ ] Example for signature verification in optimistic way
• [ ] Optimistic hash to curve example
• [x] Hash to field v9
• [x] Map to curve: try and increment G1
• [x] see Map to curve: try and increment, using helpers to get rid of modExp call
• [ ] Map to curve: try and increment G2
• [x] Map to curve: Fouque Tibouchi
• [x] see Map to curve: Fouque Tibouchi with modExp helpers
• [ ] EIP-2537 support
• [x] Cheaper modexp for inversion and sqrt