History

Ben Edgington b67aeee855 Fix fast_aggregate_verify BLS tests		2020-01-27 17:39:50 -07:00
..
README.md	Update link	2020-01-22 11:04:45 +11:00
main.py	Fix fast_aggregate_verify BLS tests	2020-01-27 17:39:50 -07:00
requirements.txt	reorg specs by fork and move ssz out to own folder. make all of the build and link changes to support move	2020-01-10 11:55:13 -07:00

README.md

BLS Test Generator

Explanation of BLS12-381 type hierarchy The base unit is bytes48 of which only 381 bits are used

FQ: uint381 modulo field modulus
FQ2: (FQ, FQ)
G2: (FQ2, FQ2, FQ2)

Resources

Eth2 spec
Finite Field Arithmetic
Chapter 2 of Elliptic Curve Cryptography. Darrel Hankerson, Alfred Menezes, and Scott Vanstone
Zcash BLS parameters
Trinity implementation

Comments

Compared to Zcash, Ethereum specs always requires the compressed form (c_flag / most significant bit always set). Also note that pubkeys and privkeys are reversed.