Function snarkvm_algorithms::snark::gm17::create_proof

pub fn create_proof<E, C>(
    circuit: &C, 
    params: &ProvingKey<E>, 
    d1: E::Fr, 
    d2: E::Fr, 
    r: E::Fr
) -> Result<Proof<E>, SynthesisError> where
    E: PairingEngine,
    C: ConstraintSynthesizer<E::Fr>,