Similar to `Self::verify_with_randomized_pairing_checker` but responses for some messages (witnesses) are provided in `missing_responses`. The keys of the map are message indices.
(
&self,
revealed_msgs: &BTreeMap<usize, E::ScalarField>,
challenge: &E::ScalarField,
pk: impl Into<PreparedPublicKeyG2<E>>,
params: impl Into<PreparedSignature
| 405 | /// Similar to `Self::verify_with_randomized_pairing_checker` but responses for some messages (witnesses) are provided in `missing_responses`. |
| 406 | /// The keys of the map are message indices. |
| 407 | pub fn verify_partial_with_randomized_pairing_checker( |
| 408 | &self, |
| 409 | revealed_msgs: &BTreeMap<usize, E::ScalarField>, |
| 410 | challenge: &E::ScalarField, |
| 411 | pk: impl Into<PreparedPublicKeyG2<E>>, |
| 412 | params: impl Into<PreparedSignatureParamsG1<E>>, |
| 413 | pairing_checker: &mut RandomizedPairingChecker<E>, |
| 414 | missing_responses: BTreeMap<usize, E::ScalarField>, |
| 415 | ) -> Result<(), BBSPlusError> { |
| 416 | self._verify_with_randomized_pairing_checker( |
| 417 | revealed_msgs, |
| 418 | challenge, |
| 419 | pk, |
| 420 | params, |
| 421 | pairing_checker, |
| 422 | Some(missing_responses), |
| 423 | ) |
| 424 | } |
| 425 | |
| 426 | /// For the verifier to independently calculate the challenge |
| 427 | pub fn challenge_contribution<W: Write>( |
no test coverage detected