Expand description
A chip which uses preprocessed trace to provide a lookup table for range checking
a variable x has b bits where b can be any integer in [0, range_max_bits].
In other words, the same chip can be used to range check for different bit sizes.
We define 0 to have 0 bits.
Structs§
- Shared
Variable Range Checker Chip - Variable
Range Checker Air - Variable
Range Checker Bus - Variable
Range Checker BusInteraction - Variable
Range Checker Chip - Variable
Range Cols - Variable
Range Preprocessed Cols