From 4d7e6ddac661283e2b73c551b2e8f0011cedd50f Mon Sep 17 00:00:00 2001
From: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>
Date: Mon, 26 Feb 2024 15:14:37 +0000
Subject: [PATCH] fix: add more verbose panic

---
 halo2_proofs/src/poly/domain.rs | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/halo2_proofs/src/poly/domain.rs b/halo2_proofs/src/poly/domain.rs
index ae9b8bf9ae..3bf12643c6 100644
--- 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;