Struct snarkvm_curves::bls12_377::Bls12_377G2Parameters

pub struct Bls12_377G2Parameters;

Trait Implementations

impl Clone for Bls12_377G2Parameters

fn clone(&self) -> Bls12_377G2Parameters

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Bls12_377G2Parameters

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Bls12_377G2Parameters

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl ModelParameters for Bls12_377G2Parameters

type BaseField = Fp2<Fq2Parameters>

type ScalarField = Fp256<FrParameters>

impl PartialEq<Bls12_377G2Parameters> for Bls12_377G2Parameters

fn eq(&self, other: &Bls12_377G2Parameters) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ShortWeierstrassParameters for Bls12_377G2Parameters

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

AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y)

const B1: Fr = _

B1 = x^2 - 1

const B2: Fr = _

B2 = x^2

const COFACTOR: &'static [u64] = _

COFACTOR = 7923214915284317143930293550643874566881017850177945424769256759165301436616933228209277966774092486467289478618404761412630691835764674559376407658497

const COFACTOR_INV: Fr = _

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

const R128: Fr = _

R128 = 2^128 - 1

const WEIERSTRASS_A: Fq2 = _

WEIERSTRASS_A = [0, 0]

const WEIERSTRASS_B: Fq2 = _

WEIERSTRASS_B = [0, 155198655607781456406391640216936120121836107652948796323930557600032281009004493664981332883744016074664192874906]

const PHI: Fq2 = _

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

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>

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

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

impl Copy for Bls12_377G2Parameters

impl Eq for Bls12_377G2Parameters

impl StructuralEq for Bls12_377G2Parameters

impl StructuralPartialEq for Bls12_377G2Parameters