Struct ocelot::edabits::FComVerifier

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

F_com protocol for the Verififier

Implementations

impl<FE: FiniteField> FComVerifier<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 functionality.

pub fn duplicate<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG ) -> Result<Self, Error>

Duplicate the functionality.

pub fn get_delta(&self) -> FE

Returns the delta Mac.

pub fn random<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG ) -> Result<MacVerifier<FE>, Error>

Returns a random mac.

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

Input a number of values and returns the associated macs.

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

lower level implementation of input for predefined out vector.

pub fn input1<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG ) -> Result<MacVerifier<FE>, Error>

Input a single value and returns its associated Mac.

pub fn affine_add_cst( &self, cst: FE::PrimeField, x_mac: MacVerifier<FE> ) -> MacVerifier<FE>

Add a constant to a Mac.

pub fn affine_mult_cst( &self, cst: FE::PrimeField, x_mac: MacVerifier<FE> ) -> MacVerifier<FE>

Multiply a Mac by a constant.

pub fn add(&self, a: MacVerifier<FE>, b: MacVerifier<FE>) -> MacVerifier<FE>

Add two Macs.

pub fn neg(&self, a: MacVerifier<FE>) -> MacVerifier<FE>

Negative of a Mac.

pub fn sub(&self, a: MacVerifier<FE>, b: MacVerifier<FE>) -> MacVerifier<FE>

Subtraction of two Macs.

pub fn check_zero<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, key_batch: &[MacVerifier<FE>] ) -> Result<(), Error>

Check that a batch of Macs are zero.

pub fn open<C: AbstractChannel>( &mut self, channel: &mut C, keys: &[MacVerifier<FE>], out: &mut Vec<FE::PrimeField> ) -> Result<(), Error>

Open Macs.

pub fn quicksilver_check_multiply<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, triples: &[(MacVerifier<FE>, MacVerifier<FE>, MacVerifier<FE>)] ) -> Result<(), Error>

Quicksilver multiplication check.

pub fn wolverine_check_multiply<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, triples: &[(MacVerifier<FE>, MacVerifier<FE>, MacVerifier<FE>)], aux: &[(MacVerifier<FE>, MacVerifier<FE>, MacVerifier<FE>)] ) -> Result<(), Error>

Wolverine multiplication check