kimchi::circuits::polynomials::xor

Function create_xor_witness

Source 
pub fn create_xor_witness<F: PrimeField>(
    input1: F,
    input2: F,
    bits: usize,
) -> [Vec<F>; 15]
Expand description

Create a Xor for up to the native length starting at row 0 Input: first input and second input, bits length, current row Panics if the desired bits is smaller than the inputs length