Method verify

kvac/src/bbs_sharp/proof.rs:492–505

Verify the proof of knowledge of MAC. Requires the knowledge of the signer's secret key. It can be seen as composed of 2 parts, one requiring knowledge of secret key and the other not requiring it. The latter can thus be verified by anyone. The former doesn't contain any revealed messages and contains no user specific data.

(
        &self,
        revealed_msgs: &BTreeMap<usize, G::ScalarField>,
        challenge: &G::ScalarField,
        secret_key: &SecretKey<G::ScalarField>,
        params: &MACParams<G>,
        ver

    /// one requiring knowledge of secret key and the other not requiring it. The latter can thus be verified by anyone.
    /// The former doesn't contain any revealed messages and contains no user specific data.
    pub fn verify(
        &self,
        revealed_msgs: &BTreeMap<usize, G::ScalarField>,
        challenge: &G::ScalarField,
        secret_key: &SecretKey<G::ScalarField>,
        params: &MACParams<G>,
        verifier_pub_key: Option<&G>,
    ) -> Result<(), KVACError> {
        if self.B_bar != (self.A_hat * secret_key.0).into() {
            return Err(KVACError::InvalidRandomizedMAC);
        }
        self.verify_common(revealed_msgs, challenge, params, verifier_pub_key)?;
        Ok(())
    }

    /// Verify the proof of knowledge of MAC. Doesn't require the knowledge of the signer's secret key
    /// but consists of proof of correctness of randomized MAC given by the signer