Struct snarkvm_wasm::groth16::Groth16 [−][src]
Note: V should serialize its contents to Vec<E::Fr>
in the same order as
during the constraint generation.
Trait Implementations
impl<E, C, V> Clone for Groth16<E, C, V> where
C: Clone + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: Clone + PairingEngine,
V: Clone + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: Clone + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: Clone + PairingEngine,
V: Clone + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
impl<E, C, V> Debug for Groth16<E, C, V> where
C: Debug + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: Debug + PairingEngine,
V: Debug + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: Debug + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: Debug + PairingEngine,
V: Debug + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
impl<E, C, V> Eq for Groth16<E, C, V> where
C: Eq + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: Eq + PairingEngine,
V: Eq + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: Eq + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: Eq + PairingEngine,
V: Eq + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
impl<E, C, V> PartialEq<Groth16<E, C, V>> for Groth16<E, C, V> where
C: PartialEq<C> + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PartialEq<E> + PairingEngine,
V: PartialEq<V> + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: PartialEq<C> + ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PartialEq<E> + PairingEngine,
V: PartialEq<V> + ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
pub fn eq(&self, other: &Groth16<E, C, V>) -> bool
[src]
pub fn ne(&self, other: &Groth16<E, C, V>) -> bool
[src]
impl<E, C, V> SNARK for Groth16<E, C, V> where
C: ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PairingEngine,
V: ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PairingEngine,
V: ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
type AssignedCircuit = C
type Circuit = C
type PreparedVerificationParameters = PreparedVerifyingKey<E>
type Proof = Proof<E>
type ProvingParameters = Parameters<E>
type VerificationParameters = VerifyingKey<E>
type VerifierInput = V
pub fn setup<R>(
circuit: &<Groth16<E, C, V> as SNARK>::Circuit,
rng: &mut R
) -> Result<(<Groth16<E, C, V> as SNARK>::ProvingParameters, <Groth16<E, C, V> as SNARK>::PreparedVerificationParameters), SNARKError> where
R: Rng,
[src]
circuit: &<Groth16<E, C, V> as SNARK>::Circuit,
rng: &mut R
) -> Result<(<Groth16<E, C, V> as SNARK>::ProvingParameters, <Groth16<E, C, V> as SNARK>::PreparedVerificationParameters), SNARKError> where
R: Rng,
pub fn prove<R>(
pp: &<Groth16<E, C, V> as SNARK>::ProvingParameters,
input_and_witness: &<Groth16<E, C, V> as SNARK>::AssignedCircuit,
rng: &mut R
) -> Result<<Groth16<E, C, V> as SNARK>::Proof, SNARKError> where
R: Rng,
[src]
pp: &<Groth16<E, C, V> as SNARK>::ProvingParameters,
input_and_witness: &<Groth16<E, C, V> as SNARK>::AssignedCircuit,
rng: &mut R
) -> Result<<Groth16<E, C, V> as SNARK>::Proof, SNARKError> where
R: Rng,
pub fn verify(
vk: &<Groth16<E, C, V> as SNARK>::PreparedVerificationParameters,
input: &<Groth16<E, C, V> as SNARK>::VerifierInput,
proof: &<Groth16<E, C, V> as SNARK>::Proof
) -> Result<bool, SNARKError>
[src]
vk: &<Groth16<E, C, V> as SNARK>::PreparedVerificationParameters,
input: &<Groth16<E, C, V> as SNARK>::VerifierInput,
proof: &<Groth16<E, C, V> as SNARK>::Proof
) -> Result<bool, SNARKError>
impl<PairingE, ConstraintF, P, C, V> SNARKVerifierGadget<Groth16<PairingE, C, V>, ConstraintF> for Groth16VerifierGadget<PairingE, ConstraintF, P> where
C: ConstraintSynthesizer<<PairingE as PairingEngine>::Fr>,
P: PairingGadget<PairingE, ConstraintF>,
V: ToConstraintField<<PairingE as PairingEngine>::Fr>,
PairingE: PairingEngine,
ConstraintF: Field,
[src]
C: ConstraintSynthesizer<<PairingE as PairingEngine>::Fr>,
P: PairingGadget<PairingE, ConstraintF>,
V: ToConstraintField<<PairingE as PairingEngine>::Fr>,
PairingE: PairingEngine,
ConstraintF: Field,
type ProofGadget = ProofGadget<PairingE, ConstraintF, P>
type VerificationKeyGadget = VerifyingKeyGadget<PairingE, ConstraintF, P>
pub fn check_verify<'a, CS, I, T>(
cs: CS,
vk: &<Groth16VerifierGadget<PairingE, ConstraintF, P> as SNARKVerifierGadget<Groth16<PairingE, C, V>, ConstraintF>>::VerificationKeyGadget,
public_inputs: I,
proof: &<Groth16VerifierGadget<PairingE, ConstraintF, P> as SNARKVerifierGadget<Groth16<PairingE, C, V>, ConstraintF>>::ProofGadget
) -> Result<(), SynthesisError> where
CS: ConstraintSystem<ConstraintF>,
T: 'a + ToBitsGadget<ConstraintF> + ?Sized,
I: Iterator<Item = &'a T>,
[src]
cs: CS,
vk: &<Groth16VerifierGadget<PairingE, ConstraintF, P> as SNARKVerifierGadget<Groth16<PairingE, C, V>, ConstraintF>>::VerificationKeyGadget,
public_inputs: I,
proof: &<Groth16VerifierGadget<PairingE, ConstraintF, P> as SNARKVerifierGadget<Groth16<PairingE, C, V>, ConstraintF>>::ProofGadget
) -> Result<(), SynthesisError> where
CS: ConstraintSystem<ConstraintF>,
T: 'a + ToBitsGadget<ConstraintF> + ?Sized,
I: Iterator<Item = &'a T>,
impl<E, C, V> StructuralEq for Groth16<E, C, V> where
C: ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PairingEngine,
V: ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PairingEngine,
V: ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
impl<E, C, V> StructuralPartialEq for Groth16<E, C, V> where
C: ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PairingEngine,
V: ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
[src]
C: ConstraintSynthesizer<<E as PairingEngine>::Fr>,
E: PairingEngine,
V: ToConstraintField<<E as PairingEngine>::Fr> + ?Sized,
Auto Trait Implementations
impl<E, C, V: ?Sized> RefUnwindSafe for Groth16<E, C, V> where
C: RefUnwindSafe,
E: RefUnwindSafe,
V: RefUnwindSafe,
C: RefUnwindSafe,
E: RefUnwindSafe,
V: RefUnwindSafe,
impl<E, C, V: ?Sized> Send for Groth16<E, C, V> where
C: Send,
V: Send,
C: Send,
V: Send,
impl<E, C, V: ?Sized> Sync for Groth16<E, C, V> where
C: Sync,
V: Sync,
C: Sync,
V: Sync,
impl<E, C, V: ?Sized> Unpin for Groth16<E, C, V> where
C: Unpin,
E: Unpin,
V: Unpin,
C: Unpin,
E: Unpin,
V: Unpin,
impl<E, C, V: ?Sized> UnwindSafe for Groth16<E, C, V> where
C: UnwindSafe,
E: UnwindSafe,
V: UnwindSafe,
C: UnwindSafe,
E: UnwindSafe,
V: 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,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
pub fn equivalent(&self, key: &K) -> bool
[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> Pointable for T
pub const ALIGN: usize
type Init = T
The type for initializers.
pub unsafe fn init(init: <T as Pointable>::Init) -> usize
pub unsafe fn deref<'a>(ptr: usize) -> &'a T
pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
pub unsafe fn drop(ptr: usize)
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
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.
pub 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.
pub 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>,