Trait gadgets::less_than::LtInstruction

pub trait LtInstruction<F: Field> {
    // Required methods
    fn assign(
        &self,
        region: &mut Region<'_, F>,
        offset: usize,
        lhs: Value<F>,
        rhs: Value<F>
    ) -> Result<(), Error>;
    fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error>;
}

Instruction that the Lt chip needs to implement.

Required Methods

fn assign( &self, region: &mut Region<'_, F>, offset: usize, lhs: Value<F>, rhs: Value<F> ) -> Result<(), Error>

Assign the lhs and rhs witnesses to the Lt chip’s region.

fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error>

Load the u8 lookup table.

Object Safety

This trait is not object safe.

Implementors

impl<F: Field, const N_BYTES: usize> LtInstruction<F> for LtChip<F, N_BYTES>