Function snarkvm_wasm::gm17::verify_proof

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