Merge 15fd313eef into 81729eca91

ensure extended_k <= S
2024-02-10 11:26:29 -07:00 · 2023-08-21 22:10:20 +08:00
1 changed files with 3 additions and 0 deletions
--- 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
Author	SHA1	Message	Date
zhiqiangxu	a702a35cd5	Merge `15fd313eef` into `81729eca91`	2024-02-10 11:26:29 -07:00
zhiqiangxu	15fd313eef	ensure extended_k <= S	2023-08-21 22:10:20 +08:00