Trait ark_crypto_primitives::CircuitSpecificSetupSNARK

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

A SNARK with (only) circuit-specific setup.

Provided methods

pub 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(...).

Loading content...

Implementors

Loading content...