forks/go-ethereum
1
0
Fork 1
mirror of https://github.com/ethereum/go-ethereum.git synced 2026-08-18 18:02:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

save current state

Browse source
This commit is contained in:
Guillaume Ballet 2024-10-30 19:58:14 +01:00
parent bf0c0dd6c4
commit 16b5d45221
1 changed files with 17 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
core/state_processor_test.go
View file

@ -645,6 +645,7 @@ var testKaustinenLikeChainConfig = &params.ChainConfig{
TerminalTotalDifficulty: common.Big0, TerminalTotalDifficulty: common.Big0,
} }
// TestProcessVerkleInvalidContractCreation checks for several modes of contract creation failures
func TestProcessVerkleInvalidContractCreation(t *testing.T) { func TestProcessVerkleInvalidContractCreation(t *testing.T) {
var ( var (
coinbase = common.HexToAddress("0x71562b71999873DB5b286dF957af199Ec94617F7") coinbase = common.HexToAddress("0x71562b71999873DB5b286dF957af199Ec94617F7")
@ -718,12 +719,20 @@ func TestProcessVerkleInvalidContractCreation(t *testing.T) {
tx1ContractStem := utils.GetTreeKey(tx1ContractAddress[:], uint256.NewInt(0), 105) tx1ContractStem := utils.GetTreeKey(tx1ContractAddress[:], uint256.NewInt(0), 105)
tx1ContractStem = tx1ContractStem[:31] tx1ContractStem = tx1ContractStem[:31]
// Check that values 0x29 and 0x05 are found in the storage (and that they lead tx2ContractAddress := crypto.CreateAddress(account2, 1)
tx2ContractStem := utils.GetTreeKey(tx2ContractAddress[:], uint256.NewInt(0), 133)
tx2ContractStem = tx2ContractStem[:31]
eip2935Stem := utils.GetTreeKey(params.HistoryStorageAddress[:], uint256.NewInt(0), 0)
eip2935Stem = eip2935Stem[:31]
// Check that slot values 0x29 and 0x45 are found in the storage (and that they lead
// to no update, since the contract creation code reverted) // to no update, since the contract creation code reverted)
for _, stemStateDiff := range statediffs[0] { for _, stemStateDiff := range statediffs[0] {
// Check that the value 0x85, which is overflowing the account header, // Check that the slot number 133, which is overflowing the account header,
// is present. // is present.
if bytes.Equal(stemStateDiff.Stem[:], common.Hex2Bytes("917f78f74226b0e3755134ce3e3433cac8df5a657f6c9b9a3d0122a3e4beb0")) { if bytes.Equal(stemStateDiff.Stem[:], common.Hex2Bytes("917f78f74226b0e3755134ce3e3433cac8df5a657f6c9b9a3d0122a3e4beb0")) {
panic("prout")
for _, suffixDiff := range stemStateDiff.SuffixDiffs { for _, suffixDiff := range stemStateDiff.SuffixDiffs {
if suffixDiff.Suffix != 133 { if suffixDiff.Suffix != 133 {
t.Fatalf("invalid suffix diff found for %x in block #1: %d\n", stemStateDiff.Stem, suffixDiff.Suffix) t.Fatalf("invalid suffix diff found for %x in block #1: %d\n", stemStateDiff.Stem, suffixDiff.Suffix)
@ -735,7 +744,7 @@ func TestProcessVerkleInvalidContractCreation(t *testing.T) {
t.Fatalf("invalid suffix diff found for %x in block #1: %d\n", stemStateDiff.Stem, suffixDiff.Suffix) t.Fatalf("invalid suffix diff found for %x in block #1: %d\n", stemStateDiff.Stem, suffixDiff.Suffix)
} }
} }
} else if bytes.Equal(stemStateDiff.Stem[:], common.Hex2Bytes("5b5fdfedd6a0e932da408ac7d772a36513d1eee9b9926e52620c43a433aad7")) { } else if bytes.Equal(stemStateDiff.Stem[:], eip2935Stem) {
// BLOCKHASH contract stem // BLOCKHASH contract stem
if len(stemStateDiff.SuffixDiffs) > 1 { if len(stemStateDiff.SuffixDiffs) > 1 {
t.Fatalf("invalid suffix diff count found for BLOCKHASH contract: %d != 1", len(stemStateDiff.SuffixDiffs)) t.Fatalf("invalid suffix diff count found for BLOCKHASH contract: %d != 1", len(stemStateDiff.SuffixDiffs))
@ -763,7 +772,7 @@ func TestProcessVerkleInvalidContractCreation(t *testing.T) {
// code should make it to the witness. // code should make it to the witness.
for _, stemStateDiff := range statediffs[1] { for _, stemStateDiff := range statediffs[1] {
for _, suffixDiff := range stemStateDiff.SuffixDiffs { for _, suffixDiff := range stemStateDiff.SuffixDiffs {
if bytes.Equal(stemStateDiff.Stem[:], common.Hex2Bytes("5b5fdfedd6a0e932da408ac7d772a36513d1eee9b9926e52620c43a433aad7")) { if bytes.Equal(stemStateDiff.Stem[:], eip2935Stem) {
// BLOCKHASH contract stem // BLOCKHASH contract stem
if len(stemStateDiff.SuffixDiffs) > 1 { if len(stemStateDiff.SuffixDiffs) > 1 {
t.Fatalf("invalid suffix diff count found for BLOCKHASH contract at block #2: %d != 1", len(stemStateDiff.SuffixDiffs)) t.Fatalf("invalid suffix diff count found for BLOCKHASH contract at block #2: %d != 1", len(stemStateDiff.SuffixDiffs))
@ -827,8 +836,11 @@ func TestProcessVerkleContractWithEmptyCode(t *testing.T) {
gen.AddTx(&tx) gen.AddTx(&tx)
}) })
eip2935Stem := utils.GetTreeKey(params.HistoryStorageAddress[:], uint256.NewInt(0), 0)
eip2935Stem = eip2935Stem[:31]
for _, stemStateDiff := range statediffs[0] { for _, stemStateDiff := range statediffs[0] {
if bytes.Equal(stemStateDiff.Stem[:], common.Hex2Bytes("5b5fdfedd6a0e932da408ac7d772a36513d1eee9b9926e52620c43a433aad7")) { if bytes.Equal(stemStateDiff.Stem[:], eip2935Stem) {
// BLOCKHASH contract stem // BLOCKHASH contract stem
if len(stemStateDiff.SuffixDiffs) > 1 { if len(stemStateDiff.SuffixDiffs) > 1 {
t.Fatalf("invalid suffix diff count found for BLOCKHASH contract: %d != 1", len(stemStateDiff.SuffixDiffs)) t.Fatalf("invalid suffix diff count found for BLOCKHASH contract: %d != 1", len(stemStateDiff.SuffixDiffs))