pub fn validate_fixed_selectors<F>(
specs: &[(String, PermutationCheckSpec)],
fixed: &[FixedColumn<F>],
) -> Result<()>Expand description
A witness selector gives the prover freedom over which
rows join the bus; every selector must be None or an
overlay-pinned member of the table’s fixed_columns().