binius_core::protocols::evalcheck::subclaims

Function calculate_projected_mles

Source 
pub fn calculate_projected_mles<F, P, Backend>(
    metas: &[ProjectedBivariateMeta],
    memoized_queries: &mut MemoizedData<'_, P, Backend>,
    projected_bivariate_claims: &[EvalcheckMultilinearClaim<F>],
    witness_index: &MultilinearExtensionIndex<'_, P>,
    backend: &Backend,
) -> Result<Vec<Option<MultilinearExtension<P>>>, Error>
where
    P: PackedField<Scalar = F>,
    F: TowerField,
    Backend: ComputationBackend,
Expand description

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