pub fn bus_sum_row<F: TowerField + HardwareField>(
endpoints: &[(u32, Flat<F>)],
) -> AffineRow<F>Expand description
Σ claimed_sum = 0 over one bus id:
(pad, masked sum) per endpoint.
pub fn bus_sum_row<F: TowerField + HardwareField>(
endpoints: &[(u32, Flat<F>)],
) -> AffineRow<F>Σ claimed_sum = 0 over one bus id:
(pad, masked sum) per endpoint.