[−][src]Struct snarkos_gadgets::curves::templates::bls12::pairing::Bls12PairingGadget
Trait Implementations
impl<P: Bls12Parameters> PairingGadget<Bls12<P>, <P as Bls12Parameters>::Fp> for Bls12PairingGadget<P> where
G1Affine<P>: PairingCurve<BaseField = <P::G1Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G1Projective<P>, PairWith = G2Affine<P>, Prepared = G1Prepared<P>, PairingResult = Fp12<P::Fp12Params>>,
G2Affine<P>: PairingCurve<BaseField = <P::G2Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G2Projective<P>, PairWith = G1Affine<P>, Prepared = G2Prepared<P>, PairingResult = Fp12<P::Fp12Params>>, [src]
G1Affine<P>: PairingCurve<BaseField = <P::G1Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G1Projective<P>, PairWith = G2Affine<P>, Prepared = G1Prepared<P>, PairingResult = Fp12<P::Fp12Params>>,
G2Affine<P>: PairingCurve<BaseField = <P::G2Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G2Projective<P>, PairWith = G1Affine<P>, Prepared = G2Prepared<P>, PairingResult = Fp12<P::Fp12Params>>,
type G1Gadget = G1Gadget<P>
type G1PreparedGadget = G1PreparedGadget<P>
type G2Gadget = G2Gadget<P>
type G2PreparedGadget = G2PreparedGadget<P>
type GTGadget = Fp12Gadget<P::Fp12Params, P::Fp>
fn miller_loop<CS: ConstraintSystem<P::Fp>>(
cs: CS,
ps: &[Self::G1PreparedGadget],
qs: &[Self::G2PreparedGadget]
) -> Result<Self::GTGadget, SynthesisError>[src]
cs: CS,
ps: &[Self::G1PreparedGadget],
qs: &[Self::G2PreparedGadget]
) -> Result<Self::GTGadget, SynthesisError>
fn final_exponentiation<CS: ConstraintSystem<P::Fp>>(
cs: CS,
f: &Self::GTGadget
) -> Result<Self::GTGadget, SynthesisError>[src]
cs: CS,
f: &Self::GTGadget
) -> Result<Self::GTGadget, SynthesisError>
fn prepare_g1<CS: ConstraintSystem<P::Fp>>(
cs: CS,
p: &Self::G1Gadget
) -> Result<Self::G1PreparedGadget, SynthesisError>[src]
cs: CS,
p: &Self::G1Gadget
) -> Result<Self::G1PreparedGadget, SynthesisError>
fn prepare_g2<CS: ConstraintSystem<P::Fp>>(
cs: CS,
q: &Self::G2Gadget
) -> Result<Self::G2PreparedGadget, SynthesisError>[src]
cs: CS,
q: &Self::G2Gadget
) -> Result<Self::G2PreparedGadget, SynthesisError>
fn pairing<CS>(
cs: CS,
p: Self::G1PreparedGadget,
q: Self::G2PreparedGadget
) -> Result<Self::GTGadget, SynthesisError> where
CS: ConstraintSystem<F>, [src]
cs: CS,
p: Self::G1PreparedGadget,
q: Self::G2PreparedGadget
) -> Result<Self::GTGadget, SynthesisError> where
CS: ConstraintSystem<F>,
#[must_use]fn product_of_pairings<CS>(
cs: CS,
p: &[Self::G1PreparedGadget],
q: &[Self::G2PreparedGadget]
) -> Result<Self::GTGadget, SynthesisError> where
CS: ConstraintSystem<F>, [src]
cs: CS,
p: &[Self::G1PreparedGadget],
q: &[Self::G2PreparedGadget]
) -> Result<Self::GTGadget, SynthesisError> where
CS: ConstraintSystem<F>,
Auto Trait Implementations
impl<P> RefUnwindSafe for Bls12PairingGadget<P> where
P: RefUnwindSafe,
P: RefUnwindSafe,
impl<P> Send for Bls12PairingGadget<P> where
P: Send,
P: Send,
impl<P> Sync for Bls12PairingGadget<P> where
P: Sync,
P: Sync,
impl<P> Unpin for Bls12PairingGadget<P> where
P: Unpin,
P: Unpin,
impl<P> UnwindSafe for Bls12PairingGadget<P> where
P: UnwindSafe,
P: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,