hardcode row require for u16 range lookup

privacy-scaling-explorations · Jun 23, 2023 · 1db217c · 1db217c
1 parent c9acea6
commit 1db217c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/zkevm-circuits/src/evm_circuit/param.rs b/zkevm-circuits/src/evm_circuit/param.rs
@@ -25,9 +25,10 @@ pub const N_PHASE1_COLUMNS: usize =
 // Number of copy columns
 pub const N_COPY_COLUMNS: usize = 2;
 
-pub const N_U8_LOOKUPS: usize = 12;
+pub const N_U8_LOOKUPS: usize = 24;
 
-pub const N_U16_LOOKUPS: usize = 6;
+// TODO shift #column/2 from u8 to u16
+pub const N_U16_LOOKUPS: usize = 0;
 
 /// Amount of lookup columns in the EVM circuit dedicated to lookups.
 pub(crate) const EVM_LOOKUP_COLS: usize = FIXED_TABLE_LOOKUPS

diff --git a/zkevm-circuits/src/witness/block.rs b/zkevm-circuits/src/witness/block.rs
@@ -109,6 +109,7 @@ impl<F: Field> Block<F> {
             num_rows_required_for_keccak_table,
             num_rows_required_for_tx_table,
             num_rows_required_for_exp_table,
+            1 << 16, // u16 range lookup
         ])
         .unwrap();