binius_core::protocols::gkr_gpa

Function make_eval_claims

source 
pub fn make_eval_claims<F: TowerField>(
    oracles: &MultilinearOracleSet<F>,
    metas: impl IntoIterator<Item = OracleId>,
    final_layer_claims: &[LayerClaim<F>],
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>