Module miden_core::range
source · Constants
The 8-bit running product column used for multiset checks.
The running product column used for verifying that the range check lookups performed in the
Stack and the Memory chiplet match the values checked in the Range Checker.
An auxiliary trace column of intermediate values used to enforce AIR constraints on
p1. It
contains the product of the lookups performed by the Stack processor at each cycle.A binary selector column to help specify whether or not the value should be included in the
running product.
A binary selector column to help specify whether or not the value should be included in the
running product.
A binary selector column to track whether a transition currently in the 8-bit or 16-bit portion
of the range checker table.
A column to hold the values being range-checked.