Expand description
Traits for optimal Ate pairing check using intrinsic functions.
Structs§
- Sextic extension field of
Fwith irreducible polynomialX^6 - \xi. Elements are represented asc0 + c1 * w + ... + c5 * w^5wherew^6 = \xi, where\xi in F.
Traits§
- Convert D-type lines into Fp12 elements
- Convert M-type lines into Fp12 elements
- Trait definition for line multiplication opcodes for D-type lines
- Trait definition for line multiplication opcodes for M-type lines
- Trait definition for Miller step opcodes