Struct Division 

pub struct Division<'a>(/* private fields */);

For CrtBundles x and y, output x / y.

The inputs are required to have an extra (unused) prime. That is, for modulus $Q = \prod_{i = 1,...,n} q_i$, plaintext inputs x and y must be modulo $Q / q_n$.

Implementations

impl<'a> Division<'a>

pub fn new() -> Self

Create a new Division circuit.

Trait Implementations

impl<'a, F: FancyBinary + FancyArithmetic + FancyProj + CrtGadgets> Circuit<F> for Division<'a>

where F::Item: 'a,

type Input = (&'a CrtBundle<<F as Fancy>::Item>, &'a CrtBundle<<F as Fancy>::Item>)

The input type of the circuit.

type Output = CrtBundle<<F as Fancy>::Item>

The output type of the circuit.

fn execute( &self, backend: &mut F, inputs: Self::Input, channel: &mut Channel<'_>, ) -> Result<Self::Output>

Execute a circuit on a given Fancy backend using the provided inputs.

impl<'a> Default for Division<'a>

fn default() -> Division<'a>

Returns the “default value” for a type.