github.com/Enlighten-Fund/go-ethereum@v1.9.7/core/block_validator.go (about)

     1  // Copyright 2015 The go-ethereum Authors
     2  // This file is part of the go-ethereum library.
     3  //
     4  // The go-ethereum library is free software: you can redistribute it and/or modify
     5  // it under the terms of the GNU Lesser General Public License as published by
     6  // the Free Software Foundation, either version 3 of the License, or
     7  // (at your option) any later version.
     8  //
     9  // The go-ethereum library is distributed in the hope that it will be useful,
    10  // but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    12  // GNU Lesser General Public License for more details.
    13  //
    14  // You should have received a copy of the GNU Lesser General Public License
    15  // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
    16  
    17  package core
    18  
    19  import (
    20  	"fmt"
    21  
    22  	"github.com/ethereum/go-ethereum/consensus"
    23  	"github.com/ethereum/go-ethereum/core/state"
    24  	"github.com/ethereum/go-ethereum/core/types"
    25  	"github.com/ethereum/go-ethereum/params"
    26  )
    27  
    28  // BlockValidator is responsible for validating block headers, uncles and
    29  // processed state.
    30  //
    31  // BlockValidator implements Validator.
    32  type BlockValidator struct {
    33  	config *params.ChainConfig // Chain configuration options
    34  	bc     *BlockChain         // Canonical block chain
    35  	engine consensus.Engine    // Consensus engine used for validating
    36  }
    37  
    38  // NewBlockValidator returns a new block validator which is safe for re-use
    39  func NewBlockValidator(config *params.ChainConfig, blockchain *BlockChain, engine consensus.Engine) *BlockValidator {
    40  	validator := &BlockValidator{
    41  		config: config,
    42  		engine: engine,
    43  		bc:     blockchain,
    44  	}
    45  	return validator
    46  }
    47  
    48  // ValidateBody validates the given block's uncles and verifies the block
    49  // header's transaction and uncle roots. The headers are assumed to be already
    50  // validated at this point.
    51  func (v *BlockValidator) ValidateBody(block *types.Block) error {
    52  	// Check whether the block's known, and if not, that it's linkable
    53  	if v.bc.HasBlockAndState(block.Hash(), block.NumberU64()) {
    54  		return ErrKnownBlock
    55  	}
    56  	// Header validity is known at this point, check the uncles and transactions
    57  	header := block.Header()
    58  	if err := v.engine.VerifyUncles(v.bc, block); err != nil {
    59  		return err
    60  	}
    61  	if hash := types.CalcUncleHash(block.Uncles()); hash != header.UncleHash {
    62  		return fmt.Errorf("uncle root hash mismatch: have %x, want %x", hash, header.UncleHash)
    63  	}
    64  	if hash := types.DeriveSha(block.Transactions()); hash != header.TxHash {
    65  		return fmt.Errorf("transaction root hash mismatch: have %x, want %x", hash, header.TxHash)
    66  	}
    67  	if !v.bc.HasBlockAndState(block.ParentHash(), block.NumberU64()-1) {
    68  		if !v.bc.HasBlock(block.ParentHash(), block.NumberU64()-1) {
    69  			return consensus.ErrUnknownAncestor
    70  		}
    71  		return consensus.ErrPrunedAncestor
    72  	}
    73  	return nil
    74  }
    75  
    76  // ValidateState validates the various changes that happen after a state
    77  // transition, such as amount of used gas, the receipt roots and the state root
    78  // itself. ValidateState returns a database batch if the validation was a success
    79  // otherwise nil and an error is returned.
    80  func (v *BlockValidator) ValidateState(block *types.Block, statedb *state.StateDB, receipts types.Receipts, usedGas uint64) error {
    81  	header := block.Header()
    82  	if block.GasUsed() != usedGas {
    83  		return fmt.Errorf("invalid gas used (remote: %d local: %d)", block.GasUsed(), usedGas)
    84  	}
    85  	// Validate the received block's bloom with the one derived from the generated receipts.
    86  	// For valid blocks this should always validate to true.
    87  	rbloom := types.CreateBloom(receipts)
    88  	if rbloom != header.Bloom {
    89  		return fmt.Errorf("invalid bloom (remote: %x  local: %x)", header.Bloom, rbloom)
    90  	}
    91  	// Tre receipt Trie's root (R = (Tr [[H1, R1], ... [Hn, R1]]))
    92  	receiptSha := types.DeriveSha(receipts)
    93  	if receiptSha != header.ReceiptHash {
    94  		return fmt.Errorf("invalid receipt root hash (remote: %x local: %x)", header.ReceiptHash, receiptSha)
    95  	}
    96  	// Validate the state root against the received state root and throw
    97  	// an error if they don't match.
    98  	if root := statedb.IntermediateRoot(v.config.IsEIP158(header.Number)); header.Root != root {
    99  		return fmt.Errorf("invalid merkle root (remote: %x local: %x)", header.Root, root)
   100  	}
   101  	return nil
   102  }
   103  
   104  // CalcGasLimit computes the gas limit of the next block after parent. It aims
   105  // to keep the baseline gas above the provided floor, and increase it towards the
   106  // ceil if the blocks are full. If the ceil is exceeded, it will always decrease
   107  // the gas allowance.
   108  func CalcGasLimit(parent *types.Block, gasFloor, gasCeil uint64) uint64 {
   109  	// contrib = (parentGasUsed * 3 / 2) / 1024
   110  	contrib := (parent.GasUsed() + parent.GasUsed()/2) / params.GasLimitBoundDivisor
   111  
   112  	// decay = parentGasLimit / 1024 -1
   113  	decay := parent.GasLimit()/params.GasLimitBoundDivisor - 1
   114  
   115  	/*
   116  		strategy: gasLimit of block-to-mine is set based on parent's
   117  		gasUsed value.  if parentGasUsed > parentGasLimit * (2/3) then we
   118  		increase it, otherwise lower it (or leave it unchanged if it's right
   119  		at that usage) the amount increased/decreased depends on how far away
   120  		from parentGasLimit * (2/3) parentGasUsed is.
   121  	*/
   122  	limit := parent.GasLimit() - decay + contrib
   123  	if limit < params.MinGasLimit {
   124  		limit = params.MinGasLimit
   125  	}
   126  	// If we're outside our allowed gas range, we try to hone towards them
   127  	if limit < gasFloor {
   128  		limit = parent.GasLimit() + decay
   129  		if limit > gasFloor {
   130  			limit = gasFloor
   131  		}
   132  	} else if limit > gasCeil {
   133  		limit = parent.GasLimit() - decay
   134  		if limit < gasCeil {
   135  			limit = gasCeil
   136  		}
   137  	}
   138  	return limit
   139  }