Struct snarkvm_curves::bls12_377::Bls12_377G1Parameters

source ·

pub struct Bls12_377G1Parameters;

Trait Implementations

source

impl Clone for Bls12_377G1Parameters

source

fn clone(&self) -> Bls12_377G1Parameters

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl Debug for Bls12_377G1Parameters

source

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

Formats the value using the given formatter. Read more

source

impl Hash for Bls12_377G1Parameters

source

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

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

Feeds a slice of this type into the given Hasher. Read more

source

impl ModelParameters for Bls12_377G1Parameters

type BaseField = Fp384<FqParameters>

type ScalarField = Fp256<FrParameters>

source

impl PartialEq<Bls12_377G1Parameters> for Bls12_377G1Parameters

source

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

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

1.0.0 · source

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. Read more

source

impl ShortWeierstrassParameters for Bls12_377G1Parameters

source

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

AFFINE_GENERATOR_COEFFS = (G1_GENERATOR_X, G1_GENERATOR_Y)

source

const B1: Fr = _

B1 = x^2 - 1

source

const B2: Fr = _

B2 = x^2

source

const COFACTOR: &'static [u64] = _

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

source

const COFACTOR_INV: Fr = _

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

source

const R128: Fr = _

R128 = 2^128 - 1

source

const WEIERSTRASS_A: Fq = _

WEIERSTRASS_A = 0

source

const WEIERSTRASS_B: Fq = _

WEIERSTRASS_B = 1

source

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

source

const Q1: [u64; 4] = _

Q1 = x^2 * R / q

source

const Q2: [u64; 4] = _

Q2 = R / q = 13

source

const HALF_R: [u64; 8] = _

HALF_R = 2^256 / 2

source

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

source

impl Copy for Bls12_377G1Parameters

source

impl Eq for Bls12_377G1Parameters

source

impl StructuralEq for Bls12_377G1Parameters

source

impl StructuralPartialEq for Bls12_377G1Parameters

Auto Trait Implementations

impl RefUnwindSafe for Bls12_377G1Parameters

impl Send for Bls12_377G1Parameters

impl Sync for Bls12_377G1Parameters

impl Unpin for Bls12_377G1Parameters

impl UnwindSafe for Bls12_377G1Parameters

Blanket Implementations

source

impl<T> Any for Twhere
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source

impl<T> ToOwned for Twhere
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct snarkvm_curves::bls12_377::Bls12_377G1Parameters

Trait Implementations

impl Clone for Bls12_377G1Parameters

fn clone(&self) -> Bls12_377G1Parameters

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

impl Debug for Bls12_377G1Parameters

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

impl Hash for Bls12_377G1Parameters

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

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

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

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

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 R128: Fr = _

const WEIERSTRASS_A: Fq = _

const WEIERSTRASS_B: Fq = _

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] = _

const Q2: [u64; 4] = _

const HALF_R: [u64; 8] = _

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

Auto Trait Implementations

impl RefUnwindSafe for Bls12_377G1Parameters

impl Send for Bls12_377G1Parameters

impl Sync for Bls12_377G1Parameters

impl Unpin for Bls12_377G1Parameters

impl UnwindSafe for Bls12_377G1Parameters

Blanket Implementations

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

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

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

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<T> ToOwned for Twhere
T: Clone,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,