Function ysbell::groth16::verify_proof

pub fn verify_proof<'a, E: Engine>(
    pvk: &'a PreparedVerifyingKey<E>, 
    proof: &Proof<E>, 
    public_inputs: &[E::Fr]
) -> Result<bool, SynthesisError>