Function validate_witness

pub fn validate_witness<F, PW, W>(
    claim: &SumcheckClaim<F>,
    witness: W,
) -> Result<(), Error>
where
    F: Field,
    PW: PackedField<Scalar: From<F> + Into<F>>,
    W: AbstractSumcheckWitness<PW, MultilinearId = OracleId>,