Struct ark_ed_on_bn254::EdwardsParameters

pub struct 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.

Baby-JubJub’s curve equation: x² + y² = 1 + (168696/168700)x²y²

q = 21888242871839275222246405745257275088548364400416034343698204186575808495617

Trait Implementations

impl Clone for EdwardsParameters

fn clone(&self) -> EdwardsParameters

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for EdwardsParameters

fn default() -> EdwardsParameters

Returns the “default value” for a type.

impl ModelParameters for EdwardsParameters

type BaseField = Fq

type ScalarField = Fr

impl MontgomeryModelParameters for EdwardsParameters

const COEFF_A: Fq

COEFF_A = 168698

const COEFF_B: Fq

COEFF_B = 168700

type TEModelParameters = EdwardsParameters

impl PartialEq<EdwardsParameters> for EdwardsParameters

fn eq(&self, other: &EdwardsParameters) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl TEModelParameters for EdwardsParameters

const COEFF_A: Fq

COEFF_A = 1

const COEFF_D: Fq

COEFF_D = 168696/168700 mod q = 9706598848417545097372247223557719406784115219466060233080913168975159366771

const COFACTOR: &'static [u64]

COFACTOR = 8

const COFACTOR_INV: Fr

COFACTOR^(-1) mod r = 2394026564107420727433200628387514462817212225638746351800188703329891451411

const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField)

AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y)

fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField

type MontgomeryModelParameters = EdwardsParameters

impl Eq for EdwardsParameters

impl StructuralEq for EdwardsParameters

impl StructuralPartialEq for EdwardsParameters