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

Fix eval_table

Browse Source
This commit is contained in:
Hamy Ratoanina 2023-09-19 14:02:29 -04:00
parent b60a3d4b29
commit 4eb6a3b57c
No known key found for this signature in database
GPG Key ID: 054683A21827F7C4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
evm/src/cross_table_lookup.rs
View File

@ -179,7 +179,7 @@ impl<F: Field> Column<F> {
// If we access the next row at the last row, for sanity, we consider the next row's values to be 0.
// If CTLs are correctly written, the filter should be 0 in that case anyway.
if !self.next_row_linear_combination.is_empty() && row < table.len() - 1 {
if !self.next_row_linear_combination.is_empty() && row < table[0].values.len() - 1 {
res += self
.next_row_linear_combination
.iter()
@ -497,7 +497,7 @@ pub(crate) fn eval_cross_table_lookup_checks<F, FE, P, S, const D: usize, const
.collect::<Vec<_>>();
let combined = challenges.combine(evals.iter());
let local_filter = if let Some(column) = filter_column {
column.eval(vars.local_values)
column.eval_with_next(vars.local_values, vars.next_values)
} else {
P::ONES
};