Crate ark_ed_on_bn254

This library implements a twisted Edwards curve whose base field is the scalar field of the curve BN254. This allows defining cryptographic primitives that use elliptic curves over the scalar field of the latter curve. This curve is also known as Baby-Jubjub.

Curve information:

• Base field: q = 21888242871839275222246405745257275088548364400416034343698204186575808495617
• Scalar field: r = 2736030358979909402780800718157159386076813972158567259200215660948447373041
• Valuation(q - 1, 2) = 28
• Valuation(r - 1, 2) = 4
• Curve equation: ax^2 + y^2 =1 + dx^2y^2, where
  • a = 1
  • d = 168696/168700 mod q = 9706598848417545097372247223557719406784115219466060233080913168975159366771

Modules

fq
fr

Structs

EdwardsParameters	Baby-JubJub is a twisted Edwards curve. These curves have equations of the form: ax² + y² = 1 + dx²y². over some base finite field Fq.
FqParameters
FrParameters

Type Definitions

EdwardsAffine
EdwardsProjective
Fq
Fr