Struct BitAndLooker

pub struct BitAndLooker {
    pub in_a: Col<B8>,
    pub in_b: Col<B8>,
    /* private fields */
}

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.

Fields

in_a: Col<B8>

Input column A (8 bits)

in_b: Col<B8>

Input column B (8 bits)

Implementations

impl BitAndLooker

pub fn new(table: &mut TableBuilder<'_>, lookup_chan: ChannelId) -> Self

Constructs a new AND looker, registering columns in the table.

pub fn populate<'a>( &self, witness: &'a mut TableWitnessSegment<'_>, inputs: impl Iterator<Item = &'a (u8, u8)> + Clone, ) -> Result<()>

Populates the witness segment for a sequence of (in_a, in_b) events.