Trait ark_snark::CircuitSpecificSetupSNARK[−][src]

pub trait CircuitSpecificSetupSNARK<F: PrimeField>: SNARK<F> {
    fn setup<C: ConstraintSynthesizer<F>, R: RngCore + CryptoRng>(
        circuit: C, 
        rng: &mut R
    ) -> Result<(Self::ProvingKey, Self::VerifyingKey), Self::Error> { ... }
}

A SNARK with (only) circuit-specific setup.

Provided methods

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

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

Loading content...

Implementors

Loading content...