Similar to `Self::verify` 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
| 330 | /// Similar to `Self::verify` but responses for some messages (witnesses) are provided in `missing_responses`. |
| 331 | /// The keys of the map are message indices. |
| 332 | pub fn verify_partial( |
| 333 | &self, |
| 334 | revealed_msgs: &BTreeMap<usize, E::ScalarField>, |
| 335 | challenge: &E::ScalarField, |
| 336 | pk: impl Into<PreparedPublicKeyG2<E>>, |
| 337 | params: impl Into<PreparedSignatureParams23G1<E>>, |
| 338 | missing_responses: BTreeMap<usize, E::ScalarField>, |
| 339 | ) -> Result<(), BBSPlusError> { |
| 340 | self._verify( |
| 341 | revealed_msgs, |
| 342 | challenge, |
| 343 | pk, |
| 344 | params, |
| 345 | Some(missing_responses), |
| 346 | ) |
| 347 | } |
| 348 | |
| 349 | /// Similar to `Self::verify_with_randomized_pairing_checker` but responses for some messages (witnesses) are provided in `missing_responses`. |
| 350 | /// The keys of the map are message indices. |