mirror of https://github.com/zcash/halo2.git
Merge 15fd313eef
into 7df93fd855
This commit is contained in:
commit
37c4457b7b
|
@ -52,6 +52,9 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
|
||||||
extended_k += 1;
|
extended_k += 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// ensure extended_k <= S
|
||||||
|
assert!(extended_k <= F::S);
|
||||||
|
|
||||||
let mut extended_omega = F::ROOT_OF_UNITY;
|
let mut extended_omega = F::ROOT_OF_UNITY;
|
||||||
|
|
||||||
// Get extended_omega, the 2^{extended_k}'th root of unity
|
// Get extended_omega, the 2^{extended_k}'th root of unity
|
||||||
|
|
Loading…
Reference in New Issue