Trait snarkvm_curves::traits::group::ShortWeierstrassParameters

pub trait ShortWeierstrassParameters: ModelParameters {
    const WEIERSTRASS_A: Self::BaseField;
    const WEIERSTRASS_B: Self::BaseField;
    const COFACTOR: &'static [u64];
    const COFACTOR_INV: Self::ScalarField;
    const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField);
    const PHI: Self::BaseField;
    const B1: Self::ScalarField;
    const B2: Self::ScalarField;
    const R128: Self::ScalarField;
    const Q1: [u64; 4] = _;
    const Q2: [u64; 4] = _;
    const HALF_R: [u64; 8] = _;

    fn is_in_correct_subgroup_assuming_on_curve(p: &Affine<Self>) -> bool;
    fn glv_endomorphism(p: Affine<Self>) -> Affine<Self>;
    fn mul_projective(
        p: Projective<Self>,
        by: Self::ScalarField
    ) -> Projective<Self>;

    fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField { ... }
    fn add_b(elem: &Self::BaseField) -> Self::BaseField { ... }
}

Required Associated Constants

const WEIERSTRASS_A: Self::BaseField

The coefficient A of the short Weierstrass curve.

const WEIERSTRASS_B: Self::BaseField

The coefficient B of the short Weierstrass curve.

const COFACTOR: &'static [u64]

The cofactor of the short Weierstrass curve.

const COFACTOR_INV: Self::ScalarField

The cofactor inverse of the short Weierstrass curve.

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

The affine generator of the short Weierstrass curve.

const PHI: Self::BaseField

const B1: Self::ScalarField

B1 = x^2 - 1

const B2: Self::ScalarField

B2 = x^2

const R128: Self::ScalarField

R128 = 2^128 - 1

Provided Associated Constants

const Q1: [u64; 4] = _

Q1 = x^2 * R / q

const Q2: [u64; 4] = _

Q2 = R / q = 13

const HALF_R: [u64; 8] = _

HALF_R = 2^256 / 2

Required Methods

fn is_in_correct_subgroup_assuming_on_curve(p: &Affine<Self>) -> bool

fn glv_endomorphism(p: Affine<Self>) -> Affine<Self>

fn mul_projective(p: Projective<Self>, by: Self::ScalarField) -> Projective<Self>

Provided Methods

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

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

Implementors

impl ShortWeierstrassParameters for Bls12_377G1Parameters

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

const B1: Fr = _

const B2: Fr = _

const COFACTOR: &'static [u64] = _

const COFACTOR_INV: Fr = _

const PHI: Fq = _

const R128: Fr = _

const WEIERSTRASS_A: Fq = _

const WEIERSTRASS_B: Fq = _

impl ShortWeierstrassParameters for Bls12_377G2Parameters

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

const B1: Fr = _

const B2: Fr = _

const COFACTOR: &'static [u64] = _

const COFACTOR_INV: Fr = _

const PHI: Fq2 = _

const R128: Fr = _

const WEIERSTRASS_A: Fq2 = _

const WEIERSTRASS_B: Fq2 = _