Trait ark_snark::CircuitSpecificSetupSNARK [−][src]
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]
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(...)
.