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

PR feedback

Browse Source
This commit is contained in:
wborgeaud 2021-08-12 18:21:21 +02:00
parent 7271af823b
commit 2bfa454476
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/plonk/vanishing_poly.rs
View File

@ -240,8 +240,7 @@ pub fn evaluate_gate_constraints_recursively<F: Extendable<D>, const D: usize>(
num_gate_constraints: usize,
vars: EvaluationTargets<D>,
) -> Vec<ExtensionTarget<D>> {
let mut constraints = vec![builder.zero_extension(); num_gate_constraints];
let mut all_gate_constraints: Vec<Vec<_>> = Vec::new();
let mut all_gate_constraints = vec![vec![]; num_gate_constraints];
for gate in gates {
let gate_constraints = with_context!(
builder,
@ -251,13 +250,10 @@ pub fn evaluate_gate_constraints_recursively<F: Extendable<D>, const D: usize>(
.eval_filtered_recursively(builder, vars, &gate.prefix)
);
for (i, c) in gate_constraints.into_iter().enumerate() {
if i < all_gate_constraints.len() {
all_gate_constraints[i].push(c);
} else {
all_gate_constraints.push(vec![c]);
}
all_gate_constraints[i].push(c);
}
}
let mut constraints = vec![builder.zero_extension(); num_gate_constraints];
for (i, v) in all_gate_constraints.into_iter().enumerate() {
constraints[i] = builder.add_many_extension(&v);
}