Debugging constraints removed

privacy-scaling-explorations · Apr 12, 2024 · b1c8824 · b1c8824
1 parent f41a249
commit b1c8824
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/zkevm-circuits/src/mpt_circuit/storage_leaf.rs b/zkevm-circuits/src/mpt_circuit/storage_leaf.rs
@@ -296,9 +296,6 @@ impl<F: Field> StorageLeafConfig<F> {
 
             let is_wrong_leaf_case = and::expr(&[config.is_non_existing_storage_proof.expr(), not!(config.parent_data[1].is_extension), not!(config.is_placeholder_leaf[1].expr())]);
 
-            require!(is_wrong_leaf_case => 0.expr());
-            require!(config.is_placeholder_leaf[1].expr() => 0.expr());
-
             // When non-existing-proof, it needs to be one of the following cases:
             // (1) wrong leaf, (2) wrong extension node, (3) nil leaf - we need to check the sum of these
             // three cases is 1.