mirror of https://github.com/zcash/halo2.git
Compare commits
2 Commits
4d65b47852
...
45f3d57c0c
Author | SHA1 | Date |
---|---|---|
zhiqiangxu | 45f3d57c0c | |
zhiqiangxu | ba69850d4e |
|
@ -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())
|
||||
|
|
|
@ -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;
|
||||
|
|
|
@ -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);
|
||||
|
|
Loading…
Reference in New Issue