Function bellperson::groth16::verify_proof
source · [−]pub fn verify_proof<'a, E>(
pvk: &'a PreparedVerifyingKey<E>,
proof: &Proof<E>,
public_inputs: &[E::Fr]
) -> Result<bool, SynthesisError> where
E: MultiMillerLoop,
<<E as Engine>::Fr as PrimeField>::Repr: Sync,
Expand description
Verify a single Proof.