Method push_auxiliary

crates/aiur/src/trace.rs:53–56

(&mut self, index: &mut ColumnIndex, t: G)

  let sum: u128 = values.iter().map(|x| u128::from(*x)).sum();
  let word = u32::try_from(sum & 0xFFFF_FFFF).expect("masked to 32 bits");
  let carry = u64::try_from(sum >> 32).expect("sum of u32 words fits in u64");
  (word.to_le_bytes().map(|b| G::from_u64(b.into())), G::from_u64(carry))
}

impl<'a, 'b> ColumnMutSlice<'a, 'b> {
  fn from_slice(
    function: &Function,