pub fn build_bit_op_virtual_mle<C, const D: usize>(
trace: &ProjectedTrace<C::Element>,
spec: &BitOpSpec,
projecting_element: &C::Element,
field_cfg: &C,
) -> DenseMultilinearExtension<C::Element>where
C: FieldConfig,Expand description
Build the projected MLE of a bit-op virtual column.
The bit operation is applied to each source cell’s coefficients before
evaluating the cell at projecting_element.