From 80b4a039ad8012b4a78e90b6fd4dadf9c46ca437 Mon Sep 17 00:00:00 2001 From: Chiro Hiro Date: Wed, 20 Sep 2023 16:18:33 +0700 Subject: [PATCH] Update halo2_proofs/src/poly/kzg/commitment.rs Co-authored-by: Han --- halo2_proofs/src/poly/kzg/commitment.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/halo2_proofs/src/poly/kzg/commitment.rs b/halo2_proofs/src/poly/kzg/commitment.rs index c88f35f05d..2eed21276d 100644 --- 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<