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