binius_core::protocols::zerocheck

Function validate_witness

source 
pub fn validate_witness<F, PW, W>(
    claim: &ZerocheckClaim<F>,
    witness: W,
) -> Result<(), Error>
where
    F: Field,
    PW: PackedField,
    W: AbstractSumcheckWitness<PW, MultilinearId = OracleId>,