Verify the proof except the pairing equations. This is useful when doing several verifications (of this protocol or others) and the pairing equations are combined in a randomized pairing check.
(
&self,
revealed_msgs: &BTreeMap<usize, E::ScalarField>,
challenge: &E::ScalarField,
g1: E::G1Affine,
h: Vec<E::G1Affine>,
)
| 378 | /// Verify the proof except the pairing equations. This is useful when doing several verifications (of this |
| 379 | /// protocol or others) and the pairing equations are combined in a randomized pairing check. |
| 380 | fn verify_except_pairings( |
| 381 | &self, |
| 382 | revealed_msgs: &BTreeMap<usize, E::ScalarField>, |
| 383 | challenge: &E::ScalarField, |
| 384 | g1: E::G1Affine, |
| 385 | h: Vec<E::G1Affine>, |
| 386 | ) -> Result<(), BBSPlusError> { |
| 387 | if self.A_bar.is_zero() { |
| 388 | return Err(BBSPlusError::ZeroSignature); |
| 389 | } |
| 390 | self.verify_schnorr_proofs(revealed_msgs, challenge, g1, h) |
| 391 | } |
| 392 | } |
| 393 | |
| 394 | #[cfg(test)] |
no test coverage detected