From 744c1c5ada07f819605e3211e68411054b8c0ff1 Mon Sep 17 00:00:00 2001 From: Zhang Junyu Date: Mon, 1 Jul 2024 07:09:30 +0000 Subject: [PATCH] reserve more disabled rows for circuits --- crates/zkwasm/src/circuits/zkwasm_circuit/mod.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/zkwasm/src/circuits/zkwasm_circuit/mod.rs b/crates/zkwasm/src/circuits/zkwasm_circuit/mod.rs index 7b59cc2b4..9af6e7846 100644 --- a/crates/zkwasm/src/circuits/zkwasm_circuit/mod.rs +++ b/crates/zkwasm/src/circuits/zkwasm_circuit/mod.rs @@ -68,10 +68,10 @@ pub const VAR_COLUMNS: usize = if cfg!(feature = "continuation") { 40 }; -// Reserve a few rows to keep usable rows away from blind rows. -// The maximal step size of all tables is bit_table::STEP_SIZE. +// Reserve 128 rows(greater than step size of all tables) to keep usable rows away from +// blind rows and range checking rows. // Reserve (1 << 16) / 2 to allow u16 range checking based on shuffle with step 2. -pub(crate) const RESERVE_ROWS: usize = crate::circuits::bit_table::STEP_SIZE + (1 << 15); +pub(crate) const RESERVE_ROWS: usize = 128 + (1 << 15); #[derive(Default, Clone)] struct AssignedCells {