Function snarkvm_wasm::groth16::create_proof[][src]

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