ark_snark

Trait CircuitSpecificSetupSNARK

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

A SNARK with (only) circuit-specific setup.

Provided Methods§

Source

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

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§