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

Checks

Browse Source
This commit is contained in:
wborgeaud 2022-06-07 23:37:35 +02:00
parent 05d2c69eb0
commit f36c012e9c
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
evm/src/cross_table_lookup.rs
View File

@ -26,7 +26,7 @@ use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars};
pub struct TableWithColumns {
table: Table,
columns: Vec<usize>,
/// Vector of columns `{c_1,...,c_k}` used as a filter using the sum `c_1 + ... + c_k`.
/// Vector of columns `[c_1,...,c_k]` used as a filter using the sum `c_1 + ... + c_k`.
/// An empty vector corresponds to no filter.
filter_columns: Vec<usize>,
}
@ -63,6 +63,13 @@ impl<F: Field> CrossTableLookup<F> {
assert!(looking_tables
.iter()
.all(|twc| twc.columns.len() == looked_table.columns.len()));
assert!(
looking_tables
.iter()
.all(|twc| twc.filter_columns.is_empty())
== default.is_some()
&& default.is_some() == looked_table.filter_columns.is_empty()
);
Self {
looking_tables,
looked_table,