Struct ocelot::edabits::ProverConv

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

Prover for the edabits conversion protocol

Implementations

impl<FE: FiniteField<PrimeField = FE>> ProverConv<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 prover

pub fn random_edabits<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, nb_bits: usize, num: usize ) -> Result<Vec<EdabitsProver<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<(MacProver<F40b>, MacProver<F40b>, MacProver<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: &[EdabitsProver<FE>], bucket_channels: Option<Vec<SyncChannel<BufReader<TcpStream>, BufWriter<TcpStream>>>>, with_quicksilver: bool ) -> Result<(), Error>

conversion checking