Struct ark_gm17::GM17

pub struct GM17<E: PairingEngine> { /* fields omitted */ }

The SNARK of [GrothMaller17].

Trait Implementations

impl<E: PairingEngine> CircuitSpecificSetupSNARK<<E as PairingEngine>::Fr> for GM17<E>

fn setup<C, R>(
    circuit: C,
    rng: &mut R
) -> Result<(Self::ProvingKey, Self::VerifyingKey), Self::Error> where
    C: ConstraintSynthesizer<F>,
    R: RngCore + CryptoRng, 

The setup algorithm for circuit-specific SNARKs. By default, this just invokes <Self as SNARK<F>>::circuit_specific_setup(...).

impl<E: PairingEngine> SNARK<<E as PairingEngine>::Fr> for GM17<E>

type ProvingKey = ProvingKey<E>

The information required by the prover to produce a proof for a specific circuit C.

type VerifyingKey = VerifyingKey<E>

The information required by the verifier to check a proof for a specific circuit C.

type Proof = Proof<E>

The proof output by the prover.

type ProcessedVerifyingKey = PreparedVerifyingKey<E>

This contains the verification key, but preprocessed to enable faster verification.

type Error = SynthesisError

Errors encountered during setup, proving, or verification.

fn circuit_specific_setup<C: ConstraintSynthesizer<E::Fr>, R: RngCore>(
    circuit: C,
    rng: &mut R
) -> Result<(Self::ProvingKey, Self::VerifyingKey), Self::Error>

Takes in a description of a computation (specified in R1CS constraints), and samples proving and verification keys for that circuit.

fn prove<C: ConstraintSynthesizer<E::Fr>, R: RngCore>(
    pk: &Self::ProvingKey,
    circuit: C,
    rng: &mut R
) -> Result<Self::Proof, Self::Error>

Generates a proof of satisfaction of the arithmetic circuit C (specified as R1CS constraints).

fn process_vk(
    circuit_vk: &Self::VerifyingKey
) -> Result<Self::ProcessedVerifyingKey, Self::Error>

Preprocesses circuit_vk to enable faster verification.

fn verify_with_processed_vk(
    circuit_pvk: &Self::ProcessedVerifyingKey,
    x: &[E::Fr],
    proof: &Self::Proof
) -> Result<bool, Self::Error>

Checks that proof is a valid proof of the satisfaction of circuit encoded in circuit_pvk, with respect to the public input public_input, specified as R1CS constraints.

fn verify(
    circuit_vk: &Self::VerifyingKey,
    public_input: &[F],
    proof: &Self::Proof
) -> Result<bool, Self::Error>

Checks that proof is a valid proof of the satisfaction of circuit encoded in circuit_vk, with respect to the public input public_input, specified as R1CS constraints.