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