binius_core::protocols::evalcheck::subclaims

Function shifted_sumcheck_witness

source 
pub fn shifted_sumcheck_witness<'a, F, PW, Backend>(
    witness_index: &mut MultilinearExtensionIndex<'a, PW::Underlier, PW::Scalar>,
    memoized_queries: &mut MemoizedQueries<PW, Backend>,
    meta: ProjectedBivariateMeta,
    shifted: &Shifted<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,
Expand description

Takes in metadata object and creates a witness for a bivariate claim on shift indicator.

wf_eval_point should be isomorphic to eval_point in shifted_sumcheck_meta.