Skip to main content

Crate ark_starkcurve

Crate ark_starkcurve 

Source
Expand description

This library implements the Stark curve An elliptic curve defined over the STARK field by equation y² ≡ x³ + α·x + β (mod q)

Where:

  • α = 1
  • β = 3141592653589793238462643383279502884197169399375105820974944592307816406665
  • q = 3618502788666131213697322783095070105623107215331596699973092056135872020481
  • or, q = 2^251 + 17 * 2^192 + 1

Generator point:

  • x = 0x1ef15c18599971b7beced415a40f0c7deacfd9b0d1819e03d723d8bc943cfca
  • y = 0x5668060aa49730b7be4801df46ec62de53ecd11abe43a32873000c36e8dc1f

Curve information: StarkCurve:

  • Base field: q = 3618502788666131213697322783095070105623107215331596699973092056135872020481
  • Scalar field: r = 3618502788666131213697322783095070105526743751716087489154079457884512865583
  • Curve equation: y^2 = x^3 + x + β (mod q)

Modules§

fq
fr

Structs§

FqConfig
FrConfig
StarkCurveConfig

Constants§

G_GENERATOR_X
G_GENERATOR_Y

Type Aliases§

Affine
Fq
Fr
Projective