openvm_circuit_primitives

Module assert_less_than

Source

Structsยง

  • AssertLessThanIo
    The IO is typically provided with T = AB::Expr as external context.
  • AssertLtSubAir
    This is intended for use as a SubAir, not as a standalone Air.
  • AssertLtWhenTransitionAir
    The same subair as AssertLtSubAir except that non-range check constraints are not imposed on the last row. Intended use case is for asserting less than between entries in adjacent rows.
  • LessThanAuxCols
    These columns are owned by the SubAir. Typically used with T = AB::Var. AUX_LEN is the number of AUX columns we have that AUX_LEN = max_bits.div_ceil(bus.range_max_bits)