Function consume 

fn consume<F: FieldWitness>(
    params: ConsumeParams<'_, F>,
    w: &mut Witness<F>,
) -> [F; 3]