Struct snarkvm_curves::edwards_bls12::EdwardsParameters[][src]

pub struct EdwardsParameters;

Trait Implementations

impl Clone for EdwardsParameters[src]

impl Default for EdwardsParameters[src]

impl Eq for EdwardsParameters[src]

impl ModelParameters for EdwardsParameters[src]

type BaseField = Fq

type ScalarField = Fr

impl MontgomeryModelParameters for EdwardsParameters[src]

type TEModelParameters = EdwardsParameters

const COEFF_A: Fq[src]

COEFF_A = 0x8D26E3FADA9010A26949031ECE3971B93952AD84D4753DDEDB748DA37E8F552

const COEFF_B: Fq[src]

COEFF_B = 0x9D8F71EEC83A44C3A1FBCEC6F5418E5C6154C2682B8AC231C5A3725C8170AAD

impl PartialEq<EdwardsParameters> for EdwardsParameters[src]

impl StructuralEq for EdwardsParameters[src]

impl StructuralPartialEq for EdwardsParameters[src]

impl TEModelParameters for EdwardsParameters[src]

type MontgomeryModelParameters = EdwardsParameters

const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField)[src]

Generated randomly

const COEFF_A: Fq[src]

COEFF_A = -1

const COEFF_D: Fq[src]

COEFF_D = 3021

const COFACTOR: &'static [u64][src]

COFACTOR = 4

const COFACTOR_INV: Fr[src]

COFACTOR_INV = 527778859339273151515551558673846658209717731602102048798421311598680340096

fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField[src]

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

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,