Method verify_except_pairings

bbs_plus/src/proof.rs:529–542

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_0: E::G1Affine,
        h: Vec<E::G1Affine>,
        mi

    /// 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.
    fn verify_except_pairings(
        &self,
        revealed_msgs: &BTreeMap<usize, E::ScalarField>,
        challenge: &E::ScalarField,
        g1: E::G1Affine,
        h_0: E::G1Affine,
        h: Vec<E::G1Affine>,
        missing_responses: Option<BTreeMap<usize, E::ScalarField>>,
    ) -> Result<(), BBSPlusError> {
        if self.A_prime.is_zero() {
            return Err(BBSPlusError::ZeroSignature);
        }
        self.verify_schnorr_proofs(revealed_msgs, challenge, g1, h_0, h, missing_responses)
    }

    pub fn verify_schnorr_proofs(
        &self,