binius_core::protocols::greedy_evalcheck

Function verify

Source 
pub fn verify<F, Challenger_>(
    oracles: &mut MultilinearOracleSet<F>,
    claims: impl IntoIterator<Item = EvalcheckMultilinearClaim<F>>,
    transcript: &mut VerifierTranscript<Challenger_>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>
where
    F: TowerField,
    Challenger_: Challenger,