protocol/validation/block.go

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