Function binius_core::protocols::evalcheck::subclaims::packed_sumcheck_witness

pub fn packed_sumcheck_witness<'a, F, PW, Backend>(
    witness_index: &mut MultilinearExtensionIndex<'a, PW::Underlier, PW::Scalar>,
    memoized_queries: &mut MemoizedQueries<PW, Backend>,
    meta: ProjectedBivariateMeta,
    packed: &Packed<F>,
    wf_eval_point: &[PW::Scalar],
    backend: Backend
) -> Result<BivariateSumcheckWitness<'a, PW>, Error>
where
    F: Field,
    PW: PackedFieldIndexable + WithUnderlier,
    PW::Scalar: TowerField,
    PW::Underlier: PackScalar<PW::Scalar, Packed = PW>,
    Backend: ComputationBackend,

Takes in metadata object and creates a witness for a bivariate claim on tower basis.

wf_eval_point should be isomorphic to eval_point in shifted_sumcheck_meta.