logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 16:23:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

2 collects -> 1 collect

Browse Source
This commit is contained in:
wborgeaud 2021-06-23 11:33:50 +02:00
parent 01053ab96a
commit 26e669ddec
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/fri/verifier.rs
View File

@ -168,19 +168,18 @@ fn fri_combine_initial<F: Field + Extendable<D>, const D: usize>(
]
.iter()
.flat_map(|&p| proof.unsalted_evals(p))
.map(|&e| F::Extension::from_basefield(e))
.collect::<Vec<_>>();
.map(|&e| F::Extension::from_basefield(e));
let single_openings = os
.constants
.iter()
.chain(&os.plonk_s_sigmas)
.chain(&os.quotient_polys)
.collect::<Vec<_>>();
.chain(&os.quotient_polys);
let single_diffs = single_evals
.into_iter()
.zip(single_openings)
.map(|(e, &o)| e - o);
let single_numerator = alpha.reduce(single_diffs);
.map(|(e, &o)| e - o)
.collect::<Vec<_>>();
let single_numerator = alpha.reduce(single_diffs.iter());
let single_denominator = subgroup_x - zeta;
sum += single_numerator / single_denominator;
alpha.reset();