Skip to content

Commit

Permalink
pow_vartime([n, 0, 0, 0] => pow_vartime([n]
Browse files Browse the repository at this point in the history
  • Loading branch information
zhiqiangxu committed Aug 22, 2023
1 parent f9838c1 commit ba69850
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion halo2_proofs/src/plonk/permutation/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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())
Expand Down
2 changes: 1 addition & 1 deletion halo2_proofs/src/poly/commitment.rs
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ impl<C: CurveAffine> Params<C> {
}
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;
Expand Down
4 changes: 2 additions & 2 deletions halo2_proofs/src/poly/domain.rs
Original file line number Diff line number Diff line change
Expand Up @@ -86,8 +86,8 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
{
// 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);
Expand Down

0 comments on commit ba69850

Please sign in to comment.