Function kimchi::circuits::polynomials::and::create_and_witness
source · pub fn create_and_witness<F: PrimeField>(
input1: F,
input2: F,
bytes: usize
) -> [Vec<F>; 15]
Expand description
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