Struct LessThanCoreChip

pub struct LessThanCoreChip<const NUM_LIMBS: usize, const LIMB_BITS: usize> {
    pub air: LessThanCoreAir<NUM_LIMBS, LIMB_BITS>,
    pub bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<LIMB_BITS>>,
}

Fields

air: LessThanCoreAir<NUM_LIMBS, LIMB_BITS>

bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<LIMB_BITS>>

Implementations

impl<const NUM_LIMBS: usize, const LIMB_BITS: usize> LessThanCoreChip<NUM_LIMBS, LIMB_BITS>

pub fn new( bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<LIMB_BITS>>, offset: usize, ) -> Self

Trait Implementations

impl<const NUM_LIMBS: usize, const LIMB_BITS: usize> Debug for LessThanCoreChip<NUM_LIMBS, LIMB_BITS>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: PrimeField32, I: VmAdapterInterface<F>, const NUM_LIMBS: usize, const LIMB_BITS: usize> VmCoreChip<F, I> for LessThanCoreChip<NUM_LIMBS, LIMB_BITS>

where I::Reads: Into<[[F; NUM_LIMBS]; 2]>, I::Writes: From<[[F; NUM_LIMBS]; 1]>,

type Record = LessThanCoreRecord<F, NUM_LIMBS, LIMB_BITS>

Minimum data that must be recorded to be able to generate trace for one row of PrimitiveAir.

type Air = LessThanCoreAir<NUM_LIMBS, LIMB_BITS>

The primitive AIR with main constraints that do not depend on memory and other architecture-specifics.

fn execute_instruction( &self, instruction: &Instruction<F>, _from_pc: u32, reads: I::Reads, ) -> Result<(AdapterRuntimeContext<F, I>, Self::Record)>

fn get_opcode_name(&self, opcode: usize) -> String

fn generate_trace_row(&self, row_slice: &mut [F], record: Self::Record)

Populates row_slice with values corresponding to record. The provided row_slice will have length equal to self.air().width(). This function will be called for each row in the trace which is being used, and all other rows in the trace will be filled with zeroes.

fn air(&self) -> &Self::Air

fn generate_public_values(&self) -> Vec<F>

Returns a list of public values to publish.

fn finalize(&self, _trace: &mut DenseMatrix<F>, _num_records: usize)

Finalize the trace, especially the padded rows if the all-zero rows don’t satisfy the constraints. This is done after records are consumed and the trace matrix is generated. Most implementations should just leave the default implementation if padding with rows of all 0s satisfies the constraints.