Struct snarkvm_curves::edwards_bls12::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 Debug for EdwardsParameters

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for EdwardsParameters

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl ModelParameters for EdwardsParameters

type BaseField = Fp256<FrParameters>

type ScalarField = Fp256<FrParameters>

impl MontgomeryParameters for EdwardsParameters

const MONTGOMERY_A: Fq = _

MONTGOMERY_A = 3990301581132929505568273333084066329187552697088022219156688740916631500114 = 0x8D26E3FADA9010A26949031ECE3971B93952AD84D4753DDEDB748DA37E8F552

const MONTGOMERY_B: Fq = _

MONTGOMERY_B = 4454160168295440918680551605697480202188346638066041608778544715000777738925 = 0x9D8F71EEC83A44C3A1FBCEC6F5418E5C6154C2682B8AC231C5A3725C8170AAD

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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TwistedEdwardsParameters for EdwardsParameters

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

Generated randomly

const COFACTOR: &'static [u64] = _

COFACTOR = 4

const COFACTOR_INV: Fr = _

COFACTOR_INV = 527778859339273151515551558673846658209717731602102048798421311598680340096

const EDWARDS_A: Fq = _

EDWARDS_A = -1

const EDWARDS_D: Fq = _

EDWARDS_D = 3021

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

Multiplication by a is just negation. Is a 1 or -1?

type MontgomeryParameters = EdwardsParameters

impl Copy for EdwardsParameters

impl Eq for EdwardsParameters

impl StructuralEq for EdwardsParameters

impl StructuralPartialEq for EdwardsParameters