Function ark_gm17::prover::create_random_proof[][src]

pub fn create_random_proof<E, C, R>(
    circuit: C,
    params: &ProvingKey<E>,
    rng: &mut R
) -> Result<Proof<E>, SynthesisError> where
    E: PairingEngine,
    C: ConstraintSynthesizer<E::Fr>,
    R: Rng
Expand description

Create a zero-knowledge GrothMaller17 proof.