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>,