Function validate_sumcheck_witness

pub fn validate_sumcheck_witness<'a, F, P, M, Hal: ComputeLayer<F>>(
    committed_multilins: &[M],
    transparent_multilins: &[FSlice<'a, F, Hal>],
    claims: &[PIOPSumcheckClaim<F>],
    hal: &Hal,
) -> Result<(), Error>
where
    F: TowerField,
    P: PackedField<Scalar = F>,
    M: MultilinearPoly<P> + Send + Sync,