From b9265ccf0e1a0e9845e2a0f593bd590639aa0f90 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Thu, 16 Jun 2022 02:15:40 +0200
Subject: [PATCH] Sanity check

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

diff --git a/evm/src/cross_table_lookup.rs b/evm/src/cross_table_lookup.rs
index ff6c2a3d..e80e5b29 100644
--- a/evm/src/cross_table_lookup.rs
+++ b/evm/src/cross_table_lookup.rs
@@ -585,6 +585,7 @@ pub(crate) fn verify_cross_table_lookups<
             );
         }
     }
+    debug_assert!(ctl_zs_openings.iter_mut().all(|iter| iter.next().is_none()));
 
     Ok(())
 }
@@ -646,4 +647,5 @@ pub(crate) fn verify_cross_table_lookups_circuit<
             }
         }
     }
+    debug_assert!(ctl_zs_openings.iter_mut().all(|iter| iter.next().is_none()));
 }