binius_core::protocols::zerocheck

Function verify

source 
pub fn verify<F, CH>(
    claim: &ZerocheckClaim<F>,
    proof: ZerocheckProof<F>,
    challenger: CH,
) -> Result<EvalcheckClaim<F>, Error>
where
    F: TowerField,
    CH: CanSample<F> + CanObserve<F>,
Expand description

Verify a zerocheck to evalcheck reduction.