Merge pull request #552 from ethereum/moreextcode

delete account and check its extcodehash in blockchain

2 files changed, 232 insertions, 0 deletions

diff --git a/src/BlockchainTestsFiller/bcStateTests/extCodeHashOfDeletedAccountDynamicFiller.json b/src/BlockchainTestsFiller/bcStateTests/extCodeHashOfDeletedAccountDynamicFiller.json
new file mode 100644
index 000000000..afc49be6d
--- /dev/null
+++ b/src/BlockchainTestsFiller/bcStateTests/extCodeHashOfDeletedAccountDynamicFiller.json
@@ -0,0 +1,114 @@
+{
+    "extCodeHashOfDeletedAccountDynamic" : {
+	"_info" : {
+	    "comment" : "5) a blockchain test with block having 2/3 transactions. account a is in the state with the code before the first transaction. 1st transaction (sstore 1 codehash(a)) 2nd transaction suicide a (could be merged with 1st transaction) 3d transaction (sstore 2 codehash(a)) check by expect section sstore value of 1 and 2."
+	},
+        "genesisBlockHeader" : {
+            "bloom" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+            "coinbase" : "0x8888f1f195afa192cfee860698584c030f4c9db1",
+            "difficulty" : "0x020000",
+            "extraData" : "0x42",
+            "gasLimit" : "3141592",
+            "gasUsed" : "0",
+            "mixHash" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "nonce" : "0x0102030405060708",
+            "number" : "0",
+            "parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000",
+            "receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "stateRoot" : "0xf99eb1626cfa6db435c0836235942d7ccaa935f1ae247d3f1c21e495685f903a",
+            "timestamp" : "0x54c98c81",
+            "transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+        },
+	"sealEngine" : "NoProof",
+	"expect" : [
+	   {
+		    "network" : [">=Constantinople"],
+		    "result" : {
+			    "0000000000000000000000000000000000000001" : {
+				"balance" : "1"
+			    },
+			    "1000000000000000000000000000000000000000" : {
+				"storage" : {
+				    "0x00" : "0x4332e7449d179f5dceba0d414291d661898a5770bf47f83cab418bc9c8d1e304",
+				    "0x01" : "0x03",
+				    "0X02" : "0x6001ff0000000000000000000000000000000000000000000000000000000000",
+				    "0x05" : "0x4e2ac1add07ea5ce68e1e4b0916b4cf22f4d6e84"
+				}
+			    },
+			    "1200000000000000000000000000000000000000" : {
+				"storage" : {
+				    "0x00" : "0x00",
+				    "0x01" : "0x00",
+				    "0X05" : "0x4e2ac1add07ea5ce68e1e4b0916b4cf22f4d6e84"
+				}
+			    },
+			    "0x4e2ac1add07ea5ce68e1e4b0916b4cf22f4d6e84" : {
+				"shouldnotexist" : "1"
+			    }
+		   }
+	   }
+        ],
+        "pre" : {
+            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "100000000000000000",
+                "nonce" : "0",
+                "code" : "",
+                "storage": {}
+            },
+            "1000000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{ (SSTORE 5 (CREATE2 1 128 (lll { (RETURN 0 (lll { (SELFDESTRUCT 1) } 0)) } 128) 0x10))  [[0]] (EXTCODEHASH (SLOAD 5)) [[1]] (EXTCODESIZE (SLOAD 5)) (EXTCODECOPY (SLOAD 5) 0 0 32) [[2]] (MLOAD 0) (STOP) }",
+                "storage": {}
+            },
+            "1100000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{  (CALL 100000 0x4e2ac1add07ea5ce68e1e4b0916b4cf22f4d6e84 0 0 0 0 0)  }",
+                "storage": {}
+            },
+            "1200000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{ (SSTORE 5 0x4e2ac1add07ea5ce68e1e4b0916b4cf22f4d6e84)  [[0]] (EXTCODEHASH (SLOAD 5)) [[1]] (EXTCODESIZE (SLOAD 5)) (EXTCODECOPY (SLOAD 5) 0 0 32) [[2]] (MLOAD 0) (STOP) }",
+                "storage": {}
+            }
+        },
+        "blocks" : [
+            {
+                "transactions" : [
+		 {
+			"data" : "",
+			"gasLimit" : "400000",
+			"gasPrice" : "1",
+			"nonce" : "0",
+			"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+			"to" : "1000000000000000000000000000000000000000",
+			"value" : "0"
+		 },
+		 {
+			"data" : "",
+			"gasLimit" : "400000",
+			"gasPrice" : "1",
+			"nonce" : "1",
+			"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+			"to" : "1100000000000000000000000000000000000000",
+			"value" : "0"
+		 },
+		 {
+			"data" : "",
+			"gasLimit" : "400000",
+			"gasPrice" : "1",
+			"nonce" : "2",
+			"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+			"to" : "1200000000000000000000000000000000000000",
+			"value" : "0"
+		 }
+                ],
+                "uncleHeaders" : [
+                ]
+            }
+        ]
+    }
+}
diff --git a/src/BlockchainTestsFiller/bcStateTests/extCodeHashOfDeletedAccountFiller.json b/src/BlockchainTestsFiller/bcStateTests/extCodeHashOfDeletedAccountFiller.json
new file mode 100644
index 000000000..9144cf948
--- /dev/null
+++ b/src/BlockchainTestsFiller/bcStateTests/extCodeHashOfDeletedAccountFiller.json
@@ -0,0 +1,118 @@
+{
+    "extCodeHashOfDeletedAccount" : {
+	"_info" : {
+	    "comment" : "5) a blockchain test with block having 2/3 transactions. account a is in the state with the code before the first transaction. 1st transaction (sstore 1 codehash(a)) 2nd transaction suicide a (could be merged with 1st transaction) 3d transaction (sstore 2 codehash(a)) check by expect section sstore value of 1 and 2."
+	},
+        "genesisBlockHeader" : {
+            "bloom" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+            "coinbase" : "0x8888f1f195afa192cfee860698584c030f4c9db1",
+            "difficulty" : "0x020000",
+            "extraData" : "0x42",
+            "gasLimit" : "3141592",
+            "gasUsed" : "0",
+            "mixHash" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "nonce" : "0x0102030405060708",
+            "number" : "0",
+            "parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000",
+            "receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "stateRoot" : "0xf99eb1626cfa6db435c0836235942d7ccaa935f1ae247d3f1c21e495685f903a",
+            "timestamp" : "0x54c98c81",
+            "transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+        },
+	"sealEngine" : "NoProof",
+	"expect" : [
+	   {
+		    "network" : [">=Constantinople"],
+		    "result" : {
+			    "0000000000000000000000000000000000000001" : {
+				"balance" : "1000"
+			    },
+			    "1000000000000000000000000000000000000000" : {
+				"storage" : {
+				    "0x00" : "0x4332e7449d179f5dceba0d414291d661898a5770bf47f83cab418bc9c8d1e304",
+				    "0x01" : "0x03",
+				    "0x02" : "0x6001ff0000000000000000000000000000000000000000000000000000000000"
+				}
+			    },
+			    "1200000000000000000000000000000000000000" : {
+				"storage" : {
+				    "0x00" : "0x00",
+				    "0x01" : "0x00"
+				}
+			    },
+			    "2000000000000000000000000000000000000000" : {
+				"shouldnotexist" : "1"
+			    }
+		   }
+	   }
+        ],
+        "pre" : {
+            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "100000000000000000",
+                "nonce" : "0",
+                "code" : "",
+                "storage": {}
+            },
+            "1000000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{  [[0]] (EXTCODEHASH 0x2000000000000000000000000000000000000000) [[1]] (EXTCODESIZE 0x2000000000000000000000000000000000000000) (EXTCODECOPY 0x2000000000000000000000000000000000000000 0 0 32) [[2]] (MLOAD 0) }",
+                "storage": {}
+            },
+            "1100000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{  (CALL 100000 0x2000000000000000000000000000000000000000 0 0 0 0 0)  }",
+                "storage": {}
+            },
+            "1200000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{  [[0]] (EXTCODEHASH 0x2000000000000000000000000000000000000000) [[1]] (EXTCODESIZE 0x2000000000000000000000000000000000000000) (EXTCODECOPY 0x2000000000000000000000000000000000000000 0 0 32) [[2]] (MLOAD 0) }",
+                "storage": {}
+            },
+            "2000000000000000000000000000000000000000" : {
+                "balance" : "1000",
+                "nonce" : "0",
+                "code" : "{ (SELFDESTRUCT 1) }",
+                "storage": {}
+            }
+        },
+        "blocks" : [
+            {
+                "transactions" : [
+		 {
+			"data" : "",
+			"gasLimit" : "400000",
+			"gasPrice" : "1",
+			"nonce" : "0",
+			"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+			"to" : "1000000000000000000000000000000000000000",
+			"value" : "0"
+		 },
+		 {
+			"data" : "",
+			"gasLimit" : "400000",
+			"gasPrice" : "1",
+			"nonce" : "1",
+			"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+			"to" : "1100000000000000000000000000000000000000",
+			"value" : "0"
+		 },
+		 {
+			"data" : "",
+			"gasLimit" : "400000",
+			"gasPrice" : "1",
+			"nonce" : "2",
+			"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+			"to" : "1200000000000000000000000000000000000000",
+			"value" : "0"
+		 }
+                ],
+                "uncleHeaders" : [
+                ]
+            }
+        ]
+    }
+}