binius_core::protocols::evalcheck::subclaims

Function fill_eq_witness_for_composites

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

Each composite oracle induces a new eq oracle, for which we need to fill the witness