Function prefix_sum_checks 

pub fn prefix_sum_checks<F: AbstractField>(
    mults: Vec<u32>,
    field_mults: Vec<u32>,
    x1: Vec<F>,
    x2: Vec<F>,
    zero: F,
    one: F,
    accs: Vec<F>,
    field_accs: Vec<F>,
) -> Instruction<F>