pub fn sumcheck_mask_form<F: TowerField + HardwareField>(
initial: &[(Unknown, Flat<F>)],
round_pads: &[&[u32]],
challenges: &[Flat<F>],
degree: usize,
) -> Vec<(Unknown, Flat<F>)>Expand description
Pad form of claim'_n - claim_n for a sumcheck whose
replay reconstructs p'_0 = claim' - p'_1 each round:
entries of round i carry Π_{j>i} L_0(r_j).