Function snarkvm_algorithms::snark::gm17::create_random_proof[][src]

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