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<MultilinearExtension<PackedType<U, F>>>, Error>