single_bit_witness

kimchi::circuits::polynomials::varbasemul

Function single_bit_witness 

Source 
fn single_bit_witness<F: FftField>(
    w: &mut [Vec<F>; 15],
    row: usize,
    b: Variable<Column>,
    base: &Point<Variable<Column>>,
    s1: Variable<Column>,
    input: &Point<Variable<Column>>,
    output: &Point<Variable<Column>>,
    b_value: F,
    base_value: (F, F),
    input_value: (F, F),
) -> (F, F)