ensure extended_k <= S

zcash · Aug 21, 2023 · 15fd313 · 15fd313
1 parent f9838c1
commit 15fd313
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/halo2_proofs/src/poly/domain.rs b/halo2_proofs/src/poly/domain.rs
@@ -52,6 +52,9 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
             extended_k += 1;
         }
 
+        // ensure extended_k <= S
+        assert!(extended_k <= F::S);
+
         let mut extended_omega = F::ROOT_OF_UNITY;
 
         // Get extended_omega, the 2^{extended_k}'th root of unity