github.phpd.cn/morph-l2/go-ethereum@v1.9.7/tests/block_test_util.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 tests implements execution of Ethereum JSON tests. 18 package tests 19 20 import ( 21 "bytes" 22 "encoding/hex" 23 "encoding/json" 24 "fmt" 25 "math/big" 26 27 "github.com/ethereum/go-ethereum/common" 28 "github.com/ethereum/go-ethereum/common/hexutil" 29 "github.com/ethereum/go-ethereum/common/math" 30 "github.com/ethereum/go-ethereum/consensus" 31 "github.com/ethereum/go-ethereum/consensus/ethash" 32 "github.com/ethereum/go-ethereum/core" 33 "github.com/ethereum/go-ethereum/core/rawdb" 34 "github.com/ethereum/go-ethereum/core/state" 35 "github.com/ethereum/go-ethereum/core/types" 36 "github.com/ethereum/go-ethereum/core/vm" 37 "github.com/ethereum/go-ethereum/params" 38 "github.com/ethereum/go-ethereum/rlp" 39 ) 40 41 // A BlockTest checks handling of entire blocks. 42 type BlockTest struct { 43 json btJSON 44 } 45 46 // UnmarshalJSON implements json.Unmarshaler interface. 47 func (t *BlockTest) UnmarshalJSON(in []byte) error { 48 return json.Unmarshal(in, &t.json) 49 } 50 51 type btJSON struct { 52 Blocks []btBlock `json:"blocks"` 53 Genesis btHeader `json:"genesisBlockHeader"` 54 Pre core.GenesisAlloc `json:"pre"` 55 Post core.GenesisAlloc `json:"postState"` 56 BestBlock common.UnprefixedHash `json:"lastblockhash"` 57 Network string `json:"network"` 58 SealEngine string `json:"sealEngine"` 59 } 60 61 type btBlock struct { 62 BlockHeader *btHeader 63 Rlp string 64 UncleHeaders []*btHeader 65 } 66 67 //go:generate gencodec -type btHeader -field-override btHeaderMarshaling -out gen_btheader.go 68 69 type btHeader struct { 70 Bloom types.Bloom 71 Coinbase common.Address 72 MixHash common.Hash 73 Nonce types.BlockNonce 74 Number *big.Int 75 Hash common.Hash 76 ParentHash common.Hash 77 ReceiptTrie common.Hash 78 StateRoot common.Hash 79 TransactionsTrie common.Hash 80 UncleHash common.Hash 81 ExtraData []byte 82 Difficulty *big.Int 83 GasLimit uint64 84 GasUsed uint64 85 Timestamp uint64 86 } 87 88 type btHeaderMarshaling struct { 89 ExtraData hexutil.Bytes 90 Number *math.HexOrDecimal256 91 Difficulty *math.HexOrDecimal256 92 GasLimit math.HexOrDecimal64 93 GasUsed math.HexOrDecimal64 94 Timestamp math.HexOrDecimal64 95 } 96 97 func (t *BlockTest) Run() error { 98 config, ok := Forks[t.json.Network] 99 if !ok { 100 return UnsupportedForkError{t.json.Network} 101 } 102 103 // import pre accounts & construct test genesis block & state root 104 db := rawdb.NewMemoryDatabase() 105 gblock, err := t.genesis(config).Commit(db) 106 if err != nil { 107 return err 108 } 109 if gblock.Hash() != t.json.Genesis.Hash { 110 return fmt.Errorf("genesis block hash doesn't match test: computed=%x, test=%x", gblock.Hash().Bytes()[:6], t.json.Genesis.Hash[:6]) 111 } 112 if gblock.Root() != t.json.Genesis.StateRoot { 113 return fmt.Errorf("genesis block state root does not match test: computed=%x, test=%x", gblock.Root().Bytes()[:6], t.json.Genesis.StateRoot[:6]) 114 } 115 var engine consensus.Engine 116 if t.json.SealEngine == "NoProof" { 117 engine = ethash.NewFaker() 118 } else { 119 engine = ethash.NewShared() 120 } 121 chain, err := core.NewBlockChain(db, &core.CacheConfig{TrieCleanLimit: 0}, config, engine, vm.Config{}, nil) 122 if err != nil { 123 return err 124 } 125 defer chain.Stop() 126 127 validBlocks, err := t.insertBlocks(chain) 128 if err != nil { 129 return err 130 } 131 cmlast := chain.CurrentBlock().Hash() 132 if common.Hash(t.json.BestBlock) != cmlast { 133 return fmt.Errorf("last block hash validation mismatch: want: %x, have: %x", t.json.BestBlock, cmlast) 134 } 135 newDB, err := chain.State() 136 if err != nil { 137 return err 138 } 139 if err = t.validatePostState(newDB); err != nil { 140 return fmt.Errorf("post state validation failed: %v", err) 141 } 142 return t.validateImportedHeaders(chain, validBlocks) 143 } 144 145 func (t *BlockTest) genesis(config *params.ChainConfig) *core.Genesis { 146 return &core.Genesis{ 147 Config: config, 148 Nonce: t.json.Genesis.Nonce.Uint64(), 149 Timestamp: t.json.Genesis.Timestamp, 150 ParentHash: t.json.Genesis.ParentHash, 151 ExtraData: t.json.Genesis.ExtraData, 152 GasLimit: t.json.Genesis.GasLimit, 153 GasUsed: t.json.Genesis.GasUsed, 154 Difficulty: t.json.Genesis.Difficulty, 155 Mixhash: t.json.Genesis.MixHash, 156 Coinbase: t.json.Genesis.Coinbase, 157 Alloc: t.json.Pre, 158 } 159 } 160 161 /* See https://github.com/ethereum/tests/wiki/Blockchain-Tests-II 162 163 Whether a block is valid or not is a bit subtle, it's defined by presence of 164 blockHeader, transactions and uncleHeaders fields. If they are missing, the block is 165 invalid and we must verify that we do not accept it. 166 167 Since some tests mix valid and invalid blocks we need to check this for every block. 168 169 If a block is invalid it does not necessarily fail the test, if it's invalidness is 170 expected we are expected to ignore it and continue processing and then validate the 171 post state. 172 */ 173 func (t *BlockTest) insertBlocks(blockchain *core.BlockChain) ([]btBlock, error) { 174 validBlocks := make([]btBlock, 0) 175 // insert the test blocks, which will execute all transactions 176 for _, b := range t.json.Blocks { 177 cb, err := b.decode() 178 if err != nil { 179 if b.BlockHeader == nil { 180 continue // OK - block is supposed to be invalid, continue with next block 181 } else { 182 return nil, fmt.Errorf("Block RLP decoding failed when expected to succeed: %v", err) 183 } 184 } 185 // RLP decoding worked, try to insert into chain: 186 blocks := types.Blocks{cb} 187 i, err := blockchain.InsertChain(blocks) 188 if err != nil { 189 if b.BlockHeader == nil { 190 continue // OK - block is supposed to be invalid, continue with next block 191 } else { 192 return nil, fmt.Errorf("Block #%v insertion into chain failed: %v", blocks[i].Number(), err) 193 } 194 } 195 if b.BlockHeader == nil { 196 return nil, fmt.Errorf("Block insertion should have failed") 197 } 198 199 // validate RLP decoding by checking all values against test file JSON 200 if err = validateHeader(b.BlockHeader, cb.Header()); err != nil { 201 return nil, fmt.Errorf("Deserialised block header validation failed: %v", err) 202 } 203 validBlocks = append(validBlocks, b) 204 } 205 return validBlocks, nil 206 } 207 208 func validateHeader(h *btHeader, h2 *types.Header) error { 209 if h.Bloom != h2.Bloom { 210 return fmt.Errorf("Bloom: want: %x have: %x", h.Bloom, h2.Bloom) 211 } 212 if h.Coinbase != h2.Coinbase { 213 return fmt.Errorf("Coinbase: want: %x have: %x", h.Coinbase, h2.Coinbase) 214 } 215 if h.MixHash != h2.MixDigest { 216 return fmt.Errorf("MixHash: want: %x have: %x", h.MixHash, h2.MixDigest) 217 } 218 if h.Nonce != h2.Nonce { 219 return fmt.Errorf("Nonce: want: %x have: %x", h.Nonce, h2.Nonce) 220 } 221 if h.Number.Cmp(h2.Number) != 0 { 222 return fmt.Errorf("Number: want: %v have: %v", h.Number, h2.Number) 223 } 224 if h.ParentHash != h2.ParentHash { 225 return fmt.Errorf("Parent hash: want: %x have: %x", h.ParentHash, h2.ParentHash) 226 } 227 if h.ReceiptTrie != h2.ReceiptHash { 228 return fmt.Errorf("Receipt hash: want: %x have: %x", h.ReceiptTrie, h2.ReceiptHash) 229 } 230 if h.TransactionsTrie != h2.TxHash { 231 return fmt.Errorf("Tx hash: want: %x have: %x", h.TransactionsTrie, h2.TxHash) 232 } 233 if h.StateRoot != h2.Root { 234 return fmt.Errorf("State hash: want: %x have: %x", h.StateRoot, h2.Root) 235 } 236 if h.UncleHash != h2.UncleHash { 237 return fmt.Errorf("Uncle hash: want: %x have: %x", h.UncleHash, h2.UncleHash) 238 } 239 if !bytes.Equal(h.ExtraData, h2.Extra) { 240 return fmt.Errorf("Extra data: want: %x have: %x", h.ExtraData, h2.Extra) 241 } 242 if h.Difficulty.Cmp(h2.Difficulty) != 0 { 243 return fmt.Errorf("Difficulty: want: %v have: %v", h.Difficulty, h2.Difficulty) 244 } 245 if h.GasLimit != h2.GasLimit { 246 return fmt.Errorf("GasLimit: want: %d have: %d", h.GasLimit, h2.GasLimit) 247 } 248 if h.GasUsed != h2.GasUsed { 249 return fmt.Errorf("GasUsed: want: %d have: %d", h.GasUsed, h2.GasUsed) 250 } 251 if h.Timestamp != h2.Time { 252 return fmt.Errorf("Timestamp: want: %v have: %v", h.Timestamp, h2.Time) 253 } 254 return nil 255 } 256 257 func (t *BlockTest) validatePostState(statedb *state.StateDB) error { 258 // validate post state accounts in test file against what we have in state db 259 for addr, acct := range t.json.Post { 260 // address is indirectly verified by the other fields, as it's the db key 261 code2 := statedb.GetCode(addr) 262 balance2 := statedb.GetBalance(addr) 263 nonce2 := statedb.GetNonce(addr) 264 if !bytes.Equal(code2, acct.Code) { 265 return fmt.Errorf("account code mismatch for addr: %s want: %v have: %s", addr, acct.Code, hex.EncodeToString(code2)) 266 } 267 if balance2.Cmp(acct.Balance) != 0 { 268 return fmt.Errorf("account balance mismatch for addr: %s, want: %d, have: %d", addr, acct.Balance, balance2) 269 } 270 if nonce2 != acct.Nonce { 271 return fmt.Errorf("account nonce mismatch for addr: %s want: %d have: %d", addr, acct.Nonce, nonce2) 272 } 273 } 274 return nil 275 } 276 277 func (t *BlockTest) validateImportedHeaders(cm *core.BlockChain, validBlocks []btBlock) error { 278 // to get constant lookup when verifying block headers by hash (some tests have many blocks) 279 bmap := make(map[common.Hash]btBlock, len(t.json.Blocks)) 280 for _, b := range validBlocks { 281 bmap[b.BlockHeader.Hash] = b 282 } 283 // iterate over blocks backwards from HEAD and validate imported 284 // headers vs test file. some tests have reorgs, and we import 285 // block-by-block, so we can only validate imported headers after 286 // all blocks have been processed by BlockChain, as they may not 287 // be part of the longest chain until last block is imported. 288 for b := cm.CurrentBlock(); b != nil && b.NumberU64() != 0; b = cm.GetBlockByHash(b.Header().ParentHash) { 289 if err := validateHeader(bmap[b.Hash()].BlockHeader, b.Header()); err != nil { 290 return fmt.Errorf("Imported block header validation failed: %v", err) 291 } 292 } 293 return nil 294 } 295 296 func (bb *btBlock) decode() (*types.Block, error) { 297 data, err := hexutil.Decode(bb.Rlp) 298 if err != nil { 299 return nil, err 300 } 301 var b types.Block 302 err = rlp.DecodeBytes(data, &b) 303 return &b, err 304 }