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

added check on length of

Browse Source
This commit is contained in:
Nicholas Ward 2022-06-06 14:37:21 -07:00
parent a4300fb6f7
commit c39e927d52
2 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
evm/src/all_stark.rs
View File

@ -114,13 +114,13 @@ mod tests {
}
let cpu_trace = trace_rows_to_poly_values(cpu_trace_rows);
let cross_table_lookups = vec![CrossTableLookup {
looking_tables: vec![Table::Cpu],
looking_columns: vec![vec![cpu::columns::OPCODE]],
looked_table: Table::Keccak,
looked_columns: vec![keccak_looked_col],
let cross_table_lookups = vec![CrossTableLookup::new(
vec![Table::Cpu],
vec![vec![cpu::columns::OPCODE]],
Table::Keccak,
vec![keccak_looked_col],
default,
}];
)];
let all_stark = AllStark {
cpu_stark,

11
evm/src/cross_table_lookup.rs
View File

@ -23,11 +23,11 @@ use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars};
#[derive(Clone)]
pub struct CrossTableLookup<F: Field> {
pub looking_tables: Vec<Table>,
pub looking_columns: Vec<Vec<usize>>,
pub looked_table: Table,
pub looked_columns: Vec<usize>,
pub default: Vec<F>,
looking_tables: Vec<Table>,
looking_columns: Vec<Vec<usize>>,
looked_table: Table,
looked_columns: Vec<usize>,
default: Vec<F>,
}
impl<F: Field> CrossTableLookup<F> {
@ -42,6 +42,7 @@ impl<F: Field> CrossTableLookup<F> {
assert!(looking_columns
.iter()
.all(|cols| cols.len() == looked_columns.len()));
assert!(default.len() == looked_columns.len());
Self {
looking_tables,
looking_columns,