Update halo2_proofs/src/poly/kzg/commitment.rs

Co-authored-by: Han <[email protected]>
privacy-scaling-explorations · Sep 20, 2023 · 80b4a03 · 80b4a03
1 parent 8458569
commit 80b4a03
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/halo2_proofs/src/poly/kzg/commitment.rs b/halo2_proofs/src/poly/kzg/commitment.rs
@@ -88,7 +88,10 @@ where
         };
 
         let mut g_lagrange_projective = vec![E::G1::identity(); n as usize];
-        let root = E::Scalar::ROOT_OF_UNITY.pow_vartime([1 << (E::Scalar::S - k)]);
+        let mut root = E::Scalar::ROOT_OF_UNITY;
+        for _ in k..E::Scalar::S {
+             root = root.square();
+         }
         let n_inv = E::Scalar::from(n)
             .invert()
             .expect("inversion should be ok for n = 1<<k");