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

Use Horner's rule in eval_polynomial()

This commit is contained in:
therealyingtong 2021-05-28 00:32:18 +08:00
parent d62afb19ac
commit ea1af2c9c8
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/arithmetic.rs
View File

@ -304,13 +304,7 @@ fn parallel_fft<G: Group>(a: &mut [G], omega: G::Scalar, log_n: u32, log_cpus: u
/// This evaluates a provided polynomial (in coefficient form) at `point`.
pub fn eval_polynomial<F: Field>(poly: &[F], point: F) -> F {
// TODO: parallelize?
let mut acc = F::zero();
let mut cur = F::one();
for coeff in poly {
acc += &(cur * coeff);
cur *= &point;
}
acc
poly.iter().rev().fold(F::zero(), |acc, coeff| acc * point + coeff)
}
/// This computes the inner product of two vectors `a` and `b`.