Trait ArithmeticProjBundleGadgets 

pub trait ArithmeticProjBundleGadgets: FancyArithmetic + FancyProj {
    // Provided methods
    fn mixed_radix_addition(
        &mut self,
        xs: &[Bundle<Self::Item>],
        channel: &mut Channel<'_>,
    ) -> Result<Bundle<Self::Item>> { ... }
    fn mixed_radix_addition_msb_only(
        &mut self,
        xs: &[Bundle<Self::Item>],
        channel: &mut Channel<'_>,
    ) -> Result<Self::Item> { ... }
    fn eq_bundles(
        &mut self,
        x: &Bundle<Self::Item>,
        y: &Bundle<Self::Item>,
        channel: &mut Channel<'_>,
    ) -> Result<Self::Item> { ... }
}

Arithmetic operations on wire bundles that utilize projection gates.

Provided Methods

fn mixed_radix_addition( &mut self, xs: &[Bundle<Self::Item>], channel: &mut Channel<'_>, ) -> Result<Bundle<Self::Item>>

Mixed radix addition.

Panics

Panics if xs is empty, or the moduli in xs are not all equal.

fn mixed_radix_addition_msb_only( &mut self, xs: &[Bundle<Self::Item>], channel: &mut Channel<'_>, ) -> Result<Self::Item>

Mixed radix addition only returning the MSB.

Panics

Panics if xs is empty, or the moduli in xs are not all equal.

fn eq_bundles( &mut self, x: &Bundle<Self::Item>, y: &Bundle<Self::Item>, channel: &mut Channel<'_>, ) -> Result<Self::Item>

Compute x == y. Returns a wire encoding the result mod 2.

Panics

Panics if x and y do not have equal moduli.

Implementors

impl<F: FancyArithmetic + FancyProj> ArithmeticProjBundleGadgets for F