Struct snarkvm_curves::edwards_bw6::parameters::EdwardsParameters

pub struct EdwardsParameters;

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 MontgomeryParameters for EdwardsParameters

const COEFF_A: Fq

COEFF_A = 0x95D53EB3F6AC3F7A53C26020144439DC6073BCAE513E03FD06B6B3BAA390F25E51534B26719E33F4CD906D4DA9B535

const COEFF_B: Fq

COEFF_B = 0x118650763CE64AB4BE743604C8D05013DC2663652A3D58B21ECAB7BFF65B70DB8BA09F9098E61CC903B2F92B2564ACA

type TwistedEdwardsParameters = 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 ==.

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

This method tests for !=.

impl TwistedEdwardsParameters for EdwardsParameters

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

AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y)

const COEFF_A: Fq

COEFF_A = -1 = 258664426012969094010652733694893533536393512754914660539884262666720468348340822774968888139573360124440321458176

const COEFF_D: Fq

COEFF_D = 79743

const COFACTOR: &'static [u64]

COFACTOR = 8

const COFACTOR_INV: Fr

COFACTOR^(-1) mod r = 12124894969357926281749346891948134384518445910386624712788431705725441736421489799867521238554906438478484045560

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

Multiplication by a is just negation.

type MontgomeryParameters = EdwardsParameters

fn empirical_recommended_wnaf_for_scalar(
    scalar: <Self::ScalarField as PrimeField>::BigInteger
) -> usize

fn empirical_recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

impl Eq for EdwardsParameters

impl StructuralEq for EdwardsParameters

impl StructuralPartialEq for EdwardsParameters