Struct ocelot::edabits::VerifierConv

pub struct VerifierConv<FE: FiniteField> { /* private fields */ }

Verifier for the edabits conversion protocol

Implementations

impl<FE: FiniteField<PrimeField = FE>> VerifierConv<FE>

pub fn init<C: AbstractChannel, RNG: CryptoRng + Rng>( channel: &mut C, rng: &mut RNG, lpn_setup: LpnParams, lpn_extend: LpnParams ) -> Result<Self, Error>

initialize the verifier

pub fn random_edabits<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, nb_bits: usize, num: usize ) -> Result<Vec<EdabitsVerifier<FE>>, Error>

generate random edabits

pub fn random_triples<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, num: usize, out: &mut Vec<(MacVerifier<F40b>, MacVerifier<F40b>, MacVerifier<F40b>)> ) -> Result<(), Error>

Generate random triples

pub fn conv<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, num_bucket: usize, num_cut: usize, edabits_vector_mac: &[EdabitsVerifier<FE>], bucket_channels: Option<Vec<SyncChannel<BufReader<TcpStream>, BufWriter<TcpStream>>>>, with_quicksilver: bool ) -> Result<(), Error>

conversion checking