fix: add more verbose panic

zkonduit · Feb 26, 2024 · 4d7e6dd · 4d7e6dd
1 parent fe7522c
commit 4d7e6dd
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/halo2_proofs/src/poly/domain.rs b/halo2_proofs/src/poly/domain.rs
@@ -52,7 +52,15 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
         }
 
         // ensure extended_k <= S
-        assert!(extended_k <= F::S);
+        assert!(
+            extended_k <= F::S,
+            "extended_k ({}, k={}, j={}) with degree ({}) must be <= S ({}), the size of the field",
+            extended_k,
+            k,
+            j,
+            n * quotient_poly_degree,
+            F::S
+        );
 
         let mut extended_omega = F::ROOT_OF_UNITY;