Struct PmrGreaterThanOrEqual 

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

For CrtBundles x and y, output x >= y using PMR representation.

For this to work, there must be an extra modulus in the CRT that is not necessary to represent the values. This ensures that if x >= y, the most significant PMR digit is nonzero after subtracting them. You could add a prime to your CrtBundles right before using this gadget.

Implementations

impl<'a> PmrGreaterThanOrEqual<'a>

pub fn new() -> Self

Create a new PmrGreaterThanOrEqual circuit.

Trait Implementations

impl<'a, F: FancyBinary + FancyArithmetic + FancyProj> Circuit<F> for PmrGreaterThanOrEqual<'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 = <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 PmrGreaterThanOrEqual<'a>

fn default() -> PmrGreaterThanOrEqual<'a>

Returns the “default value” for a type.