Module kimchi::circuits::polynomials::and

source ·
Expand description

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