Struct ark_ed_on_mnt4_753::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]

const COEFF_A: Fq[src]

COEFF_A = 40212480635445336270302172549278415015971955924352275480357619589919378421241453024646804979794897776496091377551124233752850182852486874251193367187677349266115879541798515219680194853352256809837126277708211496794264654247419

const COEFF_B: Fq[src]

COEFF_B = 1686010332473617132042042241962222112198753995601673591425883331105974391329653748412088783995441144921979594337334243570322874639106980818502874667119046899605536783551549221790223284494141659774809441351696667426519821912580

type TEModelParameters = EdwardsParameters

impl PartialEq<EdwardsParameters> for EdwardsParameters[src]

impl StructuralEq for EdwardsParameters[src]

impl StructuralPartialEq for EdwardsParameters[src]

impl TEModelParameters for EdwardsParameters[src]

const COEFF_A: Fq[src]

COEFF_A = -1

const COEFF_D: Fq[src]

COEFF_D = 317690

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

COFACTOR = 8

const COFACTOR_INV: Fr[src]

COFACTOR_INV (mod r) = 4582647449616135528381398492791944685893671397494963179726320631987147963874964803303316505414568319530101512550297775574042810022553679071007001162683923594233560231270043634777390699589793776691858866199511300853468155295505

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

Generated randomly

type MontgomeryModelParameters = EdwardsParameters

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<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>,