Method verify

utils/src/randomized_pairing_check.rs:204–214

Verify that all added pairing equations are satisfied.

(&self)

    /// Verify that all added pairing equations are satisfied.
    pub fn verify(&self) -> bool {
        debug_assert_eq!(self.pending.0.len(), self.pending.1.len());
        let left = if !self.pending.0.is_empty() {
            let mut p = E::multi_miller_loop(self.pending.0.clone(), self.pending.1.clone());
            p.0.mul_assign(self.left.0);
            p
        } else {
            self.left
        };
        E::final_exponentiation(left).unwrap() == self.right
    }
}

#[cfg(test)]