Method init_using_token

kvac/src/bbs_sharp/proof.rs:195–237

Initialize the protocol using token received in HOL mode. Pass the appropriate type in `hw_sig_type` which corresponds to the signature type generated by user's secure hardware If `verifier_pub_key` is provided, then create a designated verifier proof which only the verifier can verify

(
        rng: &mut R,
        private_data: TokenPrivateData<G>,
        proof_of_validity: ProofOfValidity<G>,
        params: &MACParams<G>,
        messages_and_blindings: MBI,
        user_public

    /// Pass the appropriate type in `hw_sig_type` which corresponds to the signature type generated by user's secure hardware
    /// If `verifier_pub_key` is provided, then create a designated verifier proof which only the verifier can verify
    pub fn init_using_token<'a, MBI, R: RngCore>(
        rng: &mut R,
        private_data: TokenPrivateData<G>,
        proof_of_validity: ProofOfValidity<G>,
        params: &MACParams<G>,
        messages_and_blindings: MBI,
        user_public_key: &UserPublicKey<G>,
        hw_sig_type: HardwareSignatureType,
        verifier_pub_key: Option<&G>,
    ) -> Result<Self, KVACError>
    where
        MBI: IntoIterator<Item = MessageOrBlinding<'a, G::ScalarField>>,
    {
        let (messages, indexed_blindings) =
            match split_messages_and_blindings(rng, messages_and_blindings, params) {
                Ok(t) => t,
                Err(l) => {
                    return Err(KVACError::MessageCountIncompatibleWithMACParams(
                        l,
                        params.supported_message_count(),
                    ))
                }
            };

        let TokenPrivateData { D, r1, r3, minus_e } = private_data;
        let ProofOfValidity { A_hat, B_bar, c, r } = proof_of_validity;
        Self::_init(
            rng,
            A_hat,
            B_bar,
            D,
            r1,
            r3,
            minus_e,
            messages,
            indexed_blindings,
            params,
            user_public_key,
            hw_sig_type,
            Some((c, r)),
            verifier_pub_key,
        )
    }

    pub fn challenge_contribution<W: Write>(
        &self,