github.com/nnlgsakib/mind-dpos@v0.0.0-20230606105614-f3c8ca06f808/consensus/ethash/consensus.go (about) 1 // Copyright 2017 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 ethash 18 19 import ( 20 "bytes" 21 "errors" 22 "fmt" 23 "math/big" 24 "runtime" 25 "time" 26 27 "github.com/TTCECO/gttc/common" 28 "github.com/TTCECO/gttc/common/math" 29 "github.com/TTCECO/gttc/consensus" 30 "github.com/TTCECO/gttc/core/state" 31 "github.com/TTCECO/gttc/core/types" 32 "github.com/TTCECO/gttc/params" 33 set "gopkg.in/fatih/set.v0" 34 ) 35 36 // Ethash proof-of-work protocol constants. 37 var ( 38 FrontierBlockReward *big.Int = big.NewInt(5e+18) // Block reward in wei for successfully mining a block 39 ByzantiumBlockReward *big.Int = big.NewInt(3e+18) // Block reward in wei for successfully mining a block upward from Byzantium 40 maxUncles = 2 // Maximum number of uncles allowed in a single block 41 allowedFutureBlockTime = 15 * time.Second // Max time from current time allowed for blocks, before they're considered future blocks 42 ) 43 44 // Various error messages to mark blocks invalid. These should be private to 45 // prevent engine specific errors from being referenced in the remainder of the 46 // codebase, inherently breaking if the engine is swapped out. Please put common 47 // error types into the consensus package. 48 var ( 49 errLargeBlockTime = errors.New("timestamp too big") 50 errZeroBlockTime = errors.New("timestamp equals parent's") 51 errTooManyUncles = errors.New("too many uncles") 52 errDuplicateUncle = errors.New("duplicate uncle") 53 errUncleIsAncestor = errors.New("uncle is ancestor") 54 errDanglingUncle = errors.New("uncle's parent is not ancestor") 55 errInvalidDifficulty = errors.New("non-positive difficulty") 56 errInvalidMixDigest = errors.New("invalid mix digest") 57 errInvalidPoW = errors.New("invalid proof-of-work") 58 ) 59 60 // Author implements consensus.Engine, returning the header's coinbase as the 61 // proof-of-work verified author of the block. 62 func (ethash *Ethash) Author(header *types.Header) (common.Address, error) { 63 return header.Coinbase, nil 64 } 65 66 // VerifyHeader checks whether a header conforms to the consensus rules of the 67 // stock Ethereum ethash engine. 68 func (ethash *Ethash) VerifyHeader(chain consensus.ChainReader, header *types.Header, seal bool) error { 69 // If we're running a full engine faking, accept any input as valid 70 if ethash.config.PowMode == ModeFullFake { 71 return nil 72 } 73 // Short circuit if the header is known, or it's parent not 74 number := header.Number.Uint64() 75 if chain.GetHeader(header.Hash(), number) != nil { 76 return nil 77 } 78 parent := chain.GetHeader(header.ParentHash, number-1) 79 if parent == nil { 80 return consensus.ErrUnknownAncestor 81 } 82 // Sanity checks passed, do a proper verification 83 return ethash.verifyHeader(chain, header, parent, false, seal) 84 } 85 86 // VerifyHeaders is similar to VerifyHeader, but verifies a batch of headers 87 // concurrently. The method returns a quit channel to abort the operations and 88 // a results channel to retrieve the async verifications. 89 func (ethash *Ethash) VerifyHeaders(chain consensus.ChainReader, headers []*types.Header, seals []bool) (chan<- struct{}, <-chan error) { 90 // If we're running a full engine faking, accept any input as valid 91 if ethash.config.PowMode == ModeFullFake || len(headers) == 0 { 92 abort, results := make(chan struct{}), make(chan error, len(headers)) 93 for i := 0; i < len(headers); i++ { 94 results <- nil 95 } 96 return abort, results 97 } 98 99 // Spawn as many workers as allowed threads 100 workers := runtime.GOMAXPROCS(0) 101 if len(headers) < workers { 102 workers = len(headers) 103 } 104 105 // Create a task channel and spawn the verifiers 106 var ( 107 inputs = make(chan int) 108 done = make(chan int, workers) 109 errors = make([]error, len(headers)) 110 abort = make(chan struct{}) 111 ) 112 for i := 0; i < workers; i++ { 113 go func() { 114 for index := range inputs { 115 errors[index] = ethash.verifyHeaderWorker(chain, headers, seals, index) 116 done <- index 117 } 118 }() 119 } 120 121 errorsOut := make(chan error, len(headers)) 122 go func() { 123 defer close(inputs) 124 var ( 125 in, out = 0, 0 126 checked = make([]bool, len(headers)) 127 inputs = inputs 128 ) 129 for { 130 select { 131 case inputs <- in: 132 if in++; in == len(headers) { 133 // Reached end of headers. Stop sending to workers. 134 inputs = nil 135 } 136 case index := <-done: 137 for checked[index] = true; checked[out]; out++ { 138 errorsOut <- errors[out] 139 if out == len(headers)-1 { 140 return 141 } 142 } 143 case <-abort: 144 return 145 } 146 } 147 }() 148 return abort, errorsOut 149 } 150 151 func (ethash *Ethash) verifyHeaderWorker(chain consensus.ChainReader, headers []*types.Header, seals []bool, index int) error { 152 var parent *types.Header 153 if index == 0 { 154 parent = chain.GetHeader(headers[0].ParentHash, headers[0].Number.Uint64()-1) 155 } else if headers[index-1].Hash() == headers[index].ParentHash { 156 parent = headers[index-1] 157 } 158 if parent == nil { 159 return consensus.ErrUnknownAncestor 160 } 161 if chain.GetHeader(headers[index].Hash(), headers[index].Number.Uint64()) != nil { 162 return nil // known block 163 } 164 return ethash.verifyHeader(chain, headers[index], parent, false, seals[index]) 165 } 166 167 // VerifyUncles verifies that the given block's uncles conform to the consensus 168 // rules of the stock Ethereum ethash engine. 169 func (ethash *Ethash) VerifyUncles(chain consensus.ChainReader, block *types.Block) error { 170 // If we're running a full engine faking, accept any input as valid 171 if ethash.config.PowMode == ModeFullFake { 172 return nil 173 } 174 // Verify that there are at most 2 uncles included in this block 175 if len(block.Uncles()) > maxUncles { 176 return errTooManyUncles 177 } 178 // Gather the set of past uncles and ancestors 179 uncles, ancestors := set.New(), make(map[common.Hash]*types.Header) 180 181 number, parent := block.NumberU64()-1, block.ParentHash() 182 for i := 0; i < 7; i++ { 183 ancestor := chain.GetBlock(parent, number) 184 if ancestor == nil { 185 break 186 } 187 ancestors[ancestor.Hash()] = ancestor.Header() 188 for _, uncle := range ancestor.Uncles() { 189 uncles.Add(uncle.Hash()) 190 } 191 parent, number = ancestor.ParentHash(), number-1 192 } 193 ancestors[block.Hash()] = block.Header() 194 uncles.Add(block.Hash()) 195 196 // Verify each of the uncles that it's recent, but not an ancestor 197 for _, uncle := range block.Uncles() { 198 // Make sure every uncle is rewarded only once 199 hash := uncle.Hash() 200 if uncles.Has(hash) { 201 return errDuplicateUncle 202 } 203 uncles.Add(hash) 204 205 // Make sure the uncle has a valid ancestry 206 if ancestors[hash] != nil { 207 return errUncleIsAncestor 208 } 209 if ancestors[uncle.ParentHash] == nil || uncle.ParentHash == block.ParentHash() { 210 return errDanglingUncle 211 } 212 if err := ethash.verifyHeader(chain, uncle, ancestors[uncle.ParentHash], true, true); err != nil { 213 return err 214 } 215 } 216 return nil 217 } 218 219 // verifyHeader checks whether a header conforms to the consensus rules of the 220 // stock Ethereum ethash engine. 221 // See YP section 4.3.4. "Block Header Validity" 222 func (ethash *Ethash) verifyHeader(chain consensus.ChainReader, header, parent *types.Header, uncle bool, seal bool) error { 223 // Ensure that the header's extra-data section is of a reasonable size 224 if uint64(len(header.Extra)) > params.MaximumExtraDataSize { 225 return fmt.Errorf("extra-data too long: %d > %d", len(header.Extra), params.MaximumExtraDataSize) 226 } 227 // Verify the header's timestamp 228 if uncle { 229 if header.Time.Cmp(math.MaxBig256) > 0 { 230 return errLargeBlockTime 231 } 232 } else { 233 if header.Time.Cmp(big.NewInt(time.Now().Add(allowedFutureBlockTime).Unix())) > 0 { 234 return consensus.ErrFutureBlock 235 } 236 } 237 if header.Time.Cmp(parent.Time) <= 0 { 238 return errZeroBlockTime 239 } 240 // Verify the block's difficulty based in it's timestamp and parent's difficulty 241 expected := ethash.CalcDifficulty(chain, header.Time.Uint64(), parent) 242 243 if expected.Cmp(header.Difficulty) != 0 { 244 return fmt.Errorf("invalid difficulty: have %v, want %v", header.Difficulty, expected) 245 } 246 // Verify that the gas limit is <= 2^63-1 247 cap := uint64(0x7fffffffffffffff) 248 if header.GasLimit > cap { 249 return fmt.Errorf("invalid gasLimit: have %v, max %v", header.GasLimit, cap) 250 } 251 // Verify that the gasUsed is <= gasLimit 252 if header.GasUsed > header.GasLimit { 253 return fmt.Errorf("invalid gasUsed: have %d, gasLimit %d", header.GasUsed, header.GasLimit) 254 } 255 256 // Verify that the gas limit remains within allowed bounds 257 diff := int64(parent.GasLimit) - int64(header.GasLimit) 258 if diff < 0 { 259 diff *= -1 260 } 261 limit := parent.GasLimit / params.GasLimitBoundDivisor 262 263 if uint64(diff) >= limit || header.GasLimit < params.MinGasLimit { 264 return fmt.Errorf("invalid gas limit: have %d, want %d += %d", header.GasLimit, parent.GasLimit, limit) 265 } 266 // Verify that the block number is parent's +1 267 if diff := new(big.Int).Sub(header.Number, parent.Number); diff.Cmp(big.NewInt(1)) != 0 { 268 return consensus.ErrInvalidNumber 269 } 270 // Verify the engine specific seal securing the block 271 if seal { 272 if err := ethash.VerifySeal(chain, header); err != nil { 273 return err 274 } 275 } 276 277 return nil 278 } 279 280 // CalcDifficulty is the difficulty adjustment algorithm. It returns 281 // the difficulty that a new block should have when created at time 282 // given the parent block's time and difficulty. 283 func (ethash *Ethash) CalcDifficulty(chain consensus.ChainReader, time uint64, parent *types.Header) *big.Int { 284 return CalcDifficulty(chain.Config(), time, parent) 285 } 286 287 // CalcDifficulty is the difficulty adjustment algorithm. It returns 288 // the difficulty that a new block should have when created at time 289 // given the parent block's time and difficulty. 290 func CalcDifficulty(config *params.ChainConfig, time uint64, parent *types.Header) *big.Int { 291 next := new(big.Int).Add(parent.Number, big1) 292 switch { 293 case config.IsByzantium(next): 294 return calcDifficultyByzantium(time, parent) 295 case config.IsHomestead(next): 296 return calcDifficultyHomestead(time, parent) 297 default: 298 return calcDifficultyFrontier(time, parent) 299 } 300 } 301 302 // Some weird constants to avoid constant memory allocs for them. 303 var ( 304 expDiffPeriod = big.NewInt(100000) 305 big1 = big.NewInt(1) 306 big2 = big.NewInt(2) 307 big9 = big.NewInt(9) 308 big10 = big.NewInt(10) 309 bigMinus99 = big.NewInt(-99) 310 big2999999 = big.NewInt(2999999) 311 ) 312 313 // calcDifficultyByzantium is the difficulty adjustment algorithm. It returns 314 // the difficulty that a new block should have when created at time given the 315 // parent block's time and difficulty. The calculation uses the Byzantium rules. 316 func calcDifficultyByzantium(time uint64, parent *types.Header) *big.Int { 317 // https://github.com/ethereum/EIPs/issues/100. 318 // algorithm: 319 // diff = (parent_diff + 320 // (parent_diff / 2048 * max((2 if len(parent.uncles) else 1) - ((timestamp - parent.timestamp) // 9), -99)) 321 // ) + 2^(periodCount - 2) 322 323 bigTime := new(big.Int).SetUint64(time) 324 bigParentTime := new(big.Int).Set(parent.Time) 325 326 // holds intermediate values to make the algo easier to read & audit 327 x := new(big.Int) 328 y := new(big.Int) 329 330 // (2 if len(parent_uncles) else 1) - (block_timestamp - parent_timestamp) // 9 331 x.Sub(bigTime, bigParentTime) 332 x.Div(x, big9) 333 if parent.UncleHash == types.EmptyUncleHash { 334 x.Sub(big1, x) 335 } else { 336 x.Sub(big2, x) 337 } 338 // max((2 if len(parent_uncles) else 1) - (block_timestamp - parent_timestamp) // 9, -99) 339 if x.Cmp(bigMinus99) < 0 { 340 x.Set(bigMinus99) 341 } 342 // parent_diff + (parent_diff / 2048 * max((2 if len(parent.uncles) else 1) - ((timestamp - parent.timestamp) // 9), -99)) 343 y.Div(parent.Difficulty, params.DifficultyBoundDivisor) 344 x.Mul(y, x) 345 x.Add(parent.Difficulty, x) 346 347 // minimum difficulty can ever be (before exponential factor) 348 if x.Cmp(params.MinimumDifficulty) < 0 { 349 x.Set(params.MinimumDifficulty) 350 } 351 // calculate a fake block number for the ice-age delay: 352 // https://github.com/ethereum/EIPs/pull/669 353 // fake_block_number = min(0, block.number - 3_000_000 354 fakeBlockNumber := new(big.Int) 355 if parent.Number.Cmp(big2999999) >= 0 { 356 fakeBlockNumber = fakeBlockNumber.Sub(parent.Number, big2999999) // Note, parent is 1 less than the actual block number 357 } 358 // for the exponential factor 359 periodCount := fakeBlockNumber 360 periodCount.Div(periodCount, expDiffPeriod) 361 362 // the exponential factor, commonly referred to as "the bomb" 363 // diff = diff + 2^(periodCount - 2) 364 if periodCount.Cmp(big1) > 0 { 365 y.Sub(periodCount, big2) 366 y.Exp(big2, y, nil) 367 x.Add(x, y) 368 } 369 return x 370 } 371 372 // calcDifficultyHomestead is the difficulty adjustment algorithm. It returns 373 // the difficulty that a new block should have when created at time given the 374 // parent block's time and difficulty. The calculation uses the Homestead rules. 375 func calcDifficultyHomestead(time uint64, parent *types.Header) *big.Int { 376 // https://github.com/ethereum/EIPs/blob/master/EIPS/eip-2.md 377 // algorithm: 378 // diff = (parent_diff + 379 // (parent_diff / 2048 * max(1 - (block_timestamp - parent_timestamp) // 10, -99)) 380 // ) + 2^(periodCount - 2) 381 382 bigTime := new(big.Int).SetUint64(time) 383 bigParentTime := new(big.Int).Set(parent.Time) 384 385 // holds intermediate values to make the algo easier to read & audit 386 x := new(big.Int) 387 y := new(big.Int) 388 389 // 1 - (block_timestamp - parent_timestamp) // 10 390 x.Sub(bigTime, bigParentTime) 391 x.Div(x, big10) 392 x.Sub(big1, x) 393 394 // max(1 - (block_timestamp - parent_timestamp) // 10, -99) 395 if x.Cmp(bigMinus99) < 0 { 396 x.Set(bigMinus99) 397 } 398 // (parent_diff + parent_diff // 2048 * max(1 - (block_timestamp - parent_timestamp) // 10, -99)) 399 y.Div(parent.Difficulty, params.DifficultyBoundDivisor) 400 x.Mul(y, x) 401 x.Add(parent.Difficulty, x) 402 403 // minimum difficulty can ever be (before exponential factor) 404 if x.Cmp(params.MinimumDifficulty) < 0 { 405 x.Set(params.MinimumDifficulty) 406 } 407 // for the exponential factor 408 periodCount := new(big.Int).Add(parent.Number, big1) 409 periodCount.Div(periodCount, expDiffPeriod) 410 411 // the exponential factor, commonly referred to as "the bomb" 412 // diff = diff + 2^(periodCount - 2) 413 if periodCount.Cmp(big1) > 0 { 414 y.Sub(periodCount, big2) 415 y.Exp(big2, y, nil) 416 x.Add(x, y) 417 } 418 return x 419 } 420 421 // calcDifficultyFrontier is the difficulty adjustment algorithm. It returns the 422 // difficulty that a new block should have when created at time given the parent 423 // block's time and difficulty. The calculation uses the Frontier rules. 424 func calcDifficultyFrontier(time uint64, parent *types.Header) *big.Int { 425 diff := new(big.Int) 426 adjust := new(big.Int).Div(parent.Difficulty, params.DifficultyBoundDivisor) 427 bigTime := new(big.Int) 428 bigParentTime := new(big.Int) 429 430 bigTime.SetUint64(time) 431 bigParentTime.Set(parent.Time) 432 433 if bigTime.Sub(bigTime, bigParentTime).Cmp(params.DurationLimit) < 0 { 434 diff.Add(parent.Difficulty, adjust) 435 } else { 436 diff.Sub(parent.Difficulty, adjust) 437 } 438 if diff.Cmp(params.MinimumDifficulty) < 0 { 439 diff.Set(params.MinimumDifficulty) 440 } 441 442 periodCount := new(big.Int).Add(parent.Number, big1) 443 periodCount.Div(periodCount, expDiffPeriod) 444 if periodCount.Cmp(big1) > 0 { 445 // diff = diff + 2^(periodCount - 2) 446 expDiff := periodCount.Sub(periodCount, big2) 447 expDiff.Exp(big2, expDiff, nil) 448 diff.Add(diff, expDiff) 449 diff = math.BigMax(diff, params.MinimumDifficulty) 450 } 451 return diff 452 } 453 454 // VerifySeal implements consensus.Engine, checking whether the given block satisfies 455 // the PoW difficulty requirements. 456 func (ethash *Ethash) VerifySeal(chain consensus.ChainReader, header *types.Header) error { 457 // If we're running a fake PoW, accept any seal as valid 458 if ethash.config.PowMode == ModeFake || ethash.config.PowMode == ModeFullFake { 459 time.Sleep(ethash.fakeDelay) 460 if ethash.fakeFail == header.Number.Uint64() { 461 return errInvalidPoW 462 } 463 return nil 464 } 465 // If we're running a shared PoW, delegate verification to it 466 if ethash.shared != nil { 467 return ethash.shared.VerifySeal(chain, header) 468 } 469 // Ensure that we have a valid difficulty for the block 470 if header.Difficulty.Sign() <= 0 { 471 return errInvalidDifficulty 472 } 473 // Recompute the digest and PoW value and verify against the header 474 number := header.Number.Uint64() 475 476 cache := ethash.cache(number) 477 size := datasetSize(number) 478 if ethash.config.PowMode == ModeTest { 479 size = 32 * 1024 480 } 481 digest, result := hashimotoLight(size, cache.cache, header.HashNoNonce().Bytes(), header.Nonce.Uint64()) 482 // Caches are unmapped in a finalizer. Ensure that the cache stays live 483 // until after the call to hashimotoLight so it's not unmapped while being used. 484 runtime.KeepAlive(cache) 485 486 if !bytes.Equal(header.MixDigest[:], digest) { 487 return errInvalidMixDigest 488 } 489 target := new(big.Int).Div(maxUint256, header.Difficulty) 490 if new(big.Int).SetBytes(result).Cmp(target) > 0 { 491 return errInvalidPoW 492 } 493 return nil 494 } 495 496 // Prepare implements consensus.Engine, initializing the difficulty field of a 497 // header to conform to the ethash protocol. The changes are done inline. 498 func (ethash *Ethash) Prepare(chain consensus.ChainReader, header *types.Header) error { 499 parent := chain.GetHeader(header.ParentHash, header.Number.Uint64()-1) 500 if parent == nil { 501 return consensus.ErrUnknownAncestor 502 } 503 header.Difficulty = ethash.CalcDifficulty(chain, header.Time.Uint64(), parent) 504 return nil 505 } 506 507 // Finalize implements consensus.Engine, accumulating the block and uncle rewards, 508 // setting the final state and assembling the block. 509 func (ethash *Ethash) Finalize(chain consensus.ChainReader, header *types.Header, state *state.StateDB, txs []*types.Transaction, uncles []*types.Header, receipts []*types.Receipt) (*types.Block, error) { 510 // Accumulate any block and uncle rewards and commit the final state root 511 accumulateRewards(chain.Config(), state, header, uncles) 512 header.Root = state.IntermediateRoot(chain.Config().IsEIP158(header.Number)) 513 514 // Header seems complete, assemble into a block and return 515 return types.NewBlock(header, txs, uncles, receipts), nil 516 } 517 518 // Some weird constants to avoid constant memory allocs for them. 519 var ( 520 big8 = big.NewInt(8) 521 big32 = big.NewInt(32) 522 ) 523 524 // AccumulateRewards credits the coinbase of the given block with the mining 525 // reward. The total reward consists of the static block reward and rewards for 526 // included uncles. The coinbase of each uncle block is also rewarded. 527 func accumulateRewards(config *params.ChainConfig, state *state.StateDB, header *types.Header, uncles []*types.Header) { 528 // Select the correct block reward based on chain progression 529 blockReward := FrontierBlockReward 530 if config.IsByzantium(header.Number) { 531 blockReward = ByzantiumBlockReward 532 } 533 // Accumulate the rewards for the miner and any included uncles 534 reward := new(big.Int).Set(blockReward) 535 r := new(big.Int) 536 for _, uncle := range uncles { 537 r.Add(uncle.Number, big8) 538 r.Sub(r, header.Number) 539 r.Mul(r, blockReward) 540 r.Div(r, big8) 541 state.AddBalance(uncle.Coinbase, r) 542 543 r.Div(blockReward, big32) 544 reward.Add(reward, r) 545 } 546 state.AddBalance(header.Coinbase, reward) 547 }