Function snarkvm_algorithms::snark::groth16::create_proof

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