Function binius_core::protocols::sumcheck::validate_witness
source · 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>,