Function snarkvm_wasm::groth16::verify_proof [−][src]
pub fn verify_proof<E>(
pvk: &PreparedVerifyingKey<E>,
proof: &Proof<E>,
public_inputs: &[<E as PairingEngine>::Fr]
) -> Result<bool, SynthesisError> where
E: PairingEngine,