diff --git a/slop/crates/jagged/src/verifier.rs b/slop/crates/jagged/src/verifier.rs
index 9f618b09d7..6c34e2f1f1 100644
--- a/slop/crates/jagged/src/verifier.rs
+++ b/slop/crates/jagged/src/verifier.rs
@@ -125,6 +125,11 @@ impl<GC: IopCtx, Verifier: MultilinearPcsVerifier<GC>> JaggedPcsVerifier<GC, Ver
             log_m,
         } = proof;
 
+        // Each round must have at least one table committed to.
+        if row_counts_and_column_counts.iter().any(|rc_cc| rc_cc.is_empty()) {
+            return Err(JaggedPcsVerifierError::IncorrectShape);
+        }
+
         let PrefixSumsMaxLogRowCount {
             row_counts,
             column_counts,