Function kimchi::circuits::polynomials::and::extend_and_witness

pub fn extend_and_witness<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    input1: F,
    input2: F,
    bytes: usize
)

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