protocol/validation/block.go

   1 package validation
   2
   3 import (
   4         "bytes"
   5         "encoding/hex"
   6         "time"
   7
   8         log "github.com/sirupsen/logrus"
   9
  10         "github.com/bytom/vapor/consensus"
  11         "github.com/bytom/vapor/errors"
  12         "github.com/bytom/vapor/protocol/bc"
  13         "github.com/bytom/vapor/protocol/bc/types"
  14         "github.com/bytom/vapor/protocol/state"
  15         "github.com/bytom/vapor/toolbar/measure"
  16 )
  17
  18 const logModule = "leveldb"
  19
  20 var (
  21         errBadTimestamp          = errors.New("block timestamp is not in the valid range")
  22         errBadBits               = errors.New("block bits is invalid")
  23         errMismatchedBlock       = errors.New("mismatched block")
  24         errMismatchedMerkleRoot  = errors.New("mismatched merkle root")
  25         errMisorderedBlockHeight = errors.New("misordered block height")
  26         errOverBlockLimit        = errors.New("block's gas is over the limit")
  27         errWorkProof             = errors.New("invalid difficulty proof of work")
  28         errVersionRegression     = errors.New("version regression")
  29 )
  30
  31 func checkBlockTime(b *bc.Block, parent *types.BlockHeader) error {
  32         now := uint64(time.Now().UnixNano() / 1e6)
  33         if b.Timestamp < (parent.Timestamp + consensus.ActiveNetParams.BlockTimeInterval) {
  34                 return errBadTimestamp
  35         }
  36         if b.Timestamp > (now + consensus.ActiveNetParams.MaxTimeOffsetMs) {
  37                 return errBadTimestamp
  38         }
  39
  40         return nil
  41 }
  42
  43 func checkCoinbaseTx(b *bc.Block, rewards []state.CoinbaseReward) error {
  44         if len(b.Transactions) == 0 {
  45                 return errors.Wrap(ErrWrongCoinbaseTransaction, "block is empty")
  46         }
  47
  48         tx := b.Transactions[0]
  49         if len(tx.TxHeader.ResultIds) != len(rewards)+1 {
  50                 return errors.Wrapf(ErrWrongCoinbaseTransaction, "dismatch number of outputs, got:%d, want:%d", len(tx.TxHeader.ResultIds), len(rewards))
  51         }
  52
  53         rewards = append([]state.CoinbaseReward{state.CoinbaseReward{Amount: uint64(0)}}, rewards...)
  54         for i, output := range tx.TxHeader.ResultIds {
  55                 out, err := tx.IntraChainOutput(*output)
  56                 if err != nil {
  57                         return err
  58                 }
  59
  60                 if rewards[i].Amount != out.Source.Value.Amount {
  61                         return errors.Wrapf(ErrWrongCoinbaseTransaction, "dismatch output amount, got:%d, want:%d", out.Source.Value.Amount, rewards[i].Amount)
  62                 }
  63
  64                 if i == 0 {
  65                         continue
  66                 }
  67
  68                 if res := bytes.Compare(rewards[i].ControlProgram, out.ControlProgram.Code); res != 0 {
  69                         return errors.Wrapf(ErrWrongCoinbaseTransaction, "dismatch output control_program, got:%s, want:%s", hex.EncodeToString(out.ControlProgram.Code), hex.EncodeToString(rewards[i].ControlProgram))
  70                 }
  71         }
  72         return nil
  73 }
  74
  75 // ValidateBlockHeader check the block's header
  76 func ValidateBlockHeader(b *bc.Block, parent *types.BlockHeader) error {
  77         if b.Version != 1 {
  78                 return errors.WithDetailf(errVersionRegression, "previous block verson %d, current block version %d", parent.Version, b.Version)
  79         }
  80         if b.Height != parent.Height+1 {
  81                 return errors.WithDetailf(errMisorderedBlockHeight, "previous block height %d, current block height %d", parent.Height, b.Height)
  82         }
  83         if parent.Hash() != *b.PreviousBlockId {
  84                 return errors.WithDetailf(errMismatchedBlock, "previous block ID %x, current block wants %x", parent.Hash().Bytes(), b.PreviousBlockId.Bytes())
  85         }
  86
  87         return checkBlockTime(b, parent)
  88 }
  89
  90 // ValidateBlock validates a block and the transactions within.
  91 func ValidateBlock(b *bc.Block, parent *types.BlockHeader, rewards []state.CoinbaseReward) error {
  92         measure.Start()
  93         defer measure.End()
  94
  95         startTime := time.Now()
  96         if err := ValidateBlockHeader(b, parent); err != nil {
  97                 return err
  98         }
  99
 100         blockGasSum := uint64(0)
 101         b.TransactionStatus = bc.NewTransactionStatus()
 102         validateResults := ValidateTxs(b.Transactions, b)
 103         for i, validateResult := range validateResults {
 104                 if !validateResult.gasStatus.GasValid {
 105                         return errors.Wrapf(validateResult.err, "validate of transaction %d of %d", i, len(b.Transactions))
 106                 }
 107
 108                 if err := b.TransactionStatus.SetStatus(i, validateResult.err != nil); err != nil {
 109                         return err
 110                 }
 111
 112                 if blockGasSum += uint64(validateResult.gasStatus.GasUsed); blockGasSum > consensus.ActiveNetParams.MaxBlockGas {
 113                         return errOverBlockLimit
 114                 }
 115         }
 116
 117         if err := checkCoinbaseTx(b, rewards); err != nil {
 118                 return err
 119         }
 120
 121         txMerkleRoot, err := types.TxMerkleRoot(b.Transactions)
 122         if err != nil {
 123                 return errors.Wrap(err, "computing transaction id merkle root")
 124         }
 125         if txMerkleRoot != *b.TransactionsRoot {
 126                 return errors.WithDetailf(errMismatchedMerkleRoot, "transaction id merkle root. compute: %v, given: %v", txMerkleRoot, *b.TransactionsRoot)
 127         }
 128
 129         txStatusHash, err := types.TxStatusMerkleRoot(b.TransactionStatus.VerifyStatus)
 130         if err != nil {
 131                 return errors.Wrap(err, "computing transaction status merkle root")
 132         }
 133         if txStatusHash != *b.TransactionStatusHash {
 134                 return errors.WithDetailf(errMismatchedMerkleRoot, "transaction status merkle root. compute: %v, given: %v", txStatusHash, *b.TransactionStatusHash)
 135         }
 136
 137         log.WithFields(log.Fields{
 138                 "module":   logModule,
 139                 "height":   b.Height,
 140                 "hash":     b.ID.String(),
 141                 "duration": time.Since(startTime),
 142         }).Debug("finish validate block")
 143         return nil
 144 }