Structs§
- XorBus
- Represents a bus for
(x, y, x ^ y)identified by a unique bus index (usize). - XorBus
Interaction - XorLookup
Air - Xor via preprocessed lookup table. Can only be used if inputs have less than approximately 10-bits.
- XorLookup
Chip - This chip gets requests to compute the xor of two numbers x and y of at most M bits. It generates a preprocessed table with a row for each possible triple (x, y, x^y) and keeps count of the number of times each triple is requested for the single main trace column.
- XorLookup
Cols - Columns for the main trace of the XOR lookup
- XorLookup
Preprocessed Cols - Columns for the preprocessed table of the XOR lookup