fix (v0.9): add feature strict-ccc

bus-mapping/Cargo.toml

@@ -48,3 +48,4 @@ test = ["mock", "rand"]
 scroll = ["eth-types/scroll", "mock?/scroll"]
 # Enable shanghai feature of mock only if mock is enabled (by test).
 shanghai = ["eth-types/shanghai", "mock?/shanghai"]
+strict-ccc = []

bus-mapping/src/evm/opcodes/create.rs

@@ -135,7 +135,8 @@ impl<const IS_CREATE2: bool> Opcode for Create<IS_CREATE2> {
         // ErrNonceUintOverflow occurred.
         let is_precheck_ok =
             depth < 1025 && caller_balance >= callee.value && caller_nonce < u64::MAX;
-        if !is_precheck_ok {
+
+        if cfg!(feature = "strict-ccc") && !is_precheck_ok {
             panic!("invalid tx: create is_precheck_ok");
         }
 

prover/Cargo.toml

@@ -41,4 +41,5 @@ default = []
 parallel_syn = ["halo2_proofs/parallel_syn", "zkevm-circuits/parallel_syn"]
 scroll = ["bus-mapping/scroll", "eth-types/scroll", "zkevm-circuits/scroll"]
 shanghai = ["bus-mapping/shanghai", "eth-types/shanghai", "zkevm-circuits/shanghai"]
+strict-ccc = ["bus-mapping/strict-ccc", "zkevm-circuits/strict-ccc"]
 test = []

zkevm-circuits/Cargo.toml

@@ -70,6 +70,7 @@ scroll = ["bus-mapping/scroll", "eth-types/scroll", "mock?/scroll", "zktrie", "p
 
 # Enable shanghai feature of mock only if mock is enabled (by test).
 shanghai = ["bus-mapping/shanghai", "eth-types/shanghai", "mock?/shanghai"]
+strict-ccc = ["bus-mapping/strict-ccc"]
 test-circuits = []
 warn-unimplemented = ["eth-types/warn-unimplemented"]
 onephase = [] # debug only