Struct snarkvm_curves::edwards_sw6::parameters::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 = 0x95D53EB3F6AC3F7A53C26020144439DC6073BCAE513E03FD06B6B3BAA390F25E51534B26719E33F4CD906D4DA9B535

const COEFF_B: Fq[src]

COEFF_B = 0x118650763CE64AB4BE743604C8D05013DC2663652A3D58B21ECAB7BFF65B70DB8BA09F9098E61CC903B2F92B2564ACA

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]

AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y)

const COEFF_A: Fq[src]

COEFF_A = -1 = 258664426012969094010652733694893533536393512754914660539884262666720468348340822774968888139573360124440321458176

const COEFF_D: Fq[src]

COEFF_D = 79743

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

COFACTOR = 8

const COFACTOR_INV: Fr[src]

COFACTOR^(-1) mod r = 12124894969357926281749346891948134384518445910386624712788431705725441736421489799867521238554906438478484045560

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

Multiplication by a is just negation.

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<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?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>,