From b1c8824ef1ac985289b3498056103c499e4e347b Mon Sep 17 00:00:00 2001
From: miha-stopar <stopar.miha@gmail.com>
Date: Fri, 12 Apr 2024 10:59:09 +0200
Subject: [PATCH] Debugging constraints removed

---
 zkevm-circuits/src/mpt_circuit/storage_leaf.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/zkevm-circuits/src/mpt_circuit/storage_leaf.rs b/zkevm-circuits/src/mpt_circuit/storage_leaf.rs
index 851e617d7f..11a2dd2808 100644
--- 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.