Crate ark_ed_on_bn254_zypher 

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

EdwardsConfig

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.

FqConfig

FrConfig

Constants

GENERATOR_X

GENERATOR_X = 19698561148652590122159747500897617769866003486955115824547446575314762165298

GENERATOR_Y

GENERATOR_Y = 19298250018296453272277890825869354524455968081175474282777126169995084727839

Type Aliases

EdwardsAffine

EdwardsProjective

Fq

Fr