binius_core::protocols::evalcheck::subclaims

Function fill_eq_witness_for_composites

Source 
pub fn fill_eq_witness_for_composites<U, F, Backend>(
    metas: &[ProjectedBivariateMeta],
    memoized_queries: &mut MemoizedQueries<PackedType<U, F>, Backend>,
    projected_bivariate_claims: &[EvalcheckMultilinearClaim<F>],
    witness_index: &mut MultilinearExtensionIndex<'_, U, F>,
    backend: &Backend,
) -> Result<(), Error>
where
    U: UnderlierType + PackScalar<F>,
    F: TowerField,
    Backend: ComputationBackend,
Expand description

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