6 log "github.com/sirupsen/logrus"
8 "github.com/vapor/consensus"
9 "github.com/vapor/errors"
10 "github.com/vapor/protocol/bc"
11 "github.com/vapor/protocol/bc/types"
12 "github.com/vapor/protocol/state"
15 const logModule = "leveldb"
18 errBadTimestamp = errors.New("block timestamp is not in the valid range")
19 errBadBits = errors.New("block bits is invalid")
20 errMismatchedBlock = errors.New("mismatched block")
21 errMismatchedMerkleRoot = errors.New("mismatched merkle root")
22 errMisorderedBlockHeight = errors.New("misordered block height")
23 errOverBlockLimit = errors.New("block's gas is over the limit")
24 errWorkProof = errors.New("invalid difficulty proof of work")
25 errVersionRegression = errors.New("version regression")
28 func checkBlockTime(b *bc.Block, parent *state.BlockNode) error {
29 now := uint64(time.Now().UnixNano() / 1e6)
30 if b.Timestamp < (parent.Timestamp + consensus.BlockTimeInterval) {
31 return errBadTimestamp
33 if b.Timestamp > (now + consensus.MaxTimeOffsetMs) {
34 return errBadTimestamp
40 func checkCoinbaseAmount(b *bc.Block, amount uint64) error {
41 if len(b.Transactions) == 0 {
42 return errors.Wrap(ErrWrongCoinbaseTransaction, "block is empty")
45 tx := b.Transactions[0]
46 if len(tx.TxHeader.ResultIds) != 1 {
47 return errors.Wrap(ErrWrongCoinbaseTransaction, "have more than 1 output")
50 var SourceAmount uint64
51 switch output := tx.Entries[*tx.TxHeader.ResultIds[0]].(type) {
52 case *bc.IntraChainOutput:
53 SourceAmount = output.Source.Value.Amount
55 SourceAmount = output.Source.Value.Amount
57 return errors.Wrapf(bc.ErrEntryType, "entry %x has unexpected type %T", tx.TxHeader.ResultIds[0].Bytes(), output)
60 if SourceAmount != amount {
61 return errors.Wrap(ErrWrongCoinbaseTransaction, "dismatch output amount")
66 // ValidateBlockHeader check the block's header
67 func ValidateBlockHeader(b *bc.Block, parent *state.BlockNode) error {
69 return errors.WithDetailf(errVersionRegression, "previous block verson %d, current block version %d", parent.Version, b.Version)
71 if b.Height != parent.Height+1 {
72 return errors.WithDetailf(errMisorderedBlockHeight, "previous block height %d, current block height %d", parent.Height, b.Height)
74 if parent.Hash != *b.PreviousBlockId {
75 return errors.WithDetailf(errMismatchedBlock, "previous block ID %x, current block wants %x", parent.Hash.Bytes(), b.PreviousBlockId.Bytes())
78 return checkBlockTime(b, parent)
81 // ValidateBlock validates a block and the transactions within.
82 func ValidateBlock(b *bc.Block, parent *state.BlockNode) error {
83 startTime := time.Now()
84 if err := ValidateBlockHeader(b, parent); err != nil {
88 blockGasSum := uint64(0)
89 coinbaseAmount := consensus.BlockSubsidy(b.BlockHeader.Height)
90 b.TransactionStatus = bc.NewTransactionStatus()
92 for i, tx := range b.Transactions {
93 gasStatus, err := ValidateTx(tx, b)
94 if !gasStatus.GasValid {
95 return errors.Wrapf(err, "validate of transaction %d of %d", i, len(b.Transactions))
98 if err := b.TransactionStatus.SetStatus(i, err != nil); err != nil {
101 coinbaseAmount += gasStatus.BTMValue
102 if blockGasSum += uint64(gasStatus.GasUsed); blockGasSum > consensus.MaxBlockGas {
103 return errOverBlockLimit
107 if err := checkCoinbaseAmount(b, coinbaseAmount); err != nil {
111 txMerkleRoot, err := types.TxMerkleRoot(b.Transactions)
113 return errors.Wrap(err, "computing transaction id merkle root")
115 if txMerkleRoot != *b.TransactionsRoot {
116 return errors.WithDetailf(errMismatchedMerkleRoot, "transaction id merkle root. compute: %v, given: %v", txMerkleRoot, *b.TransactionsRoot)
119 txStatusHash, err := types.TxStatusMerkleRoot(b.TransactionStatus.VerifyStatus)
121 return errors.Wrap(err, "computing transaction status merkle root")
123 if txStatusHash != *b.TransactionStatusHash {
124 return errors.WithDetailf(errMismatchedMerkleRoot, "transaction status merkle root")
127 log.WithFields(log.Fields{
130 "hash": b.ID.String(),
131 "duration": time.Since(startTime),
132 }).Debug("finish validate block")