Struct BitAndLookup

pub struct BitAndLookup {
    pub table_id: TableId,
    /* private fields */
}

A gadget that computes the logical AND of two boolean columns using a lookup table.

This struct holds columns for an 8-bit AND operation where:

• entries_ordered is the fixed column containing all possible AND table entries
• entries_sorted is a committed column for sorted entries
• lookup_producer manages lookup multiplicities and constraints

Fields

table_id: TableId

The table ID

Implementations

impl BitAndLookup

pub fn new( table: &mut TableBuilder<'_>, chan: ChannelId, permutation_chan: ChannelId, n_multiplicity_bits: usize, ) -> Self

Constructs a new AND lookup table.

Arguments

• table - The table builder.
• chan - The lookup channel.
• permutation_chan - The channel for permutation checks.
• n_multiplicity_bits - Number of bits for multiplicity.

Trait Implementations

impl TableFiller for BitAndLookup

Implements filling for the AND lookup table.

type Event = (usize, u32)

A struct that specifies the row contents.

fn id(&self) -> TableId

Returns the table ID.

fn fill( &self, rows: &[Self::Event], witness: &mut TableWitnessSegment<'_>, ) -> Result<()>

Fill the table witness with data derived from the given rows.