Function validate_sumcheck_witness

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