Struct snarkos_algorithms::snark::groth16::snark::Groth16

pub struct Groth16<E: PairingEngine, C: ConstraintSynthesizer<E::Fr>, V: ToConstraintField<E::Fr> + ?Sized> { /* fields omitted */ }

Note: V should serialize its contents to Vec<E::Fr> in the same order as during the constraint generation.

Trait Implementations

impl<E: Clone + PairingEngine, C: Clone + ConstraintSynthesizer<E::Fr>, V: Clone + ToConstraintField<E::Fr> + ?Sized> Clone for Groth16<E, C, V>

fn clone(&self) -> Groth16<E, C, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + PairingEngine, C: Debug + ConstraintSynthesizer<E::Fr>, V: Debug + ToConstraintField<E::Fr> + ?Sized> Debug for Groth16<E, C, V>

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

Formats the value using the given formatter.

impl<E: Eq + PairingEngine, C: Eq + ConstraintSynthesizer<E::Fr>, V: Eq + ToConstraintField<E::Fr> + ?Sized> Eq for Groth16<E, C, V>

impl<E: PartialEq + PairingEngine, C: PartialEq + ConstraintSynthesizer<E::Fr>, V: PartialEq + ToConstraintField<E::Fr> + ?Sized> PartialEq<Groth16<E, C, V>> for Groth16<E, C, V>

fn eq(&self, other: &Groth16<E, C, V>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Groth16<E, C, V>) -> bool

This method tests for !=.

impl<E: PairingEngine, C: ConstraintSynthesizer<E::Fr>, V: ToConstraintField<E::Fr> + ?Sized> SNARK for Groth16<E, C, V>

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

fn setup<R: Rng>(
    circuit: Self::Circuit,
    rng: &mut R
) -> Result<(Self::ProvingParameters, Self::PreparedVerificationParameters), SNARKError>

fn prove<R: Rng>(
    pp: &Self::ProvingParameters,
    input_and_witness: Self::AssignedCircuit,
    rng: &mut R
) -> Result<Self::Proof, SNARKError>

fn verify(
    vk: &Self::PreparedVerificationParameters,
    input: &Self::VerifierInput,
    proof: &Self::Proof
) -> Result<bool, SNARKError>

impl<E: PairingEngine, C: ConstraintSynthesizer<E::Fr>, V: ToConstraintField<E::Fr> + ?Sized> StructuralEq for Groth16<E, C, V>

impl<E: PairingEngine, C: ConstraintSynthesizer<E::Fr>, V: ToConstraintField<E::Fr> + ?Sized> StructuralPartialEq for Groth16<E, C, V>