Function snarkvm_wasm::gm17::create_proof[][src]

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