chore: add assert for query_cell_at_pos (#50)

axiom-crypto · May 23, 2023 · ae152e0 · ae152e0
1 parent 7f429a4
commit ae152e0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/hashes/zkevm-keccak/src/keccak_packed_multi.rs b/hashes/zkevm-keccak/src/keccak_packed_multi.rs
@@ -285,6 +285,7 @@ impl<F: FieldExt> CellManager<F> {
         let column = if column_idx < self.columns.len() {
             self.columns[column_idx].advice
         } else {
+            assert!(column_idx == self.columns.len());
             let advice = meta.advice_column();
             let mut expr = 0.expr();
             meta.create_gate("Query column", |meta| {