binius_core::protocols::gkr_gpa

Function make_eval_claims

Source 
pub fn make_eval_claims<F: TowerField>(
    metas: impl IntoIterator<Item = OracleId>,
    final_layer_claims: impl IntoIterator<IntoIter: ExactSizeIterator<Item = LayerClaim<F>>>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>