Skip to main content

build_bit_op_virtual_mle

Function build_bit_op_virtual_mle 

Source
pub fn build_bit_op_virtual_mle<F: PrimeField + 'static, const D: usize>(
    trace: &ProjectedTrace<F>,
    spec: &BitOpSpec,
    projecting_element: &F,
    field_cfg: &F::Config,
) -> DenseMultilinearExtension<F::Inner>
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.