Crate ark_ed_on_bls12_381

This library implements a twisted Edwards curve whose base field is the scalar field of the curve BLS12-381. This allows defining cryptographic primitives that use elliptic curves over the scalar field of the latter curve. This curve was generated by Sean Bowe, and is also known as Jubjub.

Curve information:

• Base field: q = 52435875175126190479447740508185965837690552500527637822603658699938581184513
• Scalar field: r = 6554484396890773809930967563523245729705921265872317281365359162392183254199
• Valuation(q - 1, 2) = 32
• Valuation(r - 1, 2) = 1
• Curve equation: ax^2 + y^2 =1 + dx^2y^2, where
  • a = -1
  • d = -(10240/10241)

Modules

fq

fr

Structs

FqConfig

FrConfig

JubjubConfig

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

Constants

GENERATOR_X

GENERATOR_X = 8076246640662884909881801758704306714034609987455869804520522091855516602923

GENERATOR_Y

GENERATOR_Y = 13262374693698910701929044844600465831413122818447359594527400194675274060458

SW_GENERATOR_X

x coordinate for SW curve generator SW_GENERATOR_X = 33835869156188682335217394949746694649676633840125476177319971163079011318731

SW_GENERATOR_Y

y coordinate for SW curve generator SW_GENERATOR_Y = 43777270878440091394432848052353307184915192688165709016756678962558652055320

Type Aliases

EdwardsAffine

EdwardsConfig

EdwardsProjective

Fq

Fr

SWAffine

SWConfig

SWProjective