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

Fix arithmetic stark padding (#1069)

Browse Source
This commit is contained in:
Robin Salen 2023-06-02 18:51:21 +02:00 committed by GitHub
parent 0d819cf888
commit 49bbe4e084
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
evm/src/arithmetic/arithmetic_stark.rs
View File

@ -138,8 +138,10 @@ impl<F: RichField, const D: usize> ArithmeticStark<F, D> {
} }
// Pad the trace with zero rows if it doesn't have enough rows // Pad the trace with zero rows if it doesn't have enough rows
// to accommodate the range check columns. // to accommodate the range check columns. Also make sure the
for _ in trace_rows.len()..RANGE_MAX { // trace length is a power of two.
let padded_len = trace_rows.len().next_power_of_two();
for _ in trace_rows.len()..std::cmp::max(padded_len, RANGE_MAX) {
trace_rows.push(vec![F::ZERO; columns::NUM_ARITH_COLUMNS]); trace_rows.push(vec![F::ZERO; columns::NUM_ARITH_COLUMNS]);
} }