Trait snarkvm_curves::traits::pairing_engine::TEModelParameters [−][src]
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>
[src]Associated Constants
const COFACTOR: &'static [u64]
[src]const COFACTOR_INV: Self::ScalarField
[src]Provided methods
fn empirical_recommended_wnaf_for_scalar(
scalar: <Self::ScalarField as PrimeField>::BigInteger
) -> usize
[src]fn empirical_recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize
[src]Implementors
COFACTOR = 4
COFACTOR_INV = 527778859339273151515551558673846658209717731602102048798421311598680340096
Multiplication by a
is just negation.
Is a
1 or -1?
AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y)
COEFF_A = -1 = 258664426012969094010652733694893533536393512754914660539884262666720468348340822774968888139573360124440321458176
COFACTOR = 8
COFACTOR^(-1) mod r = 12124894969357926281749346891948134384518445910386624712788431705725441736421489799867521238554906438478484045560