all: bloom-filter based pruning mechanism (#21724)
* cmd, core, tests: initial state pruner
core: fix db inspector
cmd/geth: add verify-state
cmd/geth: add verification tool
core/rawdb: implement flatdb
cmd, core: fix rebase
core/state: use new contract code layout
core/state/pruner: avoid deleting genesis state
cmd/geth: add helper function
core, cmd: fix extract genesis
core: minor fixes
contracts: remove useless
core/state/snapshot: plugin stacktrie
core: polish
core/state/snapshot: iterate storage concurrently
core/state/snapshot: fix iteration
core: add comments
core/state/snapshot: polish code
core/state: polish
core/state/snapshot: rebase
core/rawdb: add comments
core/rawdb: fix tests
core/rawdb: improve tests
core/state/snapshot: fix concurrent iteration
core/state: run pruning during the recovery
core, trie: implement martin's idea
core, eth: delete flatdb and polish pruner
trie: fix import
core/state/pruner: add log
core/state/pruner: fix issues
core/state/pruner: don't read back
core/state/pruner: fix contract code write
core/state/pruner: check root node presence
cmd, core: polish log
core/state: use HEAD-127 as the target
core/state/snapshot: improve tests
cmd/geth: fix verification tool
cmd/geth: use HEAD as the verification default target
all: replace the bloomfilter with martin's fork
cmd, core: polish code
core, cmd: forcibly delete state root
core/state/pruner: add hash64
core/state/pruner: fix blacklist
core/state: remove blacklist
cmd, core: delete trie clean cache before pruning
cmd, core: fix lint
cmd, core: fix rebase
core/state: fix the special case for clique networks
core/state/snapshot: remove useless code
core/state/pruner: capping the snapshot after pruning
cmd, core, eth: fixes
core/rawdb: update db inspector
cmd/geth: polish code
core/state/pruner: fsync bloom filter
cmd, core: print warning log
core/state/pruner: adjust the parameters for bloom filter
cmd, core: create the bloom filter by size
core: polish
core/state/pruner: sanitize invalid bloomfilter size
cmd: address comments
cmd/geth: address comments
cmd/geth: address comment
core/state/pruner: address comments
core/state/pruner: rename homedir to datadir
cmd, core: address comments
core/state/pruner: address comment
core/state: address comments
core, cmd, tests: address comments
core: address comments
core/state/pruner: release the iterator after each commit
core/state/pruner: improve pruner
cmd, core: adjust bloom paramters
core/state/pruner: fix lint
core/state/pruner: fix tests
core: fix rebase
core/state/pruner: remove atomic rename
core/state/pruner: address comments
all: run go mod tidy
core/state/pruner: avoid false-positive for the middle state roots
core/state/pruner: add checks for middle roots
cmd/geth: replace crit with error
* core/state/pruner: fix lint
* core: drop legacy bloom filter
* core/state/snapshot: improve pruner
* core/state/snapshot: polish concurrent logs to report ETA vs. hashes
* core/state/pruner: add progress report for pruning and compaction too
* core: fix snapshot test API
* core/state: fix some pruning logs
* core/state/pruner: support recovering from bloom flush fail
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-02-08 05:16:30 -06:00
|
|
|
// Copyright 2020 The go-ethereum Authors
|
|
|
|
// This file is part of go-ethereum.
|
|
|
|
//
|
|
|
|
// go-ethereum is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
|
|
|
// go-ethereum is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with go-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
package main
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
"errors"
|
|
|
|
"time"
|
|
|
|
|
|
|
|
"github.com/ethereum/go-ethereum/cmd/utils"
|
|
|
|
"github.com/ethereum/go-ethereum/common"
|
|
|
|
"github.com/ethereum/go-ethereum/core/rawdb"
|
|
|
|
"github.com/ethereum/go-ethereum/core/state"
|
|
|
|
"github.com/ethereum/go-ethereum/core/state/pruner"
|
|
|
|
"github.com/ethereum/go-ethereum/core/state/snapshot"
|
|
|
|
"github.com/ethereum/go-ethereum/crypto"
|
|
|
|
"github.com/ethereum/go-ethereum/log"
|
|
|
|
"github.com/ethereum/go-ethereum/rlp"
|
|
|
|
"github.com/ethereum/go-ethereum/trie"
|
|
|
|
cli "gopkg.in/urfave/cli.v1"
|
|
|
|
)
|
|
|
|
|
|
|
|
var (
|
|
|
|
// emptyRoot is the known root hash of an empty trie.
|
|
|
|
emptyRoot = common.HexToHash("56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421")
|
|
|
|
|
|
|
|
// emptyCode is the known hash of the empty EVM bytecode.
|
|
|
|
emptyCode = crypto.Keccak256(nil)
|
|
|
|
)
|
|
|
|
|
|
|
|
var (
|
|
|
|
snapshotCommand = cli.Command{
|
|
|
|
Name: "snapshot",
|
|
|
|
Usage: "A set of commands based on the snapshot",
|
|
|
|
Category: "MISCELLANEOUS COMMANDS",
|
|
|
|
Description: "",
|
|
|
|
Subcommands: []cli.Command{
|
|
|
|
{
|
|
|
|
Name: "prune-state",
|
|
|
|
Usage: "Prune stale ethereum state data based on the snapshot",
|
|
|
|
ArgsUsage: "<root>",
|
|
|
|
Action: utils.MigrateFlags(pruneState),
|
|
|
|
Category: "MISCELLANEOUS COMMANDS",
|
|
|
|
Flags: []cli.Flag{
|
|
|
|
utils.DataDirFlag,
|
2021-03-12 03:16:19 -06:00
|
|
|
utils.AncientFlag,
|
all: bloom-filter based pruning mechanism (#21724)
* cmd, core, tests: initial state pruner
core: fix db inspector
cmd/geth: add verify-state
cmd/geth: add verification tool
core/rawdb: implement flatdb
cmd, core: fix rebase
core/state: use new contract code layout
core/state/pruner: avoid deleting genesis state
cmd/geth: add helper function
core, cmd: fix extract genesis
core: minor fixes
contracts: remove useless
core/state/snapshot: plugin stacktrie
core: polish
core/state/snapshot: iterate storage concurrently
core/state/snapshot: fix iteration
core: add comments
core/state/snapshot: polish code
core/state: polish
core/state/snapshot: rebase
core/rawdb: add comments
core/rawdb: fix tests
core/rawdb: improve tests
core/state/snapshot: fix concurrent iteration
core/state: run pruning during the recovery
core, trie: implement martin's idea
core, eth: delete flatdb and polish pruner
trie: fix import
core/state/pruner: add log
core/state/pruner: fix issues
core/state/pruner: don't read back
core/state/pruner: fix contract code write
core/state/pruner: check root node presence
cmd, core: polish log
core/state: use HEAD-127 as the target
core/state/snapshot: improve tests
cmd/geth: fix verification tool
cmd/geth: use HEAD as the verification default target
all: replace the bloomfilter with martin's fork
cmd, core: polish code
core, cmd: forcibly delete state root
core/state/pruner: add hash64
core/state/pruner: fix blacklist
core/state: remove blacklist
cmd, core: delete trie clean cache before pruning
cmd, core: fix lint
cmd, core: fix rebase
core/state: fix the special case for clique networks
core/state/snapshot: remove useless code
core/state/pruner: capping the snapshot after pruning
cmd, core, eth: fixes
core/rawdb: update db inspector
cmd/geth: polish code
core/state/pruner: fsync bloom filter
cmd, core: print warning log
core/state/pruner: adjust the parameters for bloom filter
cmd, core: create the bloom filter by size
core: polish
core/state/pruner: sanitize invalid bloomfilter size
cmd: address comments
cmd/geth: address comments
cmd/geth: address comment
core/state/pruner: address comments
core/state/pruner: rename homedir to datadir
cmd, core: address comments
core/state/pruner: address comment
core/state: address comments
core, cmd, tests: address comments
core: address comments
core/state/pruner: release the iterator after each commit
core/state/pruner: improve pruner
cmd, core: adjust bloom paramters
core/state/pruner: fix lint
core/state/pruner: fix tests
core: fix rebase
core/state/pruner: remove atomic rename
core/state/pruner: address comments
all: run go mod tidy
core/state/pruner: avoid false-positive for the middle state roots
core/state/pruner: add checks for middle roots
cmd/geth: replace crit with error
* core/state/pruner: fix lint
* core: drop legacy bloom filter
* core/state/snapshot: improve pruner
* core/state/snapshot: polish concurrent logs to report ETA vs. hashes
* core/state/pruner: add progress report for pruning and compaction too
* core: fix snapshot test API
* core/state: fix some pruning logs
* core/state/pruner: support recovering from bloom flush fail
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-02-08 05:16:30 -06:00
|
|
|
utils.RopstenFlag,
|
|
|
|
utils.RinkebyFlag,
|
|
|
|
utils.GoerliFlag,
|
|
|
|
utils.CacheTrieJournalFlag,
|
|
|
|
utils.BloomFilterSizeFlag,
|
|
|
|
},
|
|
|
|
Description: `
|
|
|
|
geth snapshot prune-state <state-root>
|
|
|
|
will prune historical state data with the help of the state snapshot.
|
|
|
|
All trie nodes and contract codes that do not belong to the specified
|
|
|
|
version state will be deleted from the database. After pruning, only
|
|
|
|
two version states are available: genesis and the specific one.
|
|
|
|
|
|
|
|
The default pruning target is the HEAD-127 state.
|
|
|
|
|
|
|
|
WARNING: It's necessary to delete the trie clean cache after the pruning.
|
|
|
|
If you specify another directory for the trie clean cache via "--cache.trie.journal"
|
|
|
|
during the use of Geth, please also specify it here for correct deletion. Otherwise
|
|
|
|
the trie clean cache with default directory will be deleted.
|
|
|
|
`,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
Name: "verify-state",
|
|
|
|
Usage: "Recalculate state hash based on the snapshot for verification",
|
|
|
|
ArgsUsage: "<root>",
|
|
|
|
Action: utils.MigrateFlags(verifyState),
|
|
|
|
Category: "MISCELLANEOUS COMMANDS",
|
|
|
|
Flags: []cli.Flag{
|
|
|
|
utils.DataDirFlag,
|
2021-03-12 03:16:19 -06:00
|
|
|
utils.AncientFlag,
|
all: bloom-filter based pruning mechanism (#21724)
* cmd, core, tests: initial state pruner
core: fix db inspector
cmd/geth: add verify-state
cmd/geth: add verification tool
core/rawdb: implement flatdb
cmd, core: fix rebase
core/state: use new contract code layout
core/state/pruner: avoid deleting genesis state
cmd/geth: add helper function
core, cmd: fix extract genesis
core: minor fixes
contracts: remove useless
core/state/snapshot: plugin stacktrie
core: polish
core/state/snapshot: iterate storage concurrently
core/state/snapshot: fix iteration
core: add comments
core/state/snapshot: polish code
core/state: polish
core/state/snapshot: rebase
core/rawdb: add comments
core/rawdb: fix tests
core/rawdb: improve tests
core/state/snapshot: fix concurrent iteration
core/state: run pruning during the recovery
core, trie: implement martin's idea
core, eth: delete flatdb and polish pruner
trie: fix import
core/state/pruner: add log
core/state/pruner: fix issues
core/state/pruner: don't read back
core/state/pruner: fix contract code write
core/state/pruner: check root node presence
cmd, core: polish log
core/state: use HEAD-127 as the target
core/state/snapshot: improve tests
cmd/geth: fix verification tool
cmd/geth: use HEAD as the verification default target
all: replace the bloomfilter with martin's fork
cmd, core: polish code
core, cmd: forcibly delete state root
core/state/pruner: add hash64
core/state/pruner: fix blacklist
core/state: remove blacklist
cmd, core: delete trie clean cache before pruning
cmd, core: fix lint
cmd, core: fix rebase
core/state: fix the special case for clique networks
core/state/snapshot: remove useless code
core/state/pruner: capping the snapshot after pruning
cmd, core, eth: fixes
core/rawdb: update db inspector
cmd/geth: polish code
core/state/pruner: fsync bloom filter
cmd, core: print warning log
core/state/pruner: adjust the parameters for bloom filter
cmd, core: create the bloom filter by size
core: polish
core/state/pruner: sanitize invalid bloomfilter size
cmd: address comments
cmd/geth: address comments
cmd/geth: address comment
core/state/pruner: address comments
core/state/pruner: rename homedir to datadir
cmd, core: address comments
core/state/pruner: address comment
core/state: address comments
core, cmd, tests: address comments
core: address comments
core/state/pruner: release the iterator after each commit
core/state/pruner: improve pruner
cmd, core: adjust bloom paramters
core/state/pruner: fix lint
core/state/pruner: fix tests
core: fix rebase
core/state/pruner: remove atomic rename
core/state/pruner: address comments
all: run go mod tidy
core/state/pruner: avoid false-positive for the middle state roots
core/state/pruner: add checks for middle roots
cmd/geth: replace crit with error
* core/state/pruner: fix lint
* core: drop legacy bloom filter
* core/state/snapshot: improve pruner
* core/state/snapshot: polish concurrent logs to report ETA vs. hashes
* core/state/pruner: add progress report for pruning and compaction too
* core: fix snapshot test API
* core/state: fix some pruning logs
* core/state/pruner: support recovering from bloom flush fail
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-02-08 05:16:30 -06:00
|
|
|
utils.RopstenFlag,
|
|
|
|
utils.RinkebyFlag,
|
|
|
|
utils.GoerliFlag,
|
|
|
|
},
|
|
|
|
Description: `
|
|
|
|
geth snapshot verify-state <state-root>
|
|
|
|
will traverse the whole accounts and storages set based on the specified
|
|
|
|
snapshot and recalculate the root hash of state for verification.
|
|
|
|
In other words, this command does the snapshot to trie conversion.
|
|
|
|
`,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
Name: "traverse-state",
|
|
|
|
Usage: "Traverse the state with given root hash for verification",
|
|
|
|
ArgsUsage: "<root>",
|
|
|
|
Action: utils.MigrateFlags(traverseState),
|
|
|
|
Category: "MISCELLANEOUS COMMANDS",
|
|
|
|
Flags: []cli.Flag{
|
|
|
|
utils.DataDirFlag,
|
2021-03-12 03:16:19 -06:00
|
|
|
utils.AncientFlag,
|
all: bloom-filter based pruning mechanism (#21724)
* cmd, core, tests: initial state pruner
core: fix db inspector
cmd/geth: add verify-state
cmd/geth: add verification tool
core/rawdb: implement flatdb
cmd, core: fix rebase
core/state: use new contract code layout
core/state/pruner: avoid deleting genesis state
cmd/geth: add helper function
core, cmd: fix extract genesis
core: minor fixes
contracts: remove useless
core/state/snapshot: plugin stacktrie
core: polish
core/state/snapshot: iterate storage concurrently
core/state/snapshot: fix iteration
core: add comments
core/state/snapshot: polish code
core/state: polish
core/state/snapshot: rebase
core/rawdb: add comments
core/rawdb: fix tests
core/rawdb: improve tests
core/state/snapshot: fix concurrent iteration
core/state: run pruning during the recovery
core, trie: implement martin's idea
core, eth: delete flatdb and polish pruner
trie: fix import
core/state/pruner: add log
core/state/pruner: fix issues
core/state/pruner: don't read back
core/state/pruner: fix contract code write
core/state/pruner: check root node presence
cmd, core: polish log
core/state: use HEAD-127 as the target
core/state/snapshot: improve tests
cmd/geth: fix verification tool
cmd/geth: use HEAD as the verification default target
all: replace the bloomfilter with martin's fork
cmd, core: polish code
core, cmd: forcibly delete state root
core/state/pruner: add hash64
core/state/pruner: fix blacklist
core/state: remove blacklist
cmd, core: delete trie clean cache before pruning
cmd, core: fix lint
cmd, core: fix rebase
core/state: fix the special case for clique networks
core/state/snapshot: remove useless code
core/state/pruner: capping the snapshot after pruning
cmd, core, eth: fixes
core/rawdb: update db inspector
cmd/geth: polish code
core/state/pruner: fsync bloom filter
cmd, core: print warning log
core/state/pruner: adjust the parameters for bloom filter
cmd, core: create the bloom filter by size
core: polish
core/state/pruner: sanitize invalid bloomfilter size
cmd: address comments
cmd/geth: address comments
cmd/geth: address comment
core/state/pruner: address comments
core/state/pruner: rename homedir to datadir
cmd, core: address comments
core/state/pruner: address comment
core/state: address comments
core, cmd, tests: address comments
core: address comments
core/state/pruner: release the iterator after each commit
core/state/pruner: improve pruner
cmd, core: adjust bloom paramters
core/state/pruner: fix lint
core/state/pruner: fix tests
core: fix rebase
core/state/pruner: remove atomic rename
core/state/pruner: address comments
all: run go mod tidy
core/state/pruner: avoid false-positive for the middle state roots
core/state/pruner: add checks for middle roots
cmd/geth: replace crit with error
* core/state/pruner: fix lint
* core: drop legacy bloom filter
* core/state/snapshot: improve pruner
* core/state/snapshot: polish concurrent logs to report ETA vs. hashes
* core/state/pruner: add progress report for pruning and compaction too
* core: fix snapshot test API
* core/state: fix some pruning logs
* core/state/pruner: support recovering from bloom flush fail
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-02-08 05:16:30 -06:00
|
|
|
utils.RopstenFlag,
|
|
|
|
utils.RinkebyFlag,
|
|
|
|
utils.GoerliFlag,
|
|
|
|
},
|
|
|
|
Description: `
|
|
|
|
geth snapshot traverse-state <state-root>
|
|
|
|
will traverse the whole state from the given state root and will abort if any
|
|
|
|
referenced trie node or contract code is missing. This command can be used for
|
|
|
|
state integrity verification. The default checking target is the HEAD state.
|
|
|
|
|
|
|
|
It's also usable without snapshot enabled.
|
|
|
|
`,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
Name: "traverse-rawstate",
|
|
|
|
Usage: "Traverse the state with given root hash for verification",
|
|
|
|
ArgsUsage: "<root>",
|
|
|
|
Action: utils.MigrateFlags(traverseRawState),
|
|
|
|
Category: "MISCELLANEOUS COMMANDS",
|
|
|
|
Flags: []cli.Flag{
|
|
|
|
utils.DataDirFlag,
|
2021-03-12 03:16:19 -06:00
|
|
|
utils.AncientFlag,
|
all: bloom-filter based pruning mechanism (#21724)
* cmd, core, tests: initial state pruner
core: fix db inspector
cmd/geth: add verify-state
cmd/geth: add verification tool
core/rawdb: implement flatdb
cmd, core: fix rebase
core/state: use new contract code layout
core/state/pruner: avoid deleting genesis state
cmd/geth: add helper function
core, cmd: fix extract genesis
core: minor fixes
contracts: remove useless
core/state/snapshot: plugin stacktrie
core: polish
core/state/snapshot: iterate storage concurrently
core/state/snapshot: fix iteration
core: add comments
core/state/snapshot: polish code
core/state: polish
core/state/snapshot: rebase
core/rawdb: add comments
core/rawdb: fix tests
core/rawdb: improve tests
core/state/snapshot: fix concurrent iteration
core/state: run pruning during the recovery
core, trie: implement martin's idea
core, eth: delete flatdb and polish pruner
trie: fix import
core/state/pruner: add log
core/state/pruner: fix issues
core/state/pruner: don't read back
core/state/pruner: fix contract code write
core/state/pruner: check root node presence
cmd, core: polish log
core/state: use HEAD-127 as the target
core/state/snapshot: improve tests
cmd/geth: fix verification tool
cmd/geth: use HEAD as the verification default target
all: replace the bloomfilter with martin's fork
cmd, core: polish code
core, cmd: forcibly delete state root
core/state/pruner: add hash64
core/state/pruner: fix blacklist
core/state: remove blacklist
cmd, core: delete trie clean cache before pruning
cmd, core: fix lint
cmd, core: fix rebase
core/state: fix the special case for clique networks
core/state/snapshot: remove useless code
core/state/pruner: capping the snapshot after pruning
cmd, core, eth: fixes
core/rawdb: update db inspector
cmd/geth: polish code
core/state/pruner: fsync bloom filter
cmd, core: print warning log
core/state/pruner: adjust the parameters for bloom filter
cmd, core: create the bloom filter by size
core: polish
core/state/pruner: sanitize invalid bloomfilter size
cmd: address comments
cmd/geth: address comments
cmd/geth: address comment
core/state/pruner: address comments
core/state/pruner: rename homedir to datadir
cmd, core: address comments
core/state/pruner: address comment
core/state: address comments
core, cmd, tests: address comments
core: address comments
core/state/pruner: release the iterator after each commit
core/state/pruner: improve pruner
cmd, core: adjust bloom paramters
core/state/pruner: fix lint
core/state/pruner: fix tests
core: fix rebase
core/state/pruner: remove atomic rename
core/state/pruner: address comments
all: run go mod tidy
core/state/pruner: avoid false-positive for the middle state roots
core/state/pruner: add checks for middle roots
cmd/geth: replace crit with error
* core/state/pruner: fix lint
* core: drop legacy bloom filter
* core/state/snapshot: improve pruner
* core/state/snapshot: polish concurrent logs to report ETA vs. hashes
* core/state/pruner: add progress report for pruning and compaction too
* core: fix snapshot test API
* core/state: fix some pruning logs
* core/state/pruner: support recovering from bloom flush fail
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-02-08 05:16:30 -06:00
|
|
|
utils.RopstenFlag,
|
|
|
|
utils.RinkebyFlag,
|
|
|
|
utils.GoerliFlag,
|
|
|
|
},
|
|
|
|
Description: `
|
|
|
|
geth snapshot traverse-rawstate <state-root>
|
|
|
|
will traverse the whole state from the given root and will abort if any referenced
|
|
|
|
trie node or contract code is missing. This command can be used for state integrity
|
|
|
|
verification. The default checking target is the HEAD state. It's basically identical
|
|
|
|
to traverse-state, but the check granularity is smaller.
|
|
|
|
|
|
|
|
It's also usable without snapshot enabled.
|
|
|
|
`,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
}
|
|
|
|
)
|
|
|
|
|
|
|
|
func pruneState(ctx *cli.Context) error {
|
|
|
|
stack, config := makeConfigNode(ctx)
|
|
|
|
defer stack.Close()
|
|
|
|
|
|
|
|
chain, chaindb := utils.MakeChain(ctx, stack, true)
|
|
|
|
defer chaindb.Close()
|
|
|
|
|
|
|
|
pruner, err := pruner.NewPruner(chaindb, chain.CurrentBlock().Header(), stack.ResolvePath(""), stack.ResolvePath(config.Eth.TrieCleanCacheJournal), ctx.GlobalUint64(utils.BloomFilterSizeFlag.Name))
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to open snapshot tree", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if ctx.NArg() > 1 {
|
|
|
|
log.Error("Too many arguments given")
|
|
|
|
return errors.New("too many arguments")
|
|
|
|
}
|
|
|
|
var targetRoot common.Hash
|
|
|
|
if ctx.NArg() == 1 {
|
|
|
|
targetRoot, err = parseRoot(ctx.Args()[0])
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to resolve state root", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if err = pruner.Prune(targetRoot); err != nil {
|
|
|
|
log.Error("Failed to prune state", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func verifyState(ctx *cli.Context) error {
|
|
|
|
stack, _ := makeConfigNode(ctx)
|
|
|
|
defer stack.Close()
|
|
|
|
|
|
|
|
chain, chaindb := utils.MakeChain(ctx, stack, true)
|
|
|
|
defer chaindb.Close()
|
|
|
|
|
|
|
|
snaptree, err := snapshot.New(chaindb, trie.NewDatabase(chaindb), 256, chain.CurrentBlock().Root(), false, false, false)
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to open snapshot tree", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if ctx.NArg() > 1 {
|
|
|
|
log.Error("Too many arguments given")
|
|
|
|
return errors.New("too many arguments")
|
|
|
|
}
|
|
|
|
var root = chain.CurrentBlock().Root()
|
|
|
|
if ctx.NArg() == 1 {
|
|
|
|
root, err = parseRoot(ctx.Args()[0])
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to resolve state root", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if err := snaptree.Verify(root); err != nil {
|
|
|
|
log.Error("Failed to verfiy state", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
log.Info("Verified the state")
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// traverseState is a helper function used for pruning verification.
|
|
|
|
// Basically it just iterates the trie, ensure all nodes and associated
|
|
|
|
// contract codes are present.
|
|
|
|
func traverseState(ctx *cli.Context) error {
|
|
|
|
stack, _ := makeConfigNode(ctx)
|
|
|
|
defer stack.Close()
|
|
|
|
|
|
|
|
chain, chaindb := utils.MakeChain(ctx, stack, true)
|
|
|
|
defer chaindb.Close()
|
|
|
|
|
|
|
|
if ctx.NArg() > 1 {
|
|
|
|
log.Error("Too many arguments given")
|
|
|
|
return errors.New("too many arguments")
|
|
|
|
}
|
|
|
|
// Use the HEAD root as the default
|
|
|
|
head := chain.CurrentBlock()
|
|
|
|
if head == nil {
|
|
|
|
log.Error("Head block is missing")
|
|
|
|
return errors.New("head block is missing")
|
|
|
|
}
|
|
|
|
var (
|
|
|
|
root common.Hash
|
|
|
|
err error
|
|
|
|
)
|
|
|
|
if ctx.NArg() == 1 {
|
|
|
|
root, err = parseRoot(ctx.Args()[0])
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to resolve state root", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
log.Info("Start traversing the state", "root", root)
|
|
|
|
} else {
|
|
|
|
root = head.Root()
|
|
|
|
log.Info("Start traversing the state", "root", root, "number", head.NumberU64())
|
|
|
|
}
|
|
|
|
triedb := trie.NewDatabase(chaindb)
|
|
|
|
t, err := trie.NewSecure(root, triedb)
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to open trie", "root", root, "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
var (
|
|
|
|
accounts int
|
|
|
|
slots int
|
|
|
|
codes int
|
|
|
|
lastReport time.Time
|
|
|
|
start = time.Now()
|
|
|
|
)
|
|
|
|
accIter := trie.NewIterator(t.NodeIterator(nil))
|
|
|
|
for accIter.Next() {
|
|
|
|
accounts += 1
|
|
|
|
var acc state.Account
|
|
|
|
if err := rlp.DecodeBytes(accIter.Value, &acc); err != nil {
|
|
|
|
log.Error("Invalid account encountered during traversal", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if acc.Root != emptyRoot {
|
|
|
|
storageTrie, err := trie.NewSecure(acc.Root, triedb)
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to open storage trie", "root", acc.Root, "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
storageIter := trie.NewIterator(storageTrie.NodeIterator(nil))
|
|
|
|
for storageIter.Next() {
|
|
|
|
slots += 1
|
|
|
|
}
|
|
|
|
if storageIter.Err != nil {
|
|
|
|
log.Error("Failed to traverse storage trie", "root", acc.Root, "error", storageIter.Err)
|
|
|
|
return storageIter.Err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if !bytes.Equal(acc.CodeHash, emptyCode) {
|
|
|
|
code := rawdb.ReadCode(chaindb, common.BytesToHash(acc.CodeHash))
|
|
|
|
if len(code) == 0 {
|
|
|
|
log.Error("Code is missing", "hash", common.BytesToHash(acc.CodeHash))
|
|
|
|
return errors.New("missing code")
|
|
|
|
}
|
|
|
|
codes += 1
|
|
|
|
}
|
|
|
|
if time.Since(lastReport) > time.Second*8 {
|
|
|
|
log.Info("Traversing state", "accounts", accounts, "slots", slots, "codes", codes, "elapsed", common.PrettyDuration(time.Since(start)))
|
|
|
|
lastReport = time.Now()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if accIter.Err != nil {
|
|
|
|
log.Error("Failed to traverse state trie", "root", root, "error", accIter.Err)
|
|
|
|
return accIter.Err
|
|
|
|
}
|
|
|
|
log.Info("State is complete", "accounts", accounts, "slots", slots, "codes", codes, "elapsed", common.PrettyDuration(time.Since(start)))
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// traverseRawState is a helper function used for pruning verification.
|
|
|
|
// Basically it just iterates the trie, ensure all nodes and associated
|
|
|
|
// contract codes are present. It's basically identical to traverseState
|
|
|
|
// but it will check each trie node.
|
|
|
|
func traverseRawState(ctx *cli.Context) error {
|
|
|
|
stack, _ := makeConfigNode(ctx)
|
|
|
|
defer stack.Close()
|
|
|
|
|
|
|
|
chain, chaindb := utils.MakeChain(ctx, stack, true)
|
|
|
|
defer chaindb.Close()
|
|
|
|
|
|
|
|
if ctx.NArg() > 1 {
|
|
|
|
log.Error("Too many arguments given")
|
|
|
|
return errors.New("too many arguments")
|
|
|
|
}
|
|
|
|
// Use the HEAD root as the default
|
|
|
|
head := chain.CurrentBlock()
|
|
|
|
if head == nil {
|
|
|
|
log.Error("Head block is missing")
|
|
|
|
return errors.New("head block is missing")
|
|
|
|
}
|
|
|
|
var (
|
|
|
|
root common.Hash
|
|
|
|
err error
|
|
|
|
)
|
|
|
|
if ctx.NArg() == 1 {
|
|
|
|
root, err = parseRoot(ctx.Args()[0])
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to resolve state root", "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
log.Info("Start traversing the state", "root", root)
|
|
|
|
} else {
|
|
|
|
root = head.Root()
|
|
|
|
log.Info("Start traversing the state", "root", root, "number", head.NumberU64())
|
|
|
|
}
|
|
|
|
triedb := trie.NewDatabase(chaindb)
|
|
|
|
t, err := trie.NewSecure(root, triedb)
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to open trie", "root", root, "error", err)
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
var (
|
|
|
|
nodes int
|
|
|
|
accounts int
|
|
|
|
slots int
|
|
|
|
codes int
|
|
|
|
lastReport time.Time
|
|
|
|
start = time.Now()
|
|
|
|
)
|
|
|
|
accIter := t.NodeIterator(nil)
|
|
|
|
for accIter.Next(true) {
|
|
|
|
nodes += 1
|
|
|
|
node := accIter.Hash()
|
|
|
|
|
|
|
|
if node != (common.Hash{}) {
|
|
|
|
// Check the present for non-empty hash node(embedded node doesn't
|
|
|
|
// have their own hash).
|
|
|
|
blob := rawdb.ReadTrieNode(chaindb, node)
|
|
|
|
if len(blob) == 0 {
|
|
|
|
log.Error("Missing trie node(account)", "hash", node)
|
|
|
|
return errors.New("missing account")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// If it's a leaf node, yes we are touching an account,
|
|
|
|
// dig into the storage trie further.
|
|
|
|
if accIter.Leaf() {
|
|
|
|
accounts += 1
|
|
|
|
var acc state.Account
|
|
|
|
if err := rlp.DecodeBytes(accIter.LeafBlob(), &acc); err != nil {
|
|
|
|
log.Error("Invalid account encountered during traversal", "error", err)
|
|
|
|
return errors.New("invalid account")
|
|
|
|
}
|
|
|
|
if acc.Root != emptyRoot {
|
|
|
|
storageTrie, err := trie.NewSecure(acc.Root, triedb)
|
|
|
|
if err != nil {
|
|
|
|
log.Error("Failed to open storage trie", "root", acc.Root, "error", err)
|
|
|
|
return errors.New("missing storage trie")
|
|
|
|
}
|
|
|
|
storageIter := storageTrie.NodeIterator(nil)
|
|
|
|
for storageIter.Next(true) {
|
|
|
|
nodes += 1
|
|
|
|
node := storageIter.Hash()
|
|
|
|
|
|
|
|
// Check the present for non-empty hash node(embedded node doesn't
|
|
|
|
// have their own hash).
|
|
|
|
if node != (common.Hash{}) {
|
|
|
|
blob := rawdb.ReadTrieNode(chaindb, node)
|
|
|
|
if len(blob) == 0 {
|
|
|
|
log.Error("Missing trie node(storage)", "hash", node)
|
|
|
|
return errors.New("missing storage")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// Bump the counter if it's leaf node.
|
|
|
|
if storageIter.Leaf() {
|
|
|
|
slots += 1
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if storageIter.Error() != nil {
|
|
|
|
log.Error("Failed to traverse storage trie", "root", acc.Root, "error", storageIter.Error())
|
|
|
|
return storageIter.Error()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if !bytes.Equal(acc.CodeHash, emptyCode) {
|
|
|
|
code := rawdb.ReadCode(chaindb, common.BytesToHash(acc.CodeHash))
|
|
|
|
if len(code) == 0 {
|
|
|
|
log.Error("Code is missing", "account", common.BytesToHash(accIter.LeafKey()))
|
|
|
|
return errors.New("missing code")
|
|
|
|
}
|
|
|
|
codes += 1
|
|
|
|
}
|
|
|
|
if time.Since(lastReport) > time.Second*8 {
|
|
|
|
log.Info("Traversing state", "nodes", nodes, "accounts", accounts, "slots", slots, "codes", codes, "elapsed", common.PrettyDuration(time.Since(start)))
|
|
|
|
lastReport = time.Now()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if accIter.Error() != nil {
|
|
|
|
log.Error("Failed to traverse state trie", "root", root, "error", accIter.Error())
|
|
|
|
return accIter.Error()
|
|
|
|
}
|
|
|
|
log.Info("State is complete", "nodes", nodes, "accounts", accounts, "slots", slots, "codes", codes, "elapsed", common.PrettyDuration(time.Since(start)))
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func parseRoot(input string) (common.Hash, error) {
|
|
|
|
var h common.Hash
|
|
|
|
if err := h.UnmarshalText([]byte(input)); err != nil {
|
|
|
|
return h, err
|
|
|
|
}
|
|
|
|
return h, nil
|
|
|
|
}
|