pub fn eval_final_row<F: TowerField + HardwareField>(
mask_form: &[(Unknown, Flat<F>)],
claim_masked: Flat<F>,
fin: Flat<F>,
) -> AffineRow<F>Expand description
claim_n = fin for an eval sumcheck: fin is public,
claim_n is the masked running claim minus its form.