Module and

This module includes the AND gadget implementation and the witness creation code. Note that this module does not need any new gate type for the AND operation.

Functions

create_and_witness

Create a And for inputs as field elements starting at row 0 Input: first input, second input, and desired byte length Panics if the input is too large for the chosen number of bytes

extend_and_witness

Extends an AND witness to the whole witness Input: first input, second input, and desired byte length Panics if the input is too large for the chosen number of bytes

lookup_table

Get the AND lookup table