Trait snarkvm_curves::traits::pairing_engine::TEModelParameters [−][src]
Associated Types
type MontgomeryModelParameters: MontgomeryModelParameters<BaseField = Self::BaseField>
[src]
Associated Constants
const COEFF_A: Self::BaseField
[src]
const COEFF_D: Self::BaseField
[src]
const COFACTOR: &'static [u64]
[src]
const COFACTOR_INV: Self::ScalarField
[src]
const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField)
[src]
Provided methods
fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField
[src]
fn empirical_recommended_wnaf_for_scalar(
scalar: <Self::ScalarField as PrimeField>::BigInteger
) -> usize
[src]
scalar: <Self::ScalarField as PrimeField>::BigInteger
) -> usize
fn empirical_recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize
[src]
Implementors
impl TEModelParameters for snarkvm_curves::edwards_bls12::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?
impl TEModelParameters for snarkvm_curves::edwards_sw6::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.