Struct MultipointEvalFamilyInputs 

pub struct MultipointEvalFamilyInputs<'a, C: SetConfig> {
    pub field_cfg: &'a C,
    pub trace_mles: &'a [DenseMultilinearExtension<C::Element>],
    pub bit_op_mles: &'a [DenseMultilinearExtension<C::Element>],
    pub eval_point: &'a [C::Element],
    pub up_evals: &'a [C::Element],
    pub bit_op_evals: &'a [C::Element],
    pub down_evals: &'a [C::Element],
}

Per-family inputs to the lockstep multi-point evaluation protocol, those that aren’t shared between families.

All families share the same shifts (UAIR-static), the same column counts, and the same num_vars. They differ only in (a) the field config they operate over and (b) the per-family field-projected trace_mles, bit-op virtual MLEs, eval_point, up_evals, and down_evals.

Fields

field_cfg: &'a C

Field configuration for this family.

trace_mles: &'a [DenseMultilinearExtension<C::Element>]

Trace MLEs for this family (projected into this family’s field).

bit_op_mles: &'a [DenseMultilinearExtension<C::Element>]

Bit-op virtual MLEs for this family (projected into this family’s field).

eval_point: &'a [C::Element]

Evaluation point $r^\star$ for this family.

up_evals: &'a [C::Element]

up_eval_j = v_j(r*) for every column $j$, in this family’s field.

bit_op_evals: &'a [C::Element]

bit_op_eval_l = bit_op_l(r*) for every bit-op virtual column $l$, in this family’s field.

down_evals: &'a [C::Element]

down_eval_k = v_{src_k}^{<<c_k}(r*) for every shift $k$, in this family’s field.