fix: mtable: prohibit encoding value at disabled step

DelphinusLab · Jul 1, 2024 · 4647da1 · 4647da1
1 parent 37827c4
commit 4647da1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/crates/zkwasm/src/circuits/mtable/mod.rs b/crates/zkwasm/src/circuits/mtable/mod.rs
@@ -357,6 +357,8 @@ impl<F: FieldExt> MemoryTableConfig<F> {
                     // post_init_encode_cell assigned iff at memory finalized position.
                     post_init_encode_cell.curr_expr(meta)
                         * (constant_from!(1) - is_memory_finalized_position_bit.clone()),
+                    post_init_encode_cell.curr_expr(meta)
+                        * (constant_from!(1) - enabled_cell.curr_expr(meta)),
                     // encode post_init_encode_cell.
                     (post_init_encode_cell.curr_expr(meta)
                         - address_encode_cell.curr_expr(meta)