diff --git a/halo2_proofs/src/plonk/permutation/prover.rs b/halo2_proofs/src/plonk/permutation/prover.rs index 7e72378b..a417428d 100644 --- a/halo2_proofs/src/plonk/permutation/prover.rs +++ b/halo2_proofs/src/plonk/permutation/prover.rs @@ -128,7 +128,7 @@ impl Argument { Any::Instance => instance, }; parallelize(&mut modified_values, |modified_values, start| { - let mut deltaomega = deltaomega * &omega.pow_vartime([start as u64, 0, 0, 0]); + let mut deltaomega = deltaomega * &omega.pow_vartime([start as u64]); for (modified_values, value) in modified_values .iter_mut() .zip(values[column.index()][start..].iter()) diff --git a/halo2_proofs/src/poly/commitment.rs b/halo2_proofs/src/poly/commitment.rs index b10a2528..0f2be881 100644 --- a/halo2_proofs/src/poly/commitment.rs +++ b/halo2_proofs/src/poly/commitment.rs @@ -80,7 +80,7 @@ impl Params { } let mut g_lagrange_projective = g_projective; best_fft(&mut g_lagrange_projective, alpha_inv, k); - let minv = C::Scalar::TWO_INV.pow_vartime([k as u64, 0, 0, 0]); + let minv = C::Scalar::TWO_INV.pow_vartime([k as u64]); parallelize(&mut g_lagrange_projective, |g, _| { for g in g.iter_mut() { *g *= minv; diff --git a/halo2_proofs/src/poly/domain.rs b/halo2_proofs/src/poly/domain.rs index fb76af65..34ec8227 100644 --- a/halo2_proofs/src/poly/domain.rs +++ b/halo2_proofs/src/poly/domain.rs @@ -86,8 +86,8 @@ impl> EvaluationDomain { { // Compute the evaluations of t(X) = X^n - 1 in the coset evaluation domain. // We don't have to compute all of them, because it will repeat. - let orig = F::ZETA.pow_vartime([n, 0, 0, 0]); - let step = extended_omega.pow_vartime([n, 0, 0, 0]); + let orig = F::ZETA.pow_vartime([n]); + let step = extended_omega.pow_vartime([n]); let mut cur = orig; loop { t_evaluations.push(cur);