Struct snarkvm_gadgets::algorithms::snark::groth16::ProofGadget
source · [−]pub struct ProofGadget<PairingE: PairingEngine, P: PairingGadget<PairingE>> {
pub a: P::G1Gadget,
pub b: P::G2Gadget,
pub c: P::G1Gadget,
}
Fields
a: P::G1Gadget
b: P::G2Gadget
c: P::G1Gadget
Trait Implementations
sourceimpl<PairingE, P> AllocBytesGadget<Vec<u8, Global>, <PairingE as PairingEngine>::Fq> for ProofGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE, PairingE::Fq>,
impl<PairingE, P> AllocBytesGadget<Vec<u8, Global>, <PairingE as PairingEngine>::Fq> for ProofGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE, PairingE::Fq>,
fn alloc_bytes<FN, T, CS: ConstraintSystem<PairingE::Fq>>(
cs: CS,
value_gen: FN
) -> Result<Self, SynthesisError> where
FN: FnOnce() -> Result<T, SynthesisError>,
T: Borrow<Vec<u8>>,
fn alloc_input_bytes<FN, T, CS: ConstraintSystem<PairingE::Fq>>(
cs: CS,
value_gen: FN
) -> Result<Self, SynthesisError> where
FN: FnOnce() -> Result<T, SynthesisError>,
T: Borrow<Vec<u8>>,
fn alloc_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn
) -> Result<Self, SynthesisError>
fn alloc_input_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn
) -> Result<Self, SynthesisError>
sourceimpl<PairingE, P> AllocGadget<Proof<PairingE>, <PairingE as PairingEngine>::Fq> for ProofGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
impl<PairingE, P> AllocGadget<Proof<PairingE>, <PairingE as PairingEngine>::Fq> for ProofGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
fn alloc<FN, T, CS: ConstraintSystem<PairingE::Fq>>(
cs: CS,
value_gen: FN
) -> Result<Self, SynthesisError> where
FN: FnOnce() -> Result<T, SynthesisError>,
T: Borrow<Proof<PairingE>>,
fn alloc_input<FN, T, CS: ConstraintSystem<PairingE::Fq>>(
cs: CS,
value_gen: FN
) -> Result<Self, SynthesisError> where
FN: FnOnce() -> Result<T, SynthesisError>,
T: Borrow<Proof<PairingE>>,
fn alloc_constant<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
_cs: CS,
_f: Fn
) -> Result<Self, SynthesisError>
fn alloc_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn
) -> Result<Self, SynthesisError>
fn alloc_input_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn
) -> Result<Self, SynthesisError>
sourceimpl<PairingE: PairingEngine, P: PairingGadget<PairingE>> Clone for ProofGadget<PairingE, P> where
P::G1Gadget: Clone,
P::G2Gadget: Clone,
impl<PairingE: PairingEngine, P: PairingGadget<PairingE>> Clone for ProofGadget<PairingE, P> where
P::G1Gadget: Clone,
P::G2Gadget: Clone,
Auto Trait Implementations
impl<PairingE, P> RefUnwindSafe for ProofGadget<PairingE, P> where
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G1Gadget: RefUnwindSafe,
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G2Gadget: RefUnwindSafe,
impl<PairingE, P> Send for ProofGadget<PairingE, P> where
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G1Gadget: Send,
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G2Gadget: Send,
impl<PairingE, P> Sync for ProofGadget<PairingE, P> where
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G1Gadget: Sync,
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G2Gadget: Sync,
impl<PairingE, P> Unpin for ProofGadget<PairingE, P> where
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G1Gadget: Unpin,
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G2Gadget: Unpin,
impl<PairingE, P> UnwindSafe for ProofGadget<PairingE, P> where
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G1Gadget: UnwindSafe,
<P as PairingGadget<PairingE, <PairingE as PairingEngine>::Fq>>::G2Gadget: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<T> Pointable for T
impl<T> Pointable for T
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more