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

Comments

Browse Source
This commit is contained in:
wborgeaud 2021-08-12 15:48:45 +02:00
parent 9061335996
commit 08e457458d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plonk/vanishing_poly.rs
View File

@ -301,6 +301,7 @@ pub(crate) fn eval_vanishing_poly_recursively<F: Extendable<D>, const D: usize>(
let l1_x = eval_l_1_recursively(builder, common_data.degree(), x, x_pow_deg);
// Holds `k[i] * x`.
let mut s_ids = Vec::new();
for j in 0..common_data.config.num_routed_wires / 2 {
let k_0 = builder.constant(common_data.k_is[2 * j]);
@ -332,6 +333,7 @@ pub(crate) fn eval_vanishing_poly_recursively<F: Extendable<D>, const D: usize>(
gate,
ArithmeticExtensionGate::<D>::wires_first_output(),
);
// `beta * s_ids[j] + wire_value + gamma`
builder
.double_arithmetic_extension(
F::ONE,
@ -357,6 +359,7 @@ pub(crate) fn eval_vanishing_poly_recursively<F: Extendable<D>, const D: usize>(
gate,
ArithmeticExtensionGate::<D>::wires_first_output(),
);
// `beta * s_sigma + wire_value + gamma`
builder
.double_arithmetic_extension(
F::ONE,