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
| 386 | /// Similar to `Self::verify` but responses for some messages (witnesses) are provided in `missing_responses`. |
| 387 | /// The keys of the map are message indices. |
| 388 | pub fn verify_partial( |
| 389 | &self, |
| 390 | revealed_msgs: &BTreeMap<usize, E::ScalarField>, |
| 391 | challenge: &E::ScalarField, |
| 392 | pk: impl Into<PreparedPublicKeyG2<E>>, |
| 393 | params: impl Into<PreparedSignatureParamsG1<E>>, |
| 394 | missing_responses: BTreeMap<usize, E::ScalarField>, |
| 395 | ) -> Result<(), BBSPlusError> { |
| 396 | self._verify( |
| 397 | revealed_msgs, |
| 398 | challenge, |
| 399 | pk, |
| 400 | params, |
| 401 | Some(missing_responses), |
| 402 | ) |
| 403 | } |
| 404 | |
| 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. |
no test coverage detected