Trait FancyArithmetic

pub trait FancyArithmetic: Fancy {
    // Required methods
    fn add(
        &mut self,
        x: &Self::Item,
        y: &Self::Item,
    ) -> Result<Self::Item, Self::Error>;
    fn sub(
        &mut self,
        x: &Self::Item,
        y: &Self::Item,
    ) -> Result<Self::Item, Self::Error>;
    fn cmul(
        &mut self,
        x: &Self::Item,
        c: u16,
    ) -> Result<Self::Item, Self::Error>;
    fn mul(
        &mut self,
        x: &Self::Item,
        y: &Self::Item,
    ) -> Result<Self::Item, Self::Error>;
    fn proj(
        &mut self,
        x: &Self::Item,
        q: u16,
        tt: Option<Vec<u16>>,
    ) -> Result<Self::Item, Self::Error>;

    // Provided methods
    fn add_many(
        &mut self,
        args: &[Self::Item],
    ) -> Result<Self::Item, Self::Error> { ... }
    fn mod_change(
        &mut self,
        x: &Self::Item,
        to_modulus: u16,
    ) -> Result<Self::Item, Self::Error> { ... }
}

DSL for arithmetic computation.

Required Methods

fn add( &mut self, x: &Self::Item, y: &Self::Item, ) -> Result<Self::Item, Self::Error>

Add x and y.

fn sub( &mut self, x: &Self::Item, y: &Self::Item, ) -> Result<Self::Item, Self::Error>

Subtract x and y.

fn cmul(&mut self, x: &Self::Item, c: u16) -> Result<Self::Item, Self::Error>

Multiply x times the constant c.

fn mul( &mut self, x: &Self::Item, y: &Self::Item, ) -> Result<Self::Item, Self::Error>

Multiply x and y.

fn proj( &mut self, x: &Self::Item, q: u16, tt: Option<Vec<u16>>, ) -> Result<Self::Item, Self::Error>

Project x according to the truth table tt. Resulting wire has modulus q.

Optional tt is useful for hiding the gate from the evaluator.

Provided Methods

fn add_many(&mut self, args: &[Self::Item]) -> Result<Self::Item, Self::Error>

Sum up a slice of wires.

fn mod_change( &mut self, x: &Self::Item, to_modulus: u16, ) -> Result<Self::Item, Self::Error>

Change the modulus of x to to_modulus using a projection gate.

Implementors

impl FancyArithmetic for CircuitBuilder<ArithmeticCircuit>

impl FancyArithmetic for DepthInformer

impl FancyArithmetic for Dummy

impl<C: AbstractChannel, RNG, OT, Wire: WireLabel + ArithmeticWire> FancyArithmetic for fancy_garbling::twopac::semihonest::Evaluator<C, RNG, OT, Wire>

impl<C: AbstractChannel, RNG: CryptoRng + Rng, OT, Wire: WireLabel + ArithmeticWire> FancyArithmetic for fancy_garbling::twopac::semihonest::Garbler<C, RNG, OT, Wire>

impl<C: AbstractChannel, RNG: RngCore + CryptoRng, Wire: WireLabel + ArithmeticWire> FancyArithmetic for fancy_garbling::Garbler<C, RNG, Wire>

impl<C: AbstractChannel, Wire: WireLabel + ArithmeticWire> FancyArithmetic for fancy_garbling::Evaluator<C, Wire>

impl<F: FancyArithmetic> FancyArithmetic for Informer<F>