Trait CrtGadgets 

pub trait CrtGadgets: BundleGadgets + FancyEncode {
    // Provided methods
    fn crt_encode(
        &mut self,
        value: u128,
        modulus: u128,
        channel: &mut Channel<'_>,
    ) -> Result<CrtBundle<Self::Item>> { ... }
    fn crt_receive(
        &mut self,
        modulus: u128,
        channel: &mut Channel<'_>,
    ) -> Result<CrtBundle<Self::Item>> { ... }
    fn crt_encode_many(
        &mut self,
        values: &[u128],
        modulus: u128,
        channel: &mut Channel<'_>,
    ) -> Result<Vec<CrtBundle<Self::Item>>> { ... }
    fn crt_receive_many(
        &mut self,
        n: usize,
        modulus: u128,
        channel: &mut Channel<'_>,
    ) -> Result<Vec<CrtBundle<Self::Item>>> { ... }
    fn crt_output(
        &mut self,
        x: &CrtBundle<Self::Item>,
        channel: &mut Channel<'_>,
    ) -> Result<Option<u128>> { ... }
    fn crt_outputs(
        &mut self,
        xs: &[CrtBundle<Self::Item>],
        channel: &mut Channel<'_>,
    ) -> Result<Option<Vec<u128>>> { ... }
}

Extension trait for Fancy providing advanced CRT gadgets based on bundles of wires.

Provided Methods

fn crt_encode( &mut self, value: u128, modulus: u128, channel: &mut Channel<'_>, ) -> Result<CrtBundle<Self::Item>>

Encode a CRT input bundle.

fn crt_receive( &mut self, modulus: u128, channel: &mut Channel<'_>, ) -> Result<CrtBundle<Self::Item>>

Receive an CRT input bundle.

fn crt_encode_many( &mut self, values: &[u128], modulus: u128, channel: &mut Channel<'_>, ) -> Result<Vec<CrtBundle<Self::Item>>>

Encode many CRT input bundles.

fn crt_receive_many( &mut self, n: usize, modulus: u128, channel: &mut Channel<'_>, ) -> Result<Vec<CrtBundle<Self::Item>>>

Receive many CRT input bundles.

fn crt_output( &mut self, x: &CrtBundle<Self::Item>, channel: &mut Channel<'_>, ) -> Result<Option<u128>>

Output a CRT bundle and interpret it mod Q.

fn crt_outputs( &mut self, xs: &[CrtBundle<Self::Item>], channel: &mut Channel<'_>, ) -> Result<Option<Vec<u128>>>

Output a slice of CRT bundles and interpret the outputs mod Q.

Implementors

impl<F: FancyArithmetic + FancyBinary + FancyEncode + FancyOutput> CrtGadgets for F