halo2curves_axiom

Module bn256

Source

Structs§

  • Bn256
  • Fq
    This represents an element of $\mathbb{F}_q$ where
  • Fq2
    An element of Fq2, represented by c0 + c1 * u; where u^2 = -1.
  • Fq6
    -BETA is a cubic non-residue in Fp2. Fp6 = Fp2[X]/(X^3 + BETA) We introduce the variable v such that v^3 = -BETA An element of Fq6, represented by c0 + c1 * v + c2 * v^2.
  • Fq2Bytes
  • Fq12
    -GAMMA is a quadratic non-residue in Fp6. Fp12 = Fp6[X]/(X^2 + GAMMA) We introduce the variable w such that w^2 = -GAMMA An element of Fq12, represented by c0 + c1 * w.
  • Fr
    This represents an element of $\mathbb{F}_r$ where
  • G1
  • G2
  • G1Affine
  • G1Compressed
  • G1Uncompressed
  • G2Affine
  • G2Compressed
  • G2Prepared
  • G2Uncompressed
  • Gt

Constants§

Functions§