Struct snarkvm_curves::templates::bls12::bls12::Bls12

source ·

pub struct Bls12<P: Bls12Parameters>(_);

Trait Implementations

source

impl<P: Clone + Bls12Parameters> Clone for Bls12

source

fn clone(&self) -> Bls12

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<P: Debug + Bls12Parameters> Debug for Bls12

source

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

Formats the value using the given formatter. Read more

source

impl<'de, P: Bls12Parameters> Deserialize<'de> for Bls12

source

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
__D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

source

impl<P: Hash + Bls12Parameters> Hash for Bls12

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<P: Bls12Parameters> PairingEngine for Bls12where
G1Affine: PairingCurve<BaseField = <P::G1Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G1Projective, PairWith = G2Affine, Prepared = G1Prepared, PairingResult = Fp12<P::Fp12Params>>,
G2Affine: PairingCurve<BaseField = <P::G2Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G2Projective, PairWith = G1Affine, Prepared = G2Prepared, PairingResult = Fp12<P::Fp12Params>>,

type Fq = ::Fp

The base field that hosts G1.

type Fqe = Fp2<::Fp2Params>

The extension field that hosts G2.

type Fqk = Fp12<::Fp12Params>

The extension field that hosts the target group of the pairing.

type Fr = <::G1Parameters as ModelParameters>::ScalarField

This is the scalar field of the G1/G2 groups.

type G1Affine = Affine<::G1Parameters>

The affine representation of an element in G1.

type G1Projective = Projective<::G1Parameters>

The projective representation of an element in G1.

type G2Affine = Affine<::G2Parameters>

The affine representation of an element in G2.

type G2Projective = Projective<::G2Parameters>

The projective representation of an element in G2.

source

fn miller_loop<'a, I>(i: I) -> Self::Fqkwhere
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,

Perform a miller loop with some number of (G1, G2) pairs.

source

fn final_exponentiation(f: &Self::Fqk) -> Option<Self::Fqk>

Perform final exponentiation of the result of a miller loop.

source

fn product_of_pairings<'a, I>(i: I) -> Self::Fqkwhere
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,

Computes a product of pairings.

source

fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqkwhere
G1: Into<Self::G1Affine>,
G2: Into<Self::G2Affine>,

Performs multiple pairing operations

source

impl<P: PartialEq + Bls12Parameters> PartialEq<Bls12> for Bls12

source

fn eq(&self, other: &Bls12) -> 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<P: Bls12Parameters> Serialize for Bls12

source

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where
S: Serializer,

Serialize this value into the given Serde serializer. Read more

source

impl<P: Bls12Parameters> StructuralPartialEq for Bls12

Auto Trait Implementations

impl RefUnwindSafe for Bls12where
P: RefUnwindSafe,

impl Send for Bls12

impl Sync for Bls12

impl Unpin for Bls12where
P: Unpin,

impl UnwindSafe for Bls12where
P: UnwindSafe,

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.

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

fn vzip(self) -> V

source

Struct snarkvm_curves::templates::bls12::bls12::Bls12

Trait Implementations

impl<P: Clone + Bls12Parameters> Clone for Bls12<P>

fn clone(&self) -> Bls12<P>

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

impl<P: Debug + Bls12Parameters> Debug for Bls12<P>

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

impl<'de, P: Bls12Parameters> Deserialize<'de> for Bls12<P>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl<P: Hash + Bls12Parameters> Hash for Bls12<P>

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

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

type Fq = <P as Bls12Parameters>::Fp

type Fqe = Fp2<<P as Bls12Parameters>::Fp2Params>

type Fqk = Fp12<<P as Bls12Parameters>::Fp12Params>

type Fr = <<P as Bls12Parameters>::G1Parameters as ModelParameters>::ScalarField

type G1Affine = Affine<<P as Bls12Parameters>::G1Parameters>

type G1Projective = Projective<<P as Bls12Parameters>::G1Parameters>

type G2Affine = Affine<<P as Bls12Parameters>::G2Parameters>

type G2Projective = Projective<<P as Bls12Parameters>::G2Parameters>

fn miller_loop<'a, I>(i: I) -> Self::Fqkwhere I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,

fn final_exponentiation(f: &Self::Fqk) -> Option<Self::Fqk>

fn product_of_pairings<'a, I>(i: I) -> Self::Fqkwhere I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,

fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqkwhere G1: Into<Self::G1Affine>, G2: Into<Self::G2Affine>,

impl<P: PartialEq + Bls12Parameters> PartialEq<Bls12<P>> for Bls12<P>

fn eq(&self, other: &Bls12<P>) -> bool

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

impl<P: Bls12Parameters> Serialize for Bls12<P>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl<P: Copy + Bls12Parameters> Copy for Bls12<P>

impl<P: Eq + Bls12Parameters> Eq for Bls12<P>

impl<P: Bls12Parameters> StructuralEq for Bls12<P>

impl<P: Bls12Parameters> StructuralPartialEq for Bls12<P>

Auto Trait Implementations

impl<P> RefUnwindSafe for Bls12<P>where P: RefUnwindSafe,

impl<P> Send for Bls12<P>

impl<P> Sync for Bls12<P>

impl<P> Unpin for Bls12<P>where P: Unpin,

impl<P> UnwindSafe for Bls12<P>where P: UnwindSafe,

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

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
__D: Deserializer<'de>,

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

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

fn miller_loop<'a, I>(i: I) -> Self::Fqkwhere
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,

fn product_of_pairings<'a, I>(i: I) -> Self::Fqkwhere
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,

fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqkwhere
G1: Into<Self::G1Affine>,
G2: Into<Self::G2Affine>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where
S: Serializer,

impl<P> RefUnwindSafe for Bls12<P>where
P: RefUnwindSafe,

impl<P> Unpin for Bls12<P>where
P: Unpin,

impl<P> UnwindSafe for Bls12<P>where
P: UnwindSafe,

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>,

impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,