binius_core::protocols::evalcheck::subclaims

Function collect_projected_mles

Source 
pub fn collect_projected_mles<F, P>(
    metas: &[ProjectedBivariateMeta],
    memoized_queries: &mut MemoizedData<'_, P>,
    projected_bivariate_claims: &[EvalcheckMultilinearClaim<F>],
    oracles: &MultilinearOracleSet<F>,
    witness_index: &MultilinearExtensionIndex<'_, P>,
    partial_evals: &mut EvalPointOracleIdMap<MultilinearExtension<P>, F>,
) -> Result<(), Error>
where
    P: PackedField<Scalar = F>,
    F: TowerField,
Expand description

shifted / packed oracle compute the projected MLE (i.e. the inner oracle evaluated on the projected eval_point)