2015-07-07 03:54:22 +03:00
|
|
|
// Copyright 2014 The go-ethereum Authors
|
2015-07-22 19:48:40 +03:00
|
|
|
// This file is part of the go-ethereum library.
|
2015-07-07 03:54:22 +03:00
|
|
|
//
|
2015-07-23 19:35:11 +03:00
|
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
2015-07-07 03:54:22 +03:00
|
|
|
// it under the terms of the GNU Lesser General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
2015-07-22 19:48:40 +03:00
|
|
|
// The go-ethereum library is distributed in the hope that it will be useful,
|
2015-07-07 03:54:22 +03:00
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
2015-07-22 19:48:40 +03:00
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
2015-07-07 03:54:22 +03:00
|
|
|
// GNU Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
2015-07-22 19:48:40 +03:00
|
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
2015-07-07 03:54:22 +03:00
|
|
|
|
2014-10-31 15:43:14 +02:00
|
|
|
package state
|
2014-07-22 12:54:48 +03:00
|
|
|
|
|
|
|
import (
|
2015-09-08 16:53:17 +03:00
|
|
|
"bytes"
|
2023-05-23 13:10:26 +03:00
|
|
|
"encoding/json"
|
2015-03-19 11:57:02 +02:00
|
|
|
"testing"
|
2015-02-20 12:37:33 +02:00
|
|
|
|
2015-03-16 12:27:38 +02:00
|
|
|
"github.com/ethereum/go-ethereum/common"
|
2018-09-24 15:57:49 +03:00
|
|
|
"github.com/ethereum/go-ethereum/core/rawdb"
|
2023-05-11 10:19:42 +03:00
|
|
|
"github.com/ethereum/go-ethereum/core/types"
|
2016-10-01 15:44:53 +03:00
|
|
|
"github.com/ethereum/go-ethereum/crypto"
|
2015-03-16 18:09:08 +02:00
|
|
|
"github.com/ethereum/go-ethereum/ethdb"
|
2024-02-13 16:49:53 +03:00
|
|
|
"github.com/ethereum/go-ethereum/triedb"
|
2024-01-23 16:51:58 +03:00
|
|
|
"github.com/holiman/uint256"
|
2014-07-22 12:54:48 +03:00
|
|
|
)
|
|
|
|
|
2023-07-11 16:43:23 +03:00
|
|
|
type stateEnv struct {
|
2018-09-24 15:57:49 +03:00
|
|
|
db ethdb.Database
|
2014-12-10 11:57:19 +02:00
|
|
|
state *StateDB
|
2014-11-14 23:01:52 +02:00
|
|
|
}
|
2014-07-22 12:54:48 +03:00
|
|
|
|
2023-07-11 16:43:23 +03:00
|
|
|
func newStateEnv() *stateEnv {
|
2019-11-22 17:56:05 +03:00
|
|
|
db := rawdb.NewMemoryDatabase()
|
2023-05-11 10:19:42 +03:00
|
|
|
sdb, _ := New(types.EmptyRootHash, NewDatabase(db), nil)
|
2023-07-11 16:43:23 +03:00
|
|
|
return &stateEnv{db: db, state: sdb}
|
2019-11-22 17:56:05 +03:00
|
|
|
}
|
2014-07-22 12:54:48 +03:00
|
|
|
|
2019-11-22 17:56:05 +03:00
|
|
|
func TestDump(t *testing.T) {
|
2020-11-18 12:51:33 +03:00
|
|
|
db := rawdb.NewMemoryDatabase()
|
2024-02-13 16:49:53 +03:00
|
|
|
tdb := NewDatabaseWithConfig(db, &triedb.Config{Preimages: true})
|
cmd, core/state, eth, tests, trie: improve state reader (#27428)
The state availability is checked during the creation of a state reader.
- In hash-based database, if the specified root node does not exist on disk disk, then
the state reader won't be created and an error will be returned.
- In path-based database, if the specified state layer is not available, then the
state reader won't be created and an error will be returned.
This change also contains a stricter semantics regarding the `Commit` operation: once it has been performed, the trie is no longer usable, and certain operations will return an error.
2023-06-20 22:31:45 +03:00
|
|
|
sdb, _ := New(types.EmptyRootHash, tdb, nil)
|
2023-07-11 16:43:23 +03:00
|
|
|
s := &stateEnv{db: db, state: sdb}
|
2014-07-22 12:54:48 +03:00
|
|
|
|
2015-02-20 12:37:33 +02:00
|
|
|
// generate a few entries
|
2024-01-14 14:32:23 +03:00
|
|
|
obj1 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x01}))
|
2024-01-23 16:51:58 +03:00
|
|
|
obj1.AddBalance(uint256.NewInt(22))
|
2024-01-14 14:32:23 +03:00
|
|
|
obj2 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x01, 0x02}))
|
2016-10-01 15:44:53 +03:00
|
|
|
obj2.SetCode(crypto.Keccak256Hash([]byte{3, 3, 3, 3, 3, 3, 3}), []byte{3, 3, 3, 3, 3, 3, 3})
|
2024-01-14 14:32:23 +03:00
|
|
|
obj3 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x02}))
|
2024-01-23 16:51:58 +03:00
|
|
|
obj3.SetBalance(uint256.NewInt(44))
|
2015-02-20 12:37:33 +02:00
|
|
|
|
|
|
|
// write some of them to the trie
|
2016-10-04 13:36:02 +03:00
|
|
|
s.state.updateStateObject(obj1)
|
|
|
|
s.state.updateStateObject(obj2)
|
2022-07-05 06:14:21 +03:00
|
|
|
s.state.Finalise(false)
|
|
|
|
s.state.AccountsIntermediateRoot()
|
2023-09-07 11:39:29 +03:00
|
|
|
root, _, _ := s.state.Commit(0, nil)
|
2015-02-20 12:37:33 +02:00
|
|
|
|
2020-06-30 11:12:51 +03:00
|
|
|
// check that DumpToCollector contains the state objects that are in trie
|
cmd, core/state, eth, tests, trie: improve state reader (#27428)
The state availability is checked during the creation of a state reader.
- In hash-based database, if the specified root node does not exist on disk disk, then
the state reader won't be created and an error will be returned.
- In path-based database, if the specified state layer is not available, then the
state reader won't be created and an error will be returned.
This change also contains a stricter semantics regarding the `Commit` operation: once it has been performed, the trie is no longer usable, and certain operations will return an error.
2023-06-20 22:31:45 +03:00
|
|
|
s.state, _ = New(root, tdb, nil)
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
got := string(s.state.Dump(nil))
|
2015-02-20 12:37:33 +02:00
|
|
|
want := `{
|
2016-04-15 12:16:56 +03:00
|
|
|
"root": "71edff0130dd2385947095001c73d9e28d862fc286fca2b922ca6f6f3cddfdd2",
|
2015-02-20 12:37:33 +02:00
|
|
|
"accounts": {
|
2019-06-24 17:16:44 +03:00
|
|
|
"0x0000000000000000000000000000000000000001": {
|
2015-02-20 12:37:33 +02:00
|
|
|
"balance": "22",
|
|
|
|
"nonce": 0,
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
"root": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
|
|
|
|
"codeHash": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
|
2023-11-28 15:54:17 +03:00
|
|
|
"address": "0x0000000000000000000000000000000000000001",
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
"key": "0x1468288056310c82aa4c01a7e12a10f8111a0560e72b700555479031b86c357d"
|
2015-02-20 12:37:33 +02:00
|
|
|
},
|
2019-06-24 17:16:44 +03:00
|
|
|
"0x0000000000000000000000000000000000000002": {
|
2016-04-15 12:16:56 +03:00
|
|
|
"balance": "44",
|
|
|
|
"nonce": 0,
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
"root": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
|
|
|
|
"codeHash": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
|
2023-11-28 15:54:17 +03:00
|
|
|
"address": "0x0000000000000000000000000000000000000002",
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
"key": "0xd52688a8f926c816ca1e079067caba944f158e764817b83fc43594370ca9cf62"
|
2016-04-15 12:16:56 +03:00
|
|
|
},
|
2019-06-24 17:16:44 +03:00
|
|
|
"0x0000000000000000000000000000000000000102": {
|
2015-02-20 12:37:33 +02:00
|
|
|
"balance": "0",
|
|
|
|
"nonce": 0,
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
"root": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
|
|
|
|
"codeHash": "0x87874902497a5bb968da31a2998d8f22e949d1ef6214bcdedd8bae24cca4b9e3",
|
|
|
|
"code": "0x03030303030303",
|
2023-11-28 15:54:17 +03:00
|
|
|
"address": "0x0000000000000000000000000000000000000102",
|
cmd/geth, eth, core: snapshot dump + unify with trie dump (#22795)
* cmd/geth, eth, core: snapshot dump + unify with trie dump
* cmd/evm: dump API fixes
* cmd/geth, core, eth: fix some remaining errors
* cmd/evm: dump - add limit, support address startkey, address review concerns
* cmd, core/state, eth: minor polishes, fix snap dump crash, unify format
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-05-12 11:05:39 +03:00
|
|
|
"key": "0xa17eacbc25cda025e81db9c5c62868822c73ce097cee2a63e33a2e41268358a1"
|
2015-02-20 12:37:33 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}`
|
|
|
|
if got != want {
|
2020-06-30 11:12:51 +03:00
|
|
|
t.Errorf("DumpToCollector mismatch:\ngot: %s\nwant: %s\n", got, want)
|
2015-02-20 12:37:33 +02:00
|
|
|
}
|
2014-11-14 23:01:52 +02:00
|
|
|
}
|
2014-07-22 12:54:48 +03:00
|
|
|
|
2023-05-23 13:10:26 +03:00
|
|
|
func TestIterativeDump(t *testing.T) {
|
|
|
|
db := rawdb.NewMemoryDatabase()
|
2024-02-13 16:49:53 +03:00
|
|
|
tdb := NewDatabaseWithConfig(db, &triedb.Config{Preimages: true})
|
cmd, core/state, eth, tests, trie: improve state reader (#27428)
The state availability is checked during the creation of a state reader.
- In hash-based database, if the specified root node does not exist on disk disk, then
the state reader won't be created and an error will be returned.
- In path-based database, if the specified state layer is not available, then the
state reader won't be created and an error will be returned.
This change also contains a stricter semantics regarding the `Commit` operation: once it has been performed, the trie is no longer usable, and certain operations will return an error.
2023-06-20 22:31:45 +03:00
|
|
|
sdb, _ := New(types.EmptyRootHash, tdb, nil)
|
2023-07-11 16:43:23 +03:00
|
|
|
s := &stateEnv{db: db, state: sdb}
|
2023-05-23 13:10:26 +03:00
|
|
|
|
|
|
|
// generate a few entries
|
2024-01-14 14:32:23 +03:00
|
|
|
obj1 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x01}))
|
2024-01-23 16:51:58 +03:00
|
|
|
obj1.AddBalance(uint256.NewInt(22))
|
2024-01-14 14:32:23 +03:00
|
|
|
obj2 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x01, 0x02}))
|
2023-05-23 13:10:26 +03:00
|
|
|
obj2.SetCode(crypto.Keccak256Hash([]byte{3, 3, 3, 3, 3, 3, 3}), []byte{3, 3, 3, 3, 3, 3, 3})
|
2024-01-14 14:32:23 +03:00
|
|
|
obj3 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x02}))
|
2024-01-23 16:51:58 +03:00
|
|
|
obj3.SetBalance(uint256.NewInt(44))
|
2024-01-14 14:32:23 +03:00
|
|
|
obj4 := s.state.getOrNewStateObject(common.BytesToAddress([]byte{0x00}))
|
2024-01-23 16:51:58 +03:00
|
|
|
obj4.AddBalance(uint256.NewInt(1337))
|
2023-05-23 13:10:26 +03:00
|
|
|
|
|
|
|
// write some of them to the trie
|
|
|
|
s.state.updateStateObject(obj1)
|
|
|
|
s.state.updateStateObject(obj2)
|
2023-09-07 11:39:29 +03:00
|
|
|
s.state.Finalise(false)
|
|
|
|
s.state.AccountsIntermediateRoot()
|
|
|
|
root, _, _ := s.state.Commit(0, nil)
|
cmd, core/state, eth, tests, trie: improve state reader (#27428)
The state availability is checked during the creation of a state reader.
- In hash-based database, if the specified root node does not exist on disk disk, then
the state reader won't be created and an error will be returned.
- In path-based database, if the specified state layer is not available, then the
state reader won't be created and an error will be returned.
This change also contains a stricter semantics regarding the `Commit` operation: once it has been performed, the trie is no longer usable, and certain operations will return an error.
2023-06-20 22:31:45 +03:00
|
|
|
s.state, _ = New(root, tdb, nil)
|
2023-05-23 13:10:26 +03:00
|
|
|
|
|
|
|
b := &bytes.Buffer{}
|
|
|
|
s.state.IterativeDump(nil, json.NewEncoder(b))
|
|
|
|
// check that DumpToCollector contains the state objects that are in trie
|
|
|
|
got := b.String()
|
|
|
|
want := `{"root":"0xd5710ea8166b7b04bc2bfb129d7db12931cee82f75ca8e2d075b4884322bf3de"}
|
|
|
|
{"balance":"22","nonce":0,"root":"0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421","codeHash":"0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470","address":"0x0000000000000000000000000000000000000001","key":"0x1468288056310c82aa4c01a7e12a10f8111a0560e72b700555479031b86c357d"}
|
|
|
|
{"balance":"1337","nonce":0,"root":"0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421","codeHash":"0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470","address":"0x0000000000000000000000000000000000000000","key":"0x5380c7b7ae81a58eb98d9c78de4a1fd7fd9535fc953ed2be602daaa41767312a"}
|
|
|
|
{"balance":"0","nonce":0,"root":"0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421","codeHash":"0x87874902497a5bb968da31a2998d8f22e949d1ef6214bcdedd8bae24cca4b9e3","code":"0x03030303030303","address":"0x0000000000000000000000000000000000000102","key":"0xa17eacbc25cda025e81db9c5c62868822c73ce097cee2a63e33a2e41268358a1"}
|
|
|
|
{"balance":"44","nonce":0,"root":"0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421","codeHash":"0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470","address":"0x0000000000000000000000000000000000000002","key":"0xd52688a8f926c816ca1e079067caba944f158e764817b83fc43594370ca9cf62"}
|
|
|
|
`
|
|
|
|
if got != want {
|
|
|
|
t.Errorf("DumpToCollector mismatch:\ngot: %s\nwant: %s\n", got, want)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-22 17:56:05 +03:00
|
|
|
func TestNull(t *testing.T) {
|
2023-07-11 16:43:23 +03:00
|
|
|
s := newStateEnv()
|
2015-03-21 15:47:50 +02:00
|
|
|
address := common.HexToAddress("0x823140710bf13990e4500136726d8b55")
|
2017-06-27 16:57:06 +03:00
|
|
|
s.state.CreateAccount(address)
|
2015-03-19 11:57:02 +02:00
|
|
|
//value := common.FromHex("0x823140710bf13990e4500136726d8b55")
|
2015-06-17 13:53:22 +03:00
|
|
|
var value common.Hash
|
2018-09-18 16:24:35 +03:00
|
|
|
|
2017-06-27 16:57:06 +03:00
|
|
|
s.state.SetState(address, common.Hash{}, value)
|
2022-07-05 06:14:21 +03:00
|
|
|
s.state.Finalise(false)
|
|
|
|
s.state.AccountsIntermediateRoot()
|
2023-09-07 11:39:29 +03:00
|
|
|
s.state.Commit(0, nil)
|
2018-09-18 16:24:35 +03:00
|
|
|
|
|
|
|
if value := s.state.GetState(address, common.Hash{}); value != (common.Hash{}) {
|
2019-11-22 17:56:05 +03:00
|
|
|
t.Errorf("expected empty current value, got %x", value)
|
2018-09-18 16:24:35 +03:00
|
|
|
}
|
|
|
|
if value := s.state.GetCommittedState(address, common.Hash{}); value != (common.Hash{}) {
|
2019-11-22 17:56:05 +03:00
|
|
|
t.Errorf("expected empty committed value, got %x", value)
|
2015-06-17 13:53:22 +03:00
|
|
|
}
|
2015-03-19 11:57:02 +02:00
|
|
|
}
|
|
|
|
|
2019-11-22 17:56:05 +03:00
|
|
|
func TestSnapshot(t *testing.T) {
|
2021-04-30 14:10:12 +03:00
|
|
|
stateobjaddr := common.BytesToAddress([]byte("aa"))
|
2015-06-17 13:53:22 +03:00
|
|
|
var storageaddr common.Hash
|
|
|
|
data1 := common.BytesToHash([]byte{42})
|
|
|
|
data2 := common.BytesToHash([]byte{43})
|
2023-07-11 16:43:23 +03:00
|
|
|
s := newStateEnv()
|
2014-11-14 23:01:52 +02:00
|
|
|
|
2018-09-18 16:24:35 +03:00
|
|
|
// snapshot the genesis state
|
|
|
|
genesis := s.state.Snapshot()
|
|
|
|
|
2016-03-15 20:08:18 +02:00
|
|
|
// set initial state object value
|
2015-06-17 13:53:22 +03:00
|
|
|
s.state.SetState(stateobjaddr, storageaddr, data1)
|
2016-10-04 13:36:02 +03:00
|
|
|
snapshot := s.state.Snapshot()
|
2014-11-14 23:01:52 +02:00
|
|
|
|
2018-09-18 16:24:35 +03:00
|
|
|
// set a new state object value, revert it and ensure correct content
|
2015-06-17 13:53:22 +03:00
|
|
|
s.state.SetState(stateobjaddr, storageaddr, data2)
|
2016-10-04 13:36:02 +03:00
|
|
|
s.state.RevertToSnapshot(snapshot)
|
2014-11-14 23:01:52 +02:00
|
|
|
|
2019-11-22 17:56:05 +03:00
|
|
|
if v := s.state.GetState(stateobjaddr, storageaddr); v != data1 {
|
|
|
|
t.Errorf("wrong storage value %v, want %v", v, data1)
|
|
|
|
}
|
|
|
|
if v := s.state.GetCommittedState(stateobjaddr, storageaddr); v != (common.Hash{}) {
|
|
|
|
t.Errorf("wrong committed storage value %v, want %v", v, common.Hash{})
|
|
|
|
}
|
2014-11-14 23:01:52 +02:00
|
|
|
|
2018-09-18 16:24:35 +03:00
|
|
|
// revert up to the genesis state and ensure correct content
|
|
|
|
s.state.RevertToSnapshot(genesis)
|
2019-11-22 17:56:05 +03:00
|
|
|
if v := s.state.GetState(stateobjaddr, storageaddr); v != (common.Hash{}) {
|
|
|
|
t.Errorf("wrong storage value %v, want %v", v, common.Hash{})
|
|
|
|
}
|
|
|
|
if v := s.state.GetCommittedState(stateobjaddr, storageaddr); v != (common.Hash{}) {
|
|
|
|
t.Errorf("wrong committed storage value %v, want %v", v, common.Hash{})
|
|
|
|
}
|
2014-07-22 12:54:48 +03:00
|
|
|
}
|
2015-09-08 16:53:17 +03:00
|
|
|
|
2019-11-22 17:56:05 +03:00
|
|
|
func TestSnapshotEmpty(t *testing.T) {
|
2023-07-11 16:43:23 +03:00
|
|
|
s := newStateEnv()
|
2017-06-27 16:57:06 +03:00
|
|
|
s.state.RevertToSnapshot(s.state.Snapshot())
|
2016-10-04 13:36:02 +03:00
|
|
|
}
|
|
|
|
|
2015-09-08 16:53:17 +03:00
|
|
|
func TestSnapshot2(t *testing.T) {
|
2023-05-11 10:19:42 +03:00
|
|
|
state, _ := New(types.EmptyRootHash, NewDatabase(rawdb.NewMemoryDatabase()), nil)
|
2015-09-08 16:53:17 +03:00
|
|
|
|
2021-04-30 14:10:12 +03:00
|
|
|
stateobjaddr0 := common.BytesToAddress([]byte("so0"))
|
|
|
|
stateobjaddr1 := common.BytesToAddress([]byte("so1"))
|
2015-09-08 16:53:17 +03:00
|
|
|
var storageaddr common.Hash
|
|
|
|
|
|
|
|
data0 := common.BytesToHash([]byte{17})
|
|
|
|
data1 := common.BytesToHash([]byte{18})
|
|
|
|
|
|
|
|
state.SetState(stateobjaddr0, storageaddr, data0)
|
|
|
|
state.SetState(stateobjaddr1, storageaddr, data1)
|
|
|
|
|
|
|
|
// db, trie are already non-empty values
|
2017-02-23 01:29:59 +03:00
|
|
|
so0 := state.getStateObject(stateobjaddr0)
|
2024-01-23 16:51:58 +03:00
|
|
|
so0.SetBalance(uint256.NewInt(42))
|
2016-09-22 22:04:58 +03:00
|
|
|
so0.SetNonce(43)
|
2016-10-01 15:44:53 +03:00
|
|
|
so0.SetCode(crypto.Keccak256Hash([]byte{'c', 'a', 'f', 'e'}), []byte{'c', 'a', 'f', 'e'})
|
2023-07-15 17:35:30 +03:00
|
|
|
so0.selfDestructed = false
|
2015-09-08 16:53:17 +03:00
|
|
|
so0.deleted = false
|
2023-09-07 11:39:29 +03:00
|
|
|
state.setStateObject(so0)
|
2016-09-22 22:04:58 +03:00
|
|
|
|
2022-07-05 06:14:21 +03:00
|
|
|
state.Finalise(false)
|
|
|
|
state.AccountsIntermediateRoot()
|
2023-09-07 11:39:29 +03:00
|
|
|
root, _, _ := state.Commit(0, nil)
|
2021-01-08 16:01:49 +03:00
|
|
|
state, _ = New(root, state.db, state.snaps)
|
2015-09-08 16:53:17 +03:00
|
|
|
|
|
|
|
// and one with deleted == true
|
2017-02-23 01:29:59 +03:00
|
|
|
so1 := state.getStateObject(stateobjaddr1)
|
2024-01-23 16:51:58 +03:00
|
|
|
so1.SetBalance(uint256.NewInt(52))
|
2016-09-22 22:04:58 +03:00
|
|
|
so1.SetNonce(53)
|
2016-10-01 15:44:53 +03:00
|
|
|
so1.SetCode(crypto.Keccak256Hash([]byte{'c', 'a', 'f', 'e', '2'}), []byte{'c', 'a', 'f', 'e', '2'})
|
2023-07-15 17:35:30 +03:00
|
|
|
so1.selfDestructed = true
|
2015-09-08 16:53:17 +03:00
|
|
|
so1.deleted = true
|
2023-09-07 11:39:29 +03:00
|
|
|
state.setStateObject(so1)
|
2015-09-08 16:53:17 +03:00
|
|
|
|
2017-02-23 01:29:59 +03:00
|
|
|
so1 = state.getStateObject(stateobjaddr1)
|
2015-09-08 16:53:17 +03:00
|
|
|
if so1 != nil {
|
|
|
|
t.Fatalf("deleted object not nil when getting")
|
|
|
|
}
|
|
|
|
|
2016-10-04 13:36:02 +03:00
|
|
|
snapshot := state.Snapshot()
|
|
|
|
state.RevertToSnapshot(snapshot)
|
2015-09-08 16:53:17 +03:00
|
|
|
|
2017-02-23 01:29:59 +03:00
|
|
|
so0Restored := state.getStateObject(stateobjaddr0)
|
2016-09-22 22:04:58 +03:00
|
|
|
// Update lazily-loaded values before comparing.
|
2023-07-24 13:22:09 +03:00
|
|
|
so0Restored.GetState(storageaddr)
|
|
|
|
so0Restored.Code()
|
2015-09-08 16:53:17 +03:00
|
|
|
// non-deleted is equal (restored)
|
2015-09-09 01:26:18 +03:00
|
|
|
compareStateObjects(so0Restored, so0, t)
|
2016-09-22 22:04:58 +03:00
|
|
|
|
2015-09-08 16:53:17 +03:00
|
|
|
// deleted should be nil, both before and after restore of state copy
|
2017-02-23 01:29:59 +03:00
|
|
|
so1Restored := state.getStateObject(stateobjaddr1)
|
2015-09-08 16:53:17 +03:00
|
|
|
if so1Restored != nil {
|
2016-09-22 22:04:58 +03:00
|
|
|
t.Fatalf("deleted object not nil after restoring snapshot: %+v", so1Restored)
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-23 01:29:59 +03:00
|
|
|
func compareStateObjects(so0, so1 *stateObject, t *testing.T) {
|
2016-09-22 22:04:58 +03:00
|
|
|
if so0.Address() != so1.Address() {
|
2015-09-09 01:26:18 +03:00
|
|
|
t.Fatalf("Address mismatch: have %v, want %v", so0.address, so1.address)
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
2016-09-22 22:04:58 +03:00
|
|
|
if so0.Balance().Cmp(so1.Balance()) != 0 {
|
|
|
|
t.Fatalf("Balance mismatch: have %v, want %v", so0.Balance(), so1.Balance())
|
|
|
|
}
|
|
|
|
if so0.Nonce() != so1.Nonce() {
|
|
|
|
t.Fatalf("Nonce mismatch: have %v, want %v", so0.Nonce(), so1.Nonce())
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
2016-09-22 22:04:58 +03:00
|
|
|
if so0.data.Root != so1.data.Root {
|
|
|
|
t.Errorf("Root mismatch: have %x, want %x", so0.data.Root[:], so1.data.Root[:])
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
2016-09-22 22:04:58 +03:00
|
|
|
if !bytes.Equal(so0.CodeHash(), so1.CodeHash()) {
|
|
|
|
t.Fatalf("CodeHash mismatch: have %v, want %v", so0.CodeHash(), so1.CodeHash())
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
|
|
|
if !bytes.Equal(so0.code, so1.code) {
|
2015-09-09 01:26:18 +03:00
|
|
|
t.Fatalf("Code mismatch: have %v, want %v", so0.code, so1.code)
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
|
|
|
|
2018-09-18 16:24:35 +03:00
|
|
|
if len(so1.dirtyStorage) != len(so0.dirtyStorage) {
|
|
|
|
t.Errorf("Dirty storage size mismatch: have %d, want %d", len(so1.dirtyStorage), len(so0.dirtyStorage))
|
2016-09-22 22:04:58 +03:00
|
|
|
}
|
2018-09-18 16:24:35 +03:00
|
|
|
for k, v := range so1.dirtyStorage {
|
|
|
|
if so0.dirtyStorage[k] != v {
|
|
|
|
t.Errorf("Dirty storage key %x mismatch: have %v, want %v", k, so0.dirtyStorage[k], v)
|
2015-09-09 01:26:18 +03:00
|
|
|
}
|
|
|
|
}
|
2018-09-18 16:24:35 +03:00
|
|
|
for k, v := range so0.dirtyStorage {
|
|
|
|
if so1.dirtyStorage[k] != v {
|
|
|
|
t.Errorf("Dirty storage key %x mismatch: have %v, want none.", k, v)
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
|
|
|
}
|
2018-09-18 16:24:35 +03:00
|
|
|
if len(so1.originStorage) != len(so0.originStorage) {
|
|
|
|
t.Errorf("Origin storage size mismatch: have %d, want %d", len(so1.originStorage), len(so0.originStorage))
|
|
|
|
}
|
|
|
|
for k, v := range so1.originStorage {
|
|
|
|
if so0.originStorage[k] != v {
|
|
|
|
t.Errorf("Origin storage key %x mismatch: have %v, want %v", k, so0.originStorage[k], v)
|
|
|
|
}
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
2018-09-18 16:24:35 +03:00
|
|
|
for k, v := range so0.originStorage {
|
|
|
|
if so1.originStorage[k] != v {
|
|
|
|
t.Errorf("Origin storage key %x mismatch: have %v, want none.", k, v)
|
|
|
|
}
|
2015-09-08 16:53:17 +03:00
|
|
|
}
|
|
|
|
}
|