Trait snarkvm_curves::traits::pairing_engine::TEModelParameters

pub trait TEModelParameters: ModelParameters {
    type MontgomeryModelParameters: MontgomeryModelParameters<BaseField = Self::BaseField>;

    const COEFF_A: Self::BaseField;
    const COEFF_D: Self::BaseField;
    const COFACTOR: &'static [u64];
    const COFACTOR_INV: Self::ScalarField;
    const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField);
    fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField { ... }
    fn empirical_recommended_wnaf_for_scalar(
        scalar: <Self::ScalarField as PrimeField>::BigInteger
    ) -> usize { ... }
    fn empirical_recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize { ... }
}

Associated Types

type MontgomeryModelParameters: MontgomeryModelParameters<BaseField = Self::BaseField>

Loading content...

Associated Constants

const COEFF_A: Self::BaseField

const COEFF_D: Self::BaseField

const COFACTOR: &'static [u64]

const COFACTOR_INV: Self::ScalarField

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

Loading content...

Provided methods

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

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

fn empirical_recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

Loading content...

Implementors

impl TEModelParameters for snarkvm_curves::edwards_bls12::EdwardsParameters

type MontgomeryModelParameters = EdwardsParameters

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

Generated randomly

const COEFF_A: Fq

COEFF_A = -1

const COEFF_D: Fq

COEFF_D = 3021

const COFACTOR: &'static [u64]

COFACTOR = 4

const COFACTOR_INV: Fr

COFACTOR_INV = 527778859339273151515551558673846658209717731602102048798421311598680340096

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

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

impl TEModelParameters for snarkvm_curves::edwards_sw6::EdwardsParameters

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

Loading content...