Function kimchi::circuits::polynomials::not::extend_not_witness_unchecked_length

pub fn extend_not_witness_unchecked_length<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    inputs: &[F],
    bits: usize
) -> Result<(), String>

Extends negation witnesses from generic gate, assuming the input witness already contains public input rows holding the 2^bits-1 value. Input: a vector of words to be negated, and the number of bits (all the same) Returns error if the bits length is too small for the inputs Warning: Set public input of bits in public generic gate Note: witness[0][pub] = 2^bits - 1