logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-20 08:49:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Avoid underflow when checking the length of terms

Browse Source
This commit is contained in:
wborgeaud 2021-11-15 19:46:28 +01:00
parent 49e4307820
commit 799ff26e71
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/util/reducing.rs
View File

@ -107,7 +107,7 @@ impl<const D: usize> ReducingFactorTarget<D> {
let l = terms.len(); let l = terms.len();
// For small reductions, use an arithmetic gate. // For small reductions, use an arithmetic gate.
if l - 1 <= ArithmeticExtensionGate::<D>::new_from_config(&builder.config).num_ops { if l <= ArithmeticExtensionGate::<D>::new_from_config(&builder.config).num_ops + 1 {
let terms_ext = terms let terms_ext = terms
.iter() .iter()
.map(|&t| builder.convert_to_ext(t)) .map(|&t| builder.convert_to_ext(t))
@ -162,7 +162,7 @@ impl<const D: usize> ReducingFactorTarget<D> {
let l = terms.len(); let l = terms.len();
// For small reductions, use an arithmetic gate. // For small reductions, use an arithmetic gate.
if l - 1 <= ArithmeticExtensionGate::<D>::new_from_config(&builder.config).num_ops { if l <= ArithmeticExtensionGate::<D>::new_from_config(&builder.config).num_ops + 1 {
return self.reduce_arithmetic(terms, builder); return self.reduce_arithmetic(terms, builder);
} }