From f36c012e9c3cde792f4f643f11036abf6fa6b07f Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Tue, 7 Jun 2022 23:37:35 +0200
Subject: [PATCH] Checks

---
 evm/src/cross_table_lookup.rs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/evm/src/cross_table_lookup.rs b/evm/src/cross_table_lookup.rs
index 83c0bc9f..163ad363 100644
--- a/evm/src/cross_table_lookup.rs
+++ b/evm/src/cross_table_lookup.rs
@@ -26,7 +26,7 @@ use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars};
 pub struct TableWithColumns {
     table: Table,
     columns: Vec<usize>,
-    /// Vector of columns `{c_1,...,c_k}` used as a filter using the sum `c_1 + ... + c_k`.
+    /// Vector of columns `[c_1,...,c_k]` used as a filter using the sum `c_1 + ... + c_k`.
     /// An empty vector corresponds to no filter.
     filter_columns: Vec<usize>,
 }
@@ -63,6 +63,13 @@ impl<F: Field> CrossTableLookup<F> {
         assert!(looking_tables
             .iter()
             .all(|twc| twc.columns.len() == looked_table.columns.len()));
+        assert!(
+            looking_tables
+                .iter()
+                .all(|twc| twc.filter_columns.is_empty())
+                == default.is_some()
+                && default.is_some() == looked_table.filter_columns.is_empty()
+        );
         Self {
             looking_tables,
             looked_table,