zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

pow_vartime([n, 0, 0, 0] => pow_vartime([n]

This commit is contained in:
zhiqiangxu 2023-08-22 10:04:12 +08:00
parent f9838c127e
commit ba69850d4e
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
halo2_proofs/src/plonk/permutation/prover.rs
View File

@ -128,7 +128,7 @@ impl Argument {
Any::Instance => instance, Any::Instance => instance,
}; };
parallelize(&mut modified_values, |modified_values, start| { 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 for (modified_values, value) in modified_values
.iter_mut() .iter_mut()
.zip(values[column.index()][start..].iter()) .zip(values[column.index()][start..].iter())

2
halo2_proofs/src/poly/commitment.rs
View File

@ -80,7 +80,7 @@ impl<C: CurveAffine> Params<C> {
} }
let mut g_lagrange_projective = g_projective; let mut g_lagrange_projective = g_projective;
best_fft(&mut g_lagrange_projective, alpha_inv, k); 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, _| { parallelize(&mut g_lagrange_projective, |g, _| {
for g in g.iter_mut() { for g in g.iter_mut() {
*g *= minv; *g *= minv;

4
halo2_proofs/src/poly/domain.rs
View File

@ -86,8 +86,8 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
{ {
// Compute the evaluations of t(X) = X^n - 1 in the coset evaluation domain. // 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. // We don't have to compute all of them, because it will repeat.
let orig = F::ZETA.pow_vartime([n, 0, 0, 0]); let orig = F::ZETA.pow_vartime([n]);
let step = extended_omega.pow_vartime([n, 0, 0, 0]); let step = extended_omega.pow_vartime([n]);
let mut cur = orig; let mut cur = orig;
loop { loop {
t_evaluations.push(cur); t_evaluations.push(cur);