github.com/Cleverse/go-ethereum@v0.0.0-20220927095127-45113064e7f2/consensus/beacon/consensus.go (about) 1 // Copyright 2021 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 beacon 18 19 import ( 20 "errors" 21 "fmt" 22 "math/big" 23 24 "github.com/ethereum/go-ethereum/common" 25 "github.com/ethereum/go-ethereum/consensus" 26 "github.com/ethereum/go-ethereum/consensus/misc" 27 "github.com/ethereum/go-ethereum/core/state" 28 "github.com/ethereum/go-ethereum/core/types" 29 "github.com/ethereum/go-ethereum/params" 30 "github.com/ethereum/go-ethereum/rpc" 31 "github.com/ethereum/go-ethereum/trie" 32 ) 33 34 // Proof-of-stake protocol constants. 35 var ( 36 beaconDifficulty = common.Big0 // The default block difficulty in the beacon consensus 37 beaconNonce = types.EncodeNonce(0) // The default block nonce in the beacon consensus 38 ) 39 40 // Various error messages to mark blocks invalid. These should be private to 41 // prevent engine specific errors from being referenced in the remainder of the 42 // codebase, inherently breaking if the engine is swapped out. Please put common 43 // error types into the consensus package. 44 var ( 45 errTooManyUncles = errors.New("too many uncles") 46 errInvalidNonce = errors.New("invalid nonce") 47 errInvalidUncleHash = errors.New("invalid uncle hash") 48 errInvalidTimestamp = errors.New("invalid timestamp") 49 ) 50 51 // Beacon is a consensus engine that combines the eth1 consensus and proof-of-stake 52 // algorithm. There is a special flag inside to decide whether to use legacy consensus 53 // rules or new rules. The transition rule is described in the eth1/2 merge spec. 54 // https://github.com/ethereum/EIPs/blob/master/EIPS/eip-3675.md 55 // 56 // The beacon here is a half-functional consensus engine with partial functions which 57 // is only used for necessary consensus checks. The legacy consensus engine can be any 58 // engine implements the consensus interface (except the beacon itself). 59 type Beacon struct { 60 ethone consensus.Engine // Original consensus engine used in eth1, e.g. ethash or clique 61 } 62 63 // New creates a consensus engine with the given embedded eth1 engine. 64 func New(ethone consensus.Engine) *Beacon { 65 if _, ok := ethone.(*Beacon); ok { 66 panic("nested consensus engine") 67 } 68 return &Beacon{ethone: ethone} 69 } 70 71 // Author implements consensus.Engine, returning the verified author of the block. 72 func (beacon *Beacon) Author(header *types.Header) (common.Address, error) { 73 if !beacon.IsPoSHeader(header) { 74 return beacon.ethone.Author(header) 75 } 76 return header.Coinbase, nil 77 } 78 79 // VerifyHeader checks whether a header conforms to the consensus rules of the 80 // stock Ethereum consensus engine. 81 func (beacon *Beacon) VerifyHeader(chain consensus.ChainHeaderReader, header *types.Header, seal bool) error { 82 reached, _ := IsTTDReached(chain, header.ParentHash, header.Number.Uint64()-1) 83 if !reached { 84 return beacon.ethone.VerifyHeader(chain, header, seal) 85 } 86 // Short circuit if the parent is not known 87 parent := chain.GetHeader(header.ParentHash, header.Number.Uint64()-1) 88 if parent == nil { 89 return consensus.ErrUnknownAncestor 90 } 91 // Sanity checks passed, do a proper verification 92 return beacon.verifyHeader(chain, header, parent) 93 } 94 95 // VerifyHeaders is similar to VerifyHeader, but verifies a batch of headers 96 // concurrently. The method returns a quit channel to abort the operations and 97 // a results channel to retrieve the async verifications. 98 // VerifyHeaders expect the headers to be ordered and continuous. 99 func (beacon *Beacon) VerifyHeaders(chain consensus.ChainHeaderReader, headers []*types.Header, seals []bool) (chan<- struct{}, <-chan error) { 100 if !beacon.IsPoSHeader(headers[len(headers)-1]) { 101 return beacon.ethone.VerifyHeaders(chain, headers, seals) 102 } 103 var ( 104 preHeaders []*types.Header 105 postHeaders []*types.Header 106 preSeals []bool 107 ) 108 for index, header := range headers { 109 if beacon.IsPoSHeader(header) { 110 preHeaders = headers[:index] 111 postHeaders = headers[index:] 112 preSeals = seals[:index] 113 break 114 } 115 } 116 117 // All the headers have passed the transition point, use new rules. 118 if len(preHeaders) == 0 { 119 return beacon.verifyHeaders(chain, headers, nil) 120 } 121 122 // The transition point exists in the middle, separate the headers 123 // into two batches and apply different verification rules for them. 124 var ( 125 abort = make(chan struct{}) 126 results = make(chan error, len(headers)) 127 ) 128 go func() { 129 var ( 130 old, new, out = 0, len(preHeaders), 0 131 errors = make([]error, len(headers)) 132 done = make([]bool, len(headers)) 133 oldDone, oldResult = beacon.ethone.VerifyHeaders(chain, preHeaders, preSeals) 134 newDone, newResult = beacon.verifyHeaders(chain, postHeaders, preHeaders[len(preHeaders)-1]) 135 ) 136 // Verify that pre-merge headers don't overflow the TTD 137 if index, err := verifyTerminalPoWBlock(chain, preHeaders); err != nil { 138 // Mark all subsequent pow headers with the error. 139 for i := index; i < len(preHeaders); i++ { 140 errors[i], done[i] = err, true 141 } 142 } 143 // Collect the results 144 for { 145 for ; done[out]; out++ { 146 results <- errors[out] 147 if out == len(headers)-1 { 148 return 149 } 150 } 151 select { 152 case err := <-oldResult: 153 if !done[old] { // skip TTD-verified failures 154 errors[old], done[old] = err, true 155 } 156 old++ 157 case err := <-newResult: 158 errors[new], done[new] = err, true 159 new++ 160 case <-abort: 161 close(oldDone) 162 close(newDone) 163 return 164 } 165 } 166 }() 167 return abort, results 168 } 169 170 // verifyTerminalPoWBlock verifies that the preHeaders conform to the specification 171 // wrt. their total difficulty. 172 // It expects: 173 // - preHeaders to be at least 1 element 174 // - the parent of the header element to be stored in the chain correctly 175 // - the preHeaders to have a set difficulty 176 // - the last element to be the terminal block 177 func verifyTerminalPoWBlock(chain consensus.ChainHeaderReader, preHeaders []*types.Header) (int, error) { 178 td := chain.GetTd(preHeaders[0].ParentHash, preHeaders[0].Number.Uint64()-1) 179 if td == nil { 180 return 0, consensus.ErrUnknownAncestor 181 } 182 td = new(big.Int).Set(td) 183 // Check that all blocks before the last one are below the TTD 184 for i, head := range preHeaders { 185 if td.Cmp(chain.Config().TerminalTotalDifficulty) >= 0 { 186 return i, consensus.ErrInvalidTerminalBlock 187 } 188 td.Add(td, head.Difficulty) 189 } 190 // Check that the last block is the terminal block 191 if td.Cmp(chain.Config().TerminalTotalDifficulty) < 0 { 192 return len(preHeaders) - 1, consensus.ErrInvalidTerminalBlock 193 } 194 return 0, nil 195 } 196 197 // VerifyUncles verifies that the given block's uncles conform to the consensus 198 // rules of the Ethereum consensus engine. 199 func (beacon *Beacon) VerifyUncles(chain consensus.ChainReader, block *types.Block) error { 200 if !beacon.IsPoSHeader(block.Header()) { 201 return beacon.ethone.VerifyUncles(chain, block) 202 } 203 // Verify that there is no uncle block. It's explicitly disabled in the beacon 204 if len(block.Uncles()) > 0 { 205 return errTooManyUncles 206 } 207 return nil 208 } 209 210 // verifyHeader checks whether a header conforms to the consensus rules of the 211 // stock Ethereum consensus engine. The difference between the beacon and classic is 212 // (a) The following fields are expected to be constants: 213 // - difficulty is expected to be 0 214 // - nonce is expected to be 0 215 // - unclehash is expected to be Hash(emptyHeader) 216 // to be the desired constants 217 // (b) we don't verify if a block is in the future anymore 218 // (c) the extradata is limited to 32 bytes 219 func (beacon *Beacon) verifyHeader(chain consensus.ChainHeaderReader, header, parent *types.Header) error { 220 // Ensure that the header's extra-data section is of a reasonable size 221 if len(header.Extra) > 32 { 222 return fmt.Errorf("extra-data longer than 32 bytes (%d)", len(header.Extra)) 223 } 224 // Verify the seal parts. Ensure the nonce and uncle hash are the expected value. 225 if header.Nonce != beaconNonce { 226 return errInvalidNonce 227 } 228 if header.UncleHash != types.EmptyUncleHash { 229 return errInvalidUncleHash 230 } 231 // Verify the timestamp 232 if header.Time <= parent.Time { 233 return errInvalidTimestamp 234 } 235 // Verify the block's difficulty to ensure it's the default constant 236 if beaconDifficulty.Cmp(header.Difficulty) != 0 { 237 return fmt.Errorf("invalid difficulty: have %v, want %v", header.Difficulty, beaconDifficulty) 238 } 239 // Verify that the gas limit is <= 2^63-1 240 if header.GasLimit > params.MaxGasLimit { 241 return fmt.Errorf("invalid gasLimit: have %v, max %v", header.GasLimit, params.MaxGasLimit) 242 } 243 // Verify that the gasUsed is <= gasLimit 244 if header.GasUsed > header.GasLimit { 245 return fmt.Errorf("invalid gasUsed: have %d, gasLimit %d", header.GasUsed, header.GasLimit) 246 } 247 // Verify that the block number is parent's +1 248 if diff := new(big.Int).Sub(header.Number, parent.Number); diff.Cmp(common.Big1) != 0 { 249 return consensus.ErrInvalidNumber 250 } 251 // Verify the header's EIP-1559 attributes. 252 return misc.VerifyEip1559Header(chain.Config(), parent, header) 253 } 254 255 // verifyHeaders is similar to verifyHeader, but verifies a batch of headers 256 // concurrently. The method returns a quit channel to abort the operations and 257 // a results channel to retrieve the async verifications. An additional parent 258 // header will be passed if the relevant header is not in the database yet. 259 func (beacon *Beacon) verifyHeaders(chain consensus.ChainHeaderReader, headers []*types.Header, ancestor *types.Header) (chan<- struct{}, <-chan error) { 260 var ( 261 abort = make(chan struct{}) 262 results = make(chan error, len(headers)) 263 ) 264 go func() { 265 for i, header := range headers { 266 var parent *types.Header 267 if i == 0 { 268 if ancestor != nil { 269 parent = ancestor 270 } else { 271 parent = chain.GetHeader(headers[0].ParentHash, headers[0].Number.Uint64()-1) 272 } 273 } else if headers[i-1].Hash() == headers[i].ParentHash { 274 parent = headers[i-1] 275 } 276 if parent == nil { 277 select { 278 case <-abort: 279 return 280 case results <- consensus.ErrUnknownAncestor: 281 } 282 continue 283 } 284 err := beacon.verifyHeader(chain, header, parent) 285 select { 286 case <-abort: 287 return 288 case results <- err: 289 } 290 } 291 }() 292 return abort, results 293 } 294 295 // Prepare implements consensus.Engine, initializing the difficulty field of a 296 // header to conform to the beacon protocol. The changes are done inline. 297 func (beacon *Beacon) Prepare(chain consensus.ChainHeaderReader, header *types.Header) error { 298 // Transition isn't triggered yet, use the legacy rules for preparation. 299 reached, err := IsTTDReached(chain, header.ParentHash, header.Number.Uint64()-1) 300 if err != nil { 301 return err 302 } 303 if !reached { 304 return beacon.ethone.Prepare(chain, header) 305 } 306 header.Difficulty = beaconDifficulty 307 return nil 308 } 309 310 // Finalize implements consensus.Engine, setting the final state on the header 311 func (beacon *Beacon) Finalize(chain consensus.ChainHeaderReader, header *types.Header, state *state.StateDB, txs []*types.Transaction, uncles []*types.Header) { 312 // Finalize is different with Prepare, it can be used in both block generation 313 // and verification. So determine the consensus rules by header type. 314 if !beacon.IsPoSHeader(header) { 315 beacon.ethone.Finalize(chain, header, state, txs, uncles) 316 return 317 } 318 // The block reward is no longer handled here. It's done by the 319 // external consensus engine. 320 header.Root = state.IntermediateRoot(true) 321 } 322 323 // FinalizeAndAssemble implements consensus.Engine, setting the final state and 324 // assembling the block. 325 func (beacon *Beacon) FinalizeAndAssemble(chain consensus.ChainHeaderReader, header *types.Header, state *state.StateDB, txs []*types.Transaction, uncles []*types.Header, receipts []*types.Receipt) (*types.Block, error) { 326 // FinalizeAndAssemble is different with Prepare, it can be used in both block 327 // generation and verification. So determine the consensus rules by header type. 328 if !beacon.IsPoSHeader(header) { 329 return beacon.ethone.FinalizeAndAssemble(chain, header, state, txs, uncles, receipts) 330 } 331 // Finalize and assemble the block 332 beacon.Finalize(chain, header, state, txs, uncles) 333 return types.NewBlock(header, txs, uncles, receipts, trie.NewStackTrie(nil)), nil 334 } 335 336 // Seal generates a new sealing request for the given input block and pushes 337 // the result into the given channel. 338 // 339 // Note, the method returns immediately and will send the result async. More 340 // than one result may also be returned depending on the consensus algorithm. 341 func (beacon *Beacon) Seal(chain consensus.ChainHeaderReader, block *types.Block, results chan<- *types.Block, stop <-chan struct{}) error { 342 if !beacon.IsPoSHeader(block.Header()) { 343 return beacon.ethone.Seal(chain, block, results, stop) 344 } 345 // The seal verification is done by the external consensus engine, 346 // return directly without pushing any block back. In another word 347 // beacon won't return any result by `results` channel which may 348 // blocks the receiver logic forever. 349 return nil 350 } 351 352 // SealHash returns the hash of a block prior to it being sealed. 353 func (beacon *Beacon) SealHash(header *types.Header) common.Hash { 354 return beacon.ethone.SealHash(header) 355 } 356 357 // CalcDifficulty is the difficulty adjustment algorithm. It returns 358 // the difficulty that a new block should have when created at time 359 // given the parent block's time and difficulty. 360 func (beacon *Beacon) CalcDifficulty(chain consensus.ChainHeaderReader, time uint64, parent *types.Header) *big.Int { 361 // Transition isn't triggered yet, use the legacy rules for calculation 362 if reached, _ := IsTTDReached(chain, parent.Hash(), parent.Number.Uint64()); !reached { 363 return beacon.ethone.CalcDifficulty(chain, time, parent) 364 } 365 return beaconDifficulty 366 } 367 368 // APIs implements consensus.Engine, returning the user facing RPC APIs. 369 func (beacon *Beacon) APIs(chain consensus.ChainHeaderReader) []rpc.API { 370 return beacon.ethone.APIs(chain) 371 } 372 373 // Close shutdowns the consensus engine 374 func (beacon *Beacon) Close() error { 375 return beacon.ethone.Close() 376 } 377 378 // IsPoSHeader reports the header belongs to the PoS-stage with some special fields. 379 // This function is not suitable for a part of APIs like Prepare or CalcDifficulty 380 // because the header difficulty is not set yet. 381 func (beacon *Beacon) IsPoSHeader(header *types.Header) bool { 382 if header.Difficulty == nil { 383 panic("IsPoSHeader called with invalid difficulty") 384 } 385 return header.Difficulty.Cmp(beaconDifficulty) == 0 386 } 387 388 // InnerEngine returns the embedded eth1 consensus engine. 389 func (beacon *Beacon) InnerEngine() consensus.Engine { 390 return beacon.ethone 391 } 392 393 // SetThreads updates the mining threads. Delegate the call 394 // to the eth1 engine if it's threaded. 395 func (beacon *Beacon) SetThreads(threads int) { 396 type threaded interface { 397 SetThreads(threads int) 398 } 399 if th, ok := beacon.ethone.(threaded); ok { 400 th.SetThreads(threads) 401 } 402 } 403 404 // IsTTDReached checks if the TotalTerminalDifficulty has been surpassed on the `parentHash` block. 405 // It depends on the parentHash already being stored in the database. 406 // If the parentHash is not stored in the database a UnknownAncestor error is returned. 407 func IsTTDReached(chain consensus.ChainHeaderReader, parentHash common.Hash, number uint64) (bool, error) { 408 if chain.Config().TerminalTotalDifficulty == nil { 409 return false, nil 410 } 411 td := chain.GetTd(parentHash, number) 412 if td == nil { 413 return false, consensus.ErrUnknownAncestor 414 } 415 return td.Cmp(chain.Config().TerminalTotalDifficulty) >= 0, nil 416 }