Skip to main content

build_bit_op_virtual_mle

Function build_bit_op_virtual_mle 

Source
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.