pub fn validate_lagrange_pins(
pins: &[LagrangePin],
num_columns: usize,
num_vars: Option<usize>,
) -> Result<()>Expand description
Rejects out-of-range col_idx, mis-sized Custom
bit vectors, and duplicate pins on the same column
(a column anchored to two distinct points is unsatisfiable).