Skip to main content

validate_fixed_columns

hekate_program

Function validate_fixed_columns 

Source 
pub fn validate_fixed_columns<F: TowerField>(
    fixed: &[FixedColumn<F>],
    layout: &[ColumnType],
    num_vars: Option<usize>,
) -> Result<()>
Expand description

Rejects out-of-range col_idx, duplicate pins, malformed shapes, and out-of-domain values (Bit columns require values in {0, 1}).