assert instead of panic

privacy-scaling-explorations · Jan 30, 2024 · 3d85376 · 3d85376
1 parent fe9fe2a
commit 3d85376
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/zkevm-circuits/src/mpt_circuit.rs b/zkevm-circuits/src/mpt_circuit.rs
@@ -494,20 +494,16 @@ impl<F: Field> MPTConfig<F> {
                     cached_region.assign_stored_expressions(&self.cb.base, challenges)?;
                 }
 
-                if self.params.max_nodes < (2 * HASH_WIDTH + 1) {
-                    panic!(
+                assert!( self.params.max_nodes >= (2 * HASH_WIDTH + 1),
                         "The parameter max_nodes is set too low for the mult table: {}, mult table height: {}",
                         self.params.max_nodes,
                         2 * HASH_WIDTH + 1,
                     );
-                }
-                if offset > self.params.max_nodes {
-                    panic!(
+                assert!( offset <= self.params.max_nodes,
                         "The parameter max_nodes is set too low, max_nodes: {}, offset: {}",
                         self.params.max_nodes,
                         offset,
                     );
-                }
 
                 for offset in 0..self.params.max_nodes {
                     assignf!(region, (self.q_enable, offset) => true.scalar())?;