Method new_verifiable

oblivious_transfer/src/base_ot/simplest_ot.rs:145–161

Initialize a sender for Verified Simplest OT protocol and return the public key and the proof of knowledge of the secret key to be sent to the receiver

(
        rng: &mut R,
        num_ot: u16,
        B: &G,
    )

    /// Initialize a sender for Verified Simplest OT protocol and return the public key and the proof of
    /// knowledge of the secret key to be sent to the receiver
    pub fn new_verifiable<R: RngCore, D: Digest>(
        rng: &mut R,
        num_ot: u16,
        B: &G,
    ) -> Result<(Self, SenderPubKey<G>, PokDiscreteLog<G>), OTError> {
        let (setup, S) = Self::new(rng, OTConfig::new_2_message(num_ot)?, B);
        let blinding = G::ScalarField::rand(rng);
        let schnorr_protocol = PokDiscreteLogProtocol::init(setup.y, blinding, B);
        let mut challenge_bytes = vec![];
        schnorr_protocol
            .challenge_contribution(B, &S.0, &mut challenge_bytes)
            .map_err(|e| OTError::SchnorrError(e))?;
        // TODO: Need Transcript here
        let challenge = compute_random_oracle_challenge::<G::ScalarField, D>(&challenge_bytes);
        let schnorr_proof = schnorr_protocol.gen_proof(&challenge);
        Ok((setup, S, schnorr_proof))
    }

    /// Derive the sender's keys using receiver's public key
    pub fn derive_keys<D: Default + Update + ExtendableOutput, const KEY_SIZE: u16>(