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

Minor

Browse Source
This commit is contained in:
wborgeaud 2021-08-09 14:05:57 +02:00
parent 8e6c30dc70
commit f528835a59
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/fri/recursive_verifier.rs
View File

@ -254,18 +254,8 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
],
subgroup_x,
);
let tmp = self.double_arithmetic_extension(
F::ONE,
F::NEG_ONE,
one,
zs_composition_eval,
interpol_val,
one,
subgroup_x,
zeta_right,
);
let zs_numerator = tmp.0;
let vanish_zeta_right = tmp.1;
let (zs_numerator, vanish_zeta_right) =
self.sub_two_extension(zs_composition_eval, interpol_val, subgroup_x, zeta_right);
let zs_denominator = self.mul_extension(vanish_zeta, vanish_zeta_right);
sum = alpha.shift(sum, self);
// This division is safe because the denominator will be nonzero unless zeta is in the