Struct snarkvm_gadgets::algorithms::snark::groth16::VerifyingKeyGadget
source · [−]pub struct VerifyingKeyGadget<PairingE: PairingEngine, P: PairingGadget<PairingE>> {
pub alpha_g1: P::G1Gadget,
pub beta_g2: P::G2Gadget,
pub gamma_g2: P::G2Gadget,
pub delta_g2: P::G2Gadget,
pub gamma_abc_g1: Vec<P::G1Gadget>,
}
Fields
alpha_g1: P::G1Gadget
beta_g2: P::G2Gadget
gamma_g2: P::G2Gadget
delta_g2: P::G2Gadget
gamma_abc_g1: Vec<P::G1Gadget>
Trait Implementations
sourceimpl<PairingE, P> AllocBytesGadget<Vec<u8, Global>, <PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
impl<PairingE, P> AllocBytesGadget<Vec<u8, Global>, <PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
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<VerifyingKey<PairingE>, <PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE, PairingE::Fq>,
impl<PairingE, P> AllocGadget<VerifyingKey<PairingE>, <PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE, PairingE::Fq>,
fn alloc<FN, T, CS: ConstraintSystem<PairingE::Fq>>(
cs: CS,
value_gen: FN
) -> Result<Self, SynthesisError> where
FN: FnOnce() -> Result<T, SynthesisError>,
T: Borrow<VerifyingKey<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<VerifyingKey<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 VerifyingKeyGadget<PairingE, P> where
P::G1Gadget: Clone,
P::GTGadget: Clone,
P::G1PreparedGadget: Clone,
P::G2PreparedGadget: Clone,
impl<PairingE: PairingEngine, P: PairingGadget<PairingE>> Clone for VerifyingKeyGadget<PairingE, P> where
P::G1Gadget: Clone,
P::GTGadget: Clone,
P::G1PreparedGadget: Clone,
P::G2PreparedGadget: Clone,
sourceimpl<PairingE: PairingEngine, P: PairingGadget<PairingE>> PrepareGadget<PreparedVerifyingKeyGadget<PairingE, P>, <PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P>
impl<PairingE: PairingEngine, P: PairingGadget<PairingE>> PrepareGadget<PreparedVerifyingKeyGadget<PairingE, P>, <PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P>
fn prepare<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<PreparedVerifyingKeyGadget<PairingE, P>, SynthesisError>
sourceimpl<PairingE, P> ToBytesGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
impl<PairingE, P> ToBytesGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
fn to_bytes<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<Vec<UInt8>, SynthesisError>
sourcefn to_bytes_strict<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<Vec<UInt8>, SynthesisError>
fn to_bytes_strict<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<Vec<UInt8>, SynthesisError>
Additionally checks if the produced list of booleans is ‘valid’.
sourceimpl<PairingE, P> ToConstraintFieldGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
impl<PairingE, P> ToConstraintFieldGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
sourcefn to_constraint_field<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<Vec<FpGadget<PairingE::Fq>>, SynthesisError>
fn to_constraint_field<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<Vec<FpGadget<PairingE::Fq>>, SynthesisError>
Converts self
to FpGadget<F>
variables.
sourceimpl<PairingE, P> ToMinimalBitsGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
impl<PairingE, P> ToMinimalBitsGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
PairingE: PairingEngine,
P: PairingGadget<PairingE>,
fn to_minimal_bits<CS: ConstraintSystem<PairingE::Fq>>(
&self,
cs: CS
) -> Result<Vec<Boolean>, SynthesisError>
Auto Trait Implementations
impl<PairingE, P> RefUnwindSafe for VerifyingKeyGadget<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 VerifyingKeyGadget<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 VerifyingKeyGadget<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 VerifyingKeyGadget<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 VerifyingKeyGadget<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