Method verify

proof_system/src/verifier.rs:128–142

Verify the `Proof` given the `ProofSpec`, `nonce` and `config`

(
        self,
        rng: &mut R,
        proof_spec: ProofSpec<E>,
        nonce: Option<Vec<u8>>,
        config: VerifierConfig,
    )

impl<E: Pairing> Proof<E> {
    /// Verify the `Proof` given the `ProofSpec`, `nonce` and `config`
    pub fn verify<R: RngCore, D: FullDigest + Digest>(
        self,
        rng: &mut R,
        proof_spec: ProofSpec<E>,
        nonce: Option<Vec<u8>>,
        config: VerifierConfig,
    ) -> Result<(), ProofSystemError> {
        match config.use_lazy_randomized_pairing_checks {
            Some(b) => {
                let pairing_checker = RandomizedPairingChecker::new_using_rng(rng, b);
                self._verify::<R, D>(rng, proof_spec, nonce, Some(pairing_checker))
            }
            None => self._verify::<R, D>(rng, proof_spec, nonce, None),
        }
    }

    fn _verify<R: RngCore, D: FullDigest + Digest>(
        self,