Struct snarkvm_curves::bls12_377::g1::Bls12_377G1Parameters

pub struct Bls12_377G1Parameters;

Trait Implementations

impl Clone for Bls12_377G1Parameters

fn clone(&self) -> Bls12_377G1Parameters

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bls12_377G1Parameters

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

Formats the value using the given formatter.

impl Hash for Bls12_377G1Parameters

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_377G1Parameters

type BaseField = Fp384<FqParameters>

type ScalarField = Fp256<FrParameters>

impl PartialEq<Bls12_377G1Parameters> for Bls12_377G1Parameters

fn eq(&self, other: &Bls12_377G1Parameters) -> 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_377G1Parameters

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

AFFINE_GENERATOR_COEFFS = (G1_GENERATOR_X, G1_GENERATOR_Y)

const B1: Fr = _

B1 = x^2 - 1

const B2: Fr = _

B2 = x^2

const COFACTOR: &'static [u64] = _

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

const COFACTOR_INV: Fr = _

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

const R128: Fr = _

R128 = 2^128 - 1

const WEIERSTRASS_A: Fq = _

WEIERSTRASS_A = 0

const WEIERSTRASS_B: Fq = _

WEIERSTRASS_B = 1

const PHI: Fq = _

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

fn is_in_correct_subgroup_assuming_on_curve(p: &G1Affine) -> 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_377G1Parameters

impl Eq for Bls12_377G1Parameters

impl StructuralEq for Bls12_377G1Parameters

impl StructuralPartialEq for Bls12_377G1Parameters