Trait snarkvm_curves::traits::pairing_engine::SWModelParameters

pub trait SWModelParameters: ModelParameters {
    const COEFF_A: Self::BaseField;
    const COEFF_B: 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 add_b(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 Constants

const COEFF_A: Self::BaseField

const COEFF_B: Self::BaseField

const COFACTOR: &'static [u64]

const COFACTOR_INV: Self::ScalarField

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

Provided methods

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

fn add_b(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

Implementors

impl SWModelParameters for Bls12_377G1Parameters

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

AFFINE_GENERATOR_COEFFS = (G1_GENERATOR_X, G1_GENERATOR_Y)

const COEFF_A: Fq

COEFF_A = 0

const COEFF_B: Fq

COEFF_B = 1

const COFACTOR: &'static [u64]

COFACTOR = (x - 1)^2 / 3 = 30631250834960419227450344600217059328

const COFACTOR_INV: Fr

COFACTOR_INV = COFACTOR^{-1} mod r = 5285428838741532253824584287042945485047145357130994810877

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

impl SWModelParameters for snarkvm_curves::bls12_377::Bls12_377G2Parameters

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

AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y)

const COEFF_A: Fq2

COEFF_A = [0, 0]

const COEFF_B: Fq2

COEFF_B = [0, 155198655607781456406391640216936120121836107652948796323930557600032281009004493664981332883744016074664192874906]

const COFACTOR: &'static [u64]

COFACTOR = 7923214915284317143930293550643874566881017850177945424769256759165301436616933228209277966774092486467289478618404761412630691835764674559376407658497

const COFACTOR_INV: Fr

COFACTOR_INV = COFACTOR^{-1} mod r = 6764900296503390671038341982857278410319949526107311149686707033187604810669

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

impl SWModelParameters for BW6_761G1Parameters

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

AFFINE_GENERATOR_COEFFS = (G1_GENERATOR_X, G1_GENERATOR_Y)

const COEFF_A: Fq

COEFF_A = 0

const COEFF_B: Fq

COEFF_B = -1

const COFACTOR: &'static [u64]

COFACTOR = 26642435879335816683987677701488073867751118270052650655942102502312977592501693353047140953112195348280268661194876

const COFACTOR_INV: Fr

COFACTOR^(-1) mod r = 91141326767669940707819291241958318717982251277713150053234367522357946997763584490607453720072232540829942217804

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

impl SWModelParameters for snarkvm_curves::bw6_761::Bls12_377G2Parameters

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

AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y)

const COEFF_A: Fq

COEFF_A = 0

const COEFF_B: Fq

COEFF_B = 4

const COFACTOR: &'static [u64]

COFACTOR = 26642435879335816683987677701488073867751118270052650655942102502312977592501693353047140953112195348280268661194869

const COFACTOR_INV: Fr

COFACTOR^(-1) mod r = 214911522365886453591244899095480747723790054550866810551297776298664428889000553861210287833206024638187939842124

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