Struct ocelot::edabits::FComProver

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

F_com protocol for the Prover

Implementations

impl<FE: FiniteField> FComProver<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 random<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG ) -> Result<MacProver<FE>, Error>

Returns a random mac.

pub fn input<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, x: &[FE::PrimeField] ) -> Result<Vec<FE>, Error>

Input a slice of values and returns a vector of its macs.

pub fn input_low_level<C: AbstractChannel, RNG: CryptoRng + Rng>( &mut self, channel: &mut C, rng: &mut RNG, x: &[FE::PrimeField], out: &mut Vec<FE> ) -> Result<(), Error>

lower level implementation of input with pre-defined out vector.

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

Input a single value and returns its mac.

pub fn affine_add_cst( &self, cst: FE::PrimeField, x: MacProver<FE> ) -> MacProver<FE>

Add a constant to a Mac.

pub fn affine_mult_cst( &self, cst: FE::PrimeField, x: MacProver<FE> ) -> MacProver<FE>

Multiply by a constant a Mac.

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

Add two Macs.

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

Negative Mac.

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

Subtraction of two Macs.

pub fn check_zero<C: AbstractChannel>( &mut self, channel: &mut C, x_mac_batch: &[MacProver<FE>] ) -> Result<(), Error>

Check that a batch of Macs are zero.

pub fn open<C: AbstractChannel>( &mut self, channel: &mut C, batch: &[MacProver<FE>] ) -> Result<(), Error>

Open Macs.

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

Quicksilver multiplication check.

pub fn wolverine_check_multiply<C: AbstractChannel>( &mut self, channel: &mut C, triples: &[(MacProver<FE>, MacProver<FE>, MacProver<FE>)], aux: &[(MacProver<FE>, MacProver<FE>, MacProver<FE>)] ) -> Result<(), Error>

Wolverine multiplication check.