binius_core::protocols::evalcheck::subclaims

Function calculate_projected_mles

Source 
pub fn calculate_projected_mles<U, F, Backend>(
    metas: &[ProjectedBivariateMeta],
    memoized_queries: &mut MemoizedQueries<PackedType<U, F>, Backend>,
    projected_bivariate_claims: &[EvalcheckMultilinearClaim<F>],
    witness_index: &MultilinearExtensionIndex<'_, U, F>,
    backend: &Backend,
) -> Result<Vec<Option<MultilinearExtension<PackedType<U, F>>>>, Error>
where
    U: UnderlierType + PackScalar<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