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,