Module and

Source

Structs§

BitAnd
BitAndIndexedLookup
Internal struct for indexed lookup logic for AND operations.
BitAndLooker
The 2 columns that are the inputs to the AND operation, and the gadget exposes an output column that corresponds to the bitwise AND of the two inputs.
BitAndLookup
A gadget that computes the logical AND of two boolean columns using a lookup table.

Functions§

bitand_circuit
Returns an arithmetic expression that represents the bitwise-AND operation as a lookup circuit. The circuit encodes input A, input B, and output into a single value.
merge_and_columns
Merges the input and output columns into a single B32 column for lookup.
merge_bitand_vals
Merges the input and output values into a single u32 for lookup.