Function snarkos_algorithms::snark::gm17::create_random_proof

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,