2016-04-14 18:18:24 +02:00
|
|
|
// Copyright 2015 The go-ethereum Authors
|
2015-10-19 16:08:17 +02:00
|
|
|
// This file is part of the go-ethereum library.
|
|
|
|
//
|
|
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
|
|
|
// 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.
|
|
|
|
//
|
|
|
|
// The go-ethereum library 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 Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
|
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
package core
|
|
|
|
|
|
|
|
import (
|
2023-05-25 20:24:09 +08:00
|
|
|
"errors"
|
2015-10-19 16:08:17 +02:00
|
|
|
"fmt"
|
2022-07-05 11:14:21 +08:00
|
|
|
"time"
|
2015-10-19 16:08:17 +02:00
|
|
|
|
2022-07-05 11:14:21 +08:00
|
|
|
"github.com/ethereum/go-ethereum/common"
|
2017-04-05 01:16:29 +03:00
|
|
|
"github.com/ethereum/go-ethereum/consensus"
|
2015-10-19 16:08:17 +02:00
|
|
|
"github.com/ethereum/go-ethereum/core/state"
|
|
|
|
"github.com/ethereum/go-ethereum/core/types"
|
2024-09-04 10:20:47 +08:00
|
|
|
"github.com/ethereum/go-ethereum/metrics"
|
2015-10-19 16:08:17 +02:00
|
|
|
"github.com/ethereum/go-ethereum/params"
|
2020-08-21 20:10:40 +08:00
|
|
|
"github.com/ethereum/go-ethereum/trie"
|
2015-11-27 15:40:29 +01:00
|
|
|
)
|
|
|
|
|
2022-07-05 11:14:21 +08:00
|
|
|
const badBlockCacheExpire = 30 * time.Second
|
|
|
|
|
|
|
|
type BlockValidatorOption func(*BlockValidator) *BlockValidator
|
|
|
|
|
|
|
|
func EnableRemoteVerifyManager(remoteValidator *remoteVerifyManager) BlockValidatorOption {
|
|
|
|
return func(bv *BlockValidator) *BlockValidator {
|
|
|
|
bv.remoteValidator = remoteValidator
|
|
|
|
return bv
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-09-04 10:20:47 +08:00
|
|
|
var (
|
|
|
|
validateBloomTimer = metrics.NewRegisteredTimer("validate/bloom/time", nil)
|
|
|
|
validateReceiptTimer = metrics.NewRegisteredTimer("validate/receipt/time", nil)
|
|
|
|
validateRootTimer = metrics.NewRegisteredTimer("validate/root/time", nil)
|
|
|
|
)
|
|
|
|
|
2015-10-19 16:08:17 +02:00
|
|
|
// BlockValidator is responsible for validating block headers, uncles and
|
|
|
|
// processed state.
|
|
|
|
//
|
|
|
|
// BlockValidator implements Validator.
|
|
|
|
type BlockValidator struct {
|
2022-07-05 11:14:21 +08:00
|
|
|
config *params.ChainConfig // Chain configuration options
|
|
|
|
bc *BlockChain // Canonical block chain
|
|
|
|
engine consensus.Engine // Consensus engine used for validating
|
|
|
|
remoteValidator *remoteVerifyManager
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// NewBlockValidator returns a new block validator which is safe for re-use
|
2022-07-05 11:14:21 +08:00
|
|
|
func NewBlockValidator(config *params.ChainConfig, blockchain *BlockChain, engine consensus.Engine, opts ...BlockValidatorOption) *BlockValidator {
|
2015-10-19 16:08:17 +02:00
|
|
|
validator := &BlockValidator{
|
2016-03-01 23:32:43 +01:00
|
|
|
config: config,
|
2017-04-05 01:16:29 +03:00
|
|
|
engine: engine,
|
2016-03-01 23:32:43 +01:00
|
|
|
bc: blockchain,
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
|
|
|
|
for _, opt := range opts {
|
|
|
|
validator = opt(validator)
|
|
|
|
}
|
|
|
|
|
2015-10-19 16:08:17 +02:00
|
|
|
return validator
|
|
|
|
}
|
|
|
|
|
2024-05-15 14:54:25 +08:00
|
|
|
// ValidateListsInBody validates that UncleHash, WithdrawalsHash, and WithdrawalsHash correspond to the lists in the block body, respectively.
|
|
|
|
func ValidateListsInBody(block *types.Block) error {
|
|
|
|
header := block.Header()
|
|
|
|
if hash := types.CalcUncleHash(block.Uncles()); hash != header.UncleHash {
|
|
|
|
return fmt.Errorf("uncle root hash mismatch (header value %x, calculated %x)", header.UncleHash, hash)
|
|
|
|
}
|
|
|
|
if hash := types.DeriveSha(block.Transactions(), trie.NewStackTrie(nil)); hash != header.TxHash {
|
|
|
|
return fmt.Errorf("transaction root hash mismatch: have %x, want %x", hash, header.TxHash)
|
|
|
|
}
|
|
|
|
// Withdrawals are present after the Shanghai fork.
|
|
|
|
if header.WithdrawalsHash != nil {
|
|
|
|
// Withdrawals list must be present in body after Shanghai.
|
|
|
|
if block.Withdrawals() == nil {
|
|
|
|
return errors.New("missing withdrawals in block body")
|
|
|
|
}
|
|
|
|
if hash := types.DeriveSha(block.Withdrawals(), trie.NewStackTrie(nil)); hash != *header.WithdrawalsHash {
|
|
|
|
return fmt.Errorf("withdrawals root hash mismatch (header value %x, calculated %x)", *header.WithdrawalsHash, hash)
|
|
|
|
}
|
|
|
|
} else if block.Withdrawals() != nil { // Withdrawals turn into empty from nil when BlockBody has Sidecars
|
|
|
|
// Withdrawals are not allowed prior to shanghai fork
|
|
|
|
return errors.New("withdrawals present in block body")
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2018-08-27 16:49:29 +08:00
|
|
|
// ValidateBody validates the given block's uncles and verifies the block
|
2017-04-05 01:16:29 +03:00
|
|
|
// header's transaction and uncle roots. The headers are assumed to be already
|
|
|
|
// validated at this point.
|
|
|
|
func (v *BlockValidator) ValidateBody(block *types.Block) error {
|
2023-02-06 14:52:51 -05:00
|
|
|
// Check whether the block is already imported.
|
2018-02-05 18:40:32 +02:00
|
|
|
if v.bc.HasBlockAndState(block.Hash(), block.NumberU64()) {
|
2017-06-27 15:57:06 +02:00
|
|
|
return ErrKnownBlock
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
if v.bc.isCachedBadBlock(block) {
|
|
|
|
return ErrKnownBadBlock
|
|
|
|
}
|
2023-02-06 14:52:51 -05:00
|
|
|
// Header validity is known at this point. Here we verify that uncles, transactions
|
|
|
|
// and withdrawals given in the block body match the header.
|
2015-10-19 16:08:17 +02:00
|
|
|
header := block.Header()
|
2017-04-05 01:16:29 +03:00
|
|
|
if err := v.engine.VerifyUncles(v.bc, block); err != nil {
|
2015-10-19 16:08:17 +02:00
|
|
|
return err
|
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
|
|
|
|
validateFuns := []func() error{
|
|
|
|
func() error {
|
2024-05-15 14:54:25 +08:00
|
|
|
return ValidateListsInBody(block)
|
2022-07-05 11:14:21 +08:00
|
|
|
},
|
2023-08-23 17:46:08 +08:00
|
|
|
func() error {
|
|
|
|
// Blob transactions may be present after the Cancun fork.
|
|
|
|
var blobs int
|
2024-02-02 15:43:33 +08:00
|
|
|
for i, tx := range block.Transactions() {
|
2023-08-23 17:46:08 +08:00
|
|
|
// Count the number of blobs to validate against the header's blobGasUsed
|
|
|
|
blobs += len(tx.BlobHashes())
|
core/types: support for optional blob sidecar in BlobTx (#27841)
This PR removes the newly added txpool.Transaction wrapper type, and instead adds a way
of keeping the blob sidecar within types.Transaction. It's better this way because most
code in go-ethereum does not care about blob transactions, and probably never will. This
will start mattering especially on the client side of RPC, where all APIs are based on
types.Transaction. Users need to be able to use the same signing flows they already
have.
However, since blobs are only allowed in some places but not others, we will now need to
add checks to avoid creating invalid blocks. I'm still trying to figure out the best place
to do some of these. The way I have it currently is as follows:
- In block validation (import), txs are verified not to have a blob sidecar.
- In miner, we strip off the sidecar when committing the transaction into the block.
- In TxPool validation, txs must have a sidecar to be added into the blobpool.
- Note there is a special case here: when transactions are re-added because of a chain
reorg, we cannot use the transactions gathered from the old chain blocks as-is,
because they will be missing their blobs. This was previously handled by storing the
blobs into the 'blobpool limbo'. The code has now changed to store the full
transaction in the limbo instead, but it might be confusing for code readers why we're
not simply adding the types.Transaction we already have.
Code changes summary:
- txpool.Transaction removed and all uses replaced by types.Transaction again
- blobpool now stores types.Transaction instead of defining its own blobTx format for storage
- the blobpool limbo now stores types.Transaction instead of storing only the blobs
- checks to validate the presence/absence of the blob sidecar added in certain critical places
2023-08-14 10:13:34 +02:00
|
|
|
|
2024-02-02 15:43:33 +08:00
|
|
|
// If the tx is a blob tx, it must NOT have a sidecar attached to be valid in a block.
|
|
|
|
if tx.BlobTxSidecar() != nil {
|
|
|
|
return fmt.Errorf("unexpected blob sidecar in transaction at index %d", i)
|
|
|
|
}
|
core/types: support for optional blob sidecar in BlobTx (#27841)
This PR removes the newly added txpool.Transaction wrapper type, and instead adds a way
of keeping the blob sidecar within types.Transaction. It's better this way because most
code in go-ethereum does not care about blob transactions, and probably never will. This
will start mattering especially on the client side of RPC, where all APIs are based on
types.Transaction. Users need to be able to use the same signing flows they already
have.
However, since blobs are only allowed in some places but not others, we will now need to
add checks to avoid creating invalid blocks. I'm still trying to figure out the best place
to do some of these. The way I have it currently is as follows:
- In block validation (import), txs are verified not to have a blob sidecar.
- In miner, we strip off the sidecar when committing the transaction into the block.
- In TxPool validation, txs must have a sidecar to be added into the blobpool.
- Note there is a special case here: when transactions are re-added because of a chain
reorg, we cannot use the transactions gathered from the old chain blocks as-is,
because they will be missing their blobs. This was previously handled by storing the
blobs into the 'blobpool limbo'. The code has now changed to store the full
transaction in the limbo instead, but it might be confusing for code readers why we're
not simply adding the types.Transaction we already have.
Code changes summary:
- txpool.Transaction removed and all uses replaced by types.Transaction again
- blobpool now stores types.Transaction instead of defining its own blobTx format for storage
- the blobpool limbo now stores types.Transaction instead of storing only the blobs
- checks to validate the presence/absence of the blob sidecar added in certain critical places
2023-08-14 10:13:34 +02:00
|
|
|
|
2023-08-23 17:46:08 +08:00
|
|
|
// The individual checks for blob validity (version-check + not empty)
|
2024-02-02 15:43:33 +08:00
|
|
|
// happens in StateTransition.
|
2023-08-23 17:46:08 +08:00
|
|
|
}
|
core/types: support for optional blob sidecar in BlobTx (#27841)
This PR removes the newly added txpool.Transaction wrapper type, and instead adds a way
of keeping the blob sidecar within types.Transaction. It's better this way because most
code in go-ethereum does not care about blob transactions, and probably never will. This
will start mattering especially on the client side of RPC, where all APIs are based on
types.Transaction. Users need to be able to use the same signing flows they already
have.
However, since blobs are only allowed in some places but not others, we will now need to
add checks to avoid creating invalid blocks. I'm still trying to figure out the best place
to do some of these. The way I have it currently is as follows:
- In block validation (import), txs are verified not to have a blob sidecar.
- In miner, we strip off the sidecar when committing the transaction into the block.
- In TxPool validation, txs must have a sidecar to be added into the blobpool.
- Note there is a special case here: when transactions are re-added because of a chain
reorg, we cannot use the transactions gathered from the old chain blocks as-is,
because they will be missing their blobs. This was previously handled by storing the
blobs into the 'blobpool limbo'. The code has now changed to store the full
transaction in the limbo instead, but it might be confusing for code readers why we're
not simply adding the types.Transaction we already have.
Code changes summary:
- txpool.Transaction removed and all uses replaced by types.Transaction again
- blobpool now stores types.Transaction instead of defining its own blobTx format for storage
- the blobpool limbo now stores types.Transaction instead of storing only the blobs
- checks to validate the presence/absence of the blob sidecar added in certain critical places
2023-08-14 10:13:34 +02:00
|
|
|
|
2024-02-02 15:43:33 +08:00
|
|
|
// Check blob gas usage.
|
2023-08-23 17:46:08 +08:00
|
|
|
if header.BlobGasUsed != nil {
|
|
|
|
if want := *header.BlobGasUsed / params.BlobTxBlobGasPerBlob; uint64(blobs) != want { // div because the header is surely good vs the body might be bloated
|
|
|
|
return fmt.Errorf("blob gas used mismatch (header %v, calculated %v)", *header.BlobGasUsed, blobs*params.BlobTxBlobGasPerBlob)
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if blobs > 0 {
|
|
|
|
return errors.New("data blobs present in block body")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
},
|
2022-07-05 11:14:21 +08:00
|
|
|
func() error {
|
|
|
|
if !v.bc.HasBlockAndState(block.ParentHash(), block.NumberU64()-1) {
|
|
|
|
if !v.bc.HasBlock(block.ParentHash(), block.NumberU64()-1) {
|
|
|
|
return consensus.ErrUnknownAncestor
|
|
|
|
}
|
|
|
|
return consensus.ErrPrunedAncestor
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
},
|
|
|
|
func() error {
|
|
|
|
if v.remoteValidator != nil && !v.remoteValidator.AncestorVerified(block.Header()) {
|
|
|
|
return fmt.Errorf("%w, number: %s, hash: %s", ErrAncestorHasNotBeenVerified, block.Number(), block.Hash())
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
},
|
|
|
|
}
|
|
|
|
validateRes := make(chan error, len(validateFuns))
|
|
|
|
for _, f := range validateFuns {
|
|
|
|
tmpFunc := f
|
|
|
|
go func() {
|
|
|
|
validateRes <- tmpFunc()
|
|
|
|
}()
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
for i := 0; i < len(validateFuns); i++ {
|
|
|
|
r := <-validateRes
|
|
|
|
if r != nil {
|
|
|
|
return r
|
2018-11-07 13:47:11 +01:00
|
|
|
}
|
|
|
|
}
|
2015-10-19 16:08:17 +02:00
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2023-03-17 03:34:25 +08:00
|
|
|
// ValidateState validates the various changes that happen after a state transition,
|
|
|
|
// such as amount of used gas, the receipt roots and the state root itself.
|
2019-03-13 12:31:35 +02:00
|
|
|
func (v *BlockValidator) ValidateState(block *types.Block, statedb *state.StateDB, receipts types.Receipts, usedGas uint64) error {
|
2015-10-19 16:08:17 +02:00
|
|
|
header := block.Header()
|
2017-11-13 13:47:27 +02:00
|
|
|
if block.GasUsed() != usedGas {
|
|
|
|
return fmt.Errorf("invalid gas used (remote: %d local: %d)", block.GasUsed(), usedGas)
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
|
|
|
// Validate the received block's bloom with the one derived from the generated receipts.
|
|
|
|
// For valid blocks this should always validate to true.
|
2022-07-05 11:14:21 +08:00
|
|
|
validateFuns := []func() error{
|
|
|
|
func() error {
|
2024-09-04 10:20:47 +08:00
|
|
|
defer func(start time.Time) {
|
|
|
|
validateBloomTimer.UpdateSince(start)
|
|
|
|
}(time.Now())
|
|
|
|
|
2022-07-05 11:14:21 +08:00
|
|
|
rbloom := types.CreateBloom(receipts)
|
|
|
|
if rbloom != header.Bloom {
|
|
|
|
return fmt.Errorf("invalid bloom (remote: %x local: %x)", header.Bloom, rbloom)
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
},
|
|
|
|
func() error {
|
2024-09-04 10:20:47 +08:00
|
|
|
defer func(start time.Time) {
|
|
|
|
validateReceiptTimer.UpdateSince(start)
|
|
|
|
}(time.Now())
|
2022-07-05 11:14:21 +08:00
|
|
|
receiptSha := types.DeriveSha(receipts, trie.NewStackTrie(nil))
|
|
|
|
if receiptSha != header.ReceiptHash {
|
|
|
|
return fmt.Errorf("invalid receipt root hash (remote: %x local: %x)", header.ReceiptHash, receiptSha)
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
},
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
if statedb.IsPipeCommit() {
|
|
|
|
validateFuns = append(validateFuns, func() error {
|
|
|
|
if err := statedb.WaitPipeVerification(); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
statedb.CorrectAccountsRoot(common.Hash{})
|
|
|
|
statedb.Finalise(v.config.IsEIP158(header.Number))
|
|
|
|
return nil
|
|
|
|
})
|
|
|
|
} else {
|
|
|
|
validateFuns = append(validateFuns, func() error {
|
2024-09-04 10:20:47 +08:00
|
|
|
defer func(start time.Time) {
|
|
|
|
validateRootTimer.UpdateSince(start)
|
|
|
|
}(time.Now())
|
2022-07-05 11:14:21 +08:00
|
|
|
if root := statedb.IntermediateRoot(v.config.IsEIP158(header.Number)); header.Root != root {
|
2023-08-23 17:46:08 +08:00
|
|
|
return fmt.Errorf("invalid merkle root (remote: %x local: %x) dberr: %w", header.Root, root, statedb.Error())
|
2022-07-05 11:14:21 +08:00
|
|
|
}
|
|
|
|
return nil
|
|
|
|
})
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
validateRes := make(chan error, len(validateFuns))
|
|
|
|
for _, f := range validateFuns {
|
|
|
|
tmpFunc := f
|
|
|
|
go func() {
|
|
|
|
validateRes <- tmpFunc()
|
|
|
|
}()
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
|
|
|
|
var err error
|
|
|
|
for i := 0; i < len(validateFuns); i++ {
|
|
|
|
r := <-validateRes
|
|
|
|
if r != nil && err == nil {
|
|
|
|
err = r
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
func (v *BlockValidator) RemoteVerifyManager() *remoteVerifyManager {
|
|
|
|
return v.remoteValidator
|
2015-10-19 16:08:17 +02:00
|
|
|
}
|
|
|
|
|
2018-08-29 12:21:12 +03:00
|
|
|
// CalcGasLimit computes the gas limit of the next block after parent. It aims
|
2022-07-05 11:14:21 +08:00
|
|
|
// to keep the baseline gas close to the provided target, and increase it towards
|
|
|
|
// the target if the baseline gas is lower.
|
|
|
|
func CalcGasLimit(parentGasLimit, desiredLimit uint64) uint64 {
|
|
|
|
delta := parentGasLimit/params.GasLimitBoundDivisor - 1
|
|
|
|
limit := parentGasLimit
|
|
|
|
if desiredLimit < params.MinGasLimit {
|
|
|
|
desiredLimit = params.MinGasLimit
|
2017-11-13 13:47:27 +02:00
|
|
|
}
|
2018-08-29 12:21:12 +03:00
|
|
|
// If we're outside our allowed gas range, we try to hone towards them
|
2022-07-05 11:14:21 +08:00
|
|
|
if limit < desiredLimit {
|
|
|
|
limit = parentGasLimit + delta
|
|
|
|
if limit > desiredLimit {
|
|
|
|
limit = desiredLimit
|
2018-08-29 12:21:12 +03:00
|
|
|
}
|
2022-07-05 11:14:21 +08:00
|
|
|
return limit
|
|
|
|
}
|
|
|
|
if limit > desiredLimit {
|
|
|
|
limit = parentGasLimit - delta
|
|
|
|
if limit < desiredLimit {
|
|
|
|
limit = desiredLimit
|
2017-11-13 13:47:27 +02:00
|
|
|
}
|
2015-11-27 15:40:29 +01:00
|
|
|
}
|
2017-11-13 13:47:27 +02:00
|
|
|
return limit
|
2015-11-27 15:40:29 +01:00
|
|
|
}
|