binius_core::protocols::v2::greedy_evalcheck_v2

Function verify

source 
pub fn verify<F, Challenger>(
    oracles: &mut MultilinearOracleSet<F>,
    claims: impl IntoIterator<Item = EvalcheckMultilinearClaim<F>>,
    proof: GreedyEvalcheckProof<F>,
    challenger: Challenger,
) -> Result<Vec<(BatchId, SameQueryPcsClaim<F>)>, Error>
where
    F: TowerField,
    Challenger: CanObserve<F> + CanSample<F>,