Function binius_core::protocols::zerocheck::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>,