You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

183 lines
5.3 KiB

  1. package types
  2. import (
  3. "errors"
  4. "fmt"
  5. "time"
  6. "github.com/tendermint/tendermint/internal/libs/protoio"
  7. tmbytes "github.com/tendermint/tendermint/libs/bytes"
  8. tmtime "github.com/tendermint/tendermint/libs/time"
  9. tmproto "github.com/tendermint/tendermint/proto/tendermint/types"
  10. )
  11. var (
  12. ErrInvalidBlockPartSignature = errors.New("error invalid block part signature")
  13. ErrInvalidBlockPartHash = errors.New("error invalid block part hash")
  14. )
  15. // Proposal defines a block proposal for the consensus.
  16. // It refers to the block by BlockID field.
  17. // It must be signed by the correct proposer for the given Height/Round
  18. // to be considered valid. It may depend on votes from a previous round,
  19. // a so-called Proof-of-Lock (POL) round, as noted in the POLRound.
  20. // If POLRound >= 0, then BlockID corresponds to the block that is locked in POLRound.
  21. type Proposal struct {
  22. Type tmproto.SignedMsgType
  23. Height int64 `json:"height,string"`
  24. Round int32 `json:"round"` // there can not be greater than 2_147_483_647 rounds
  25. POLRound int32 `json:"pol_round"` // -1 if null.
  26. BlockID BlockID `json:"block_id"`
  27. Timestamp time.Time `json:"timestamp"`
  28. Signature []byte `json:"signature"`
  29. }
  30. // NewProposal returns a new Proposal.
  31. // If there is no POLRound, polRound should be -1.
  32. func NewProposal(height int64, round int32, polRound int32, blockID BlockID, ts time.Time) *Proposal {
  33. return &Proposal{
  34. Type: tmproto.ProposalType,
  35. Height: height,
  36. Round: round,
  37. BlockID: blockID,
  38. POLRound: polRound,
  39. Timestamp: tmtime.Canonical(ts),
  40. }
  41. }
  42. // ValidateBasic performs basic validation.
  43. func (p *Proposal) ValidateBasic() error {
  44. if p.Type != tmproto.ProposalType {
  45. return errors.New("invalid Type")
  46. }
  47. if p.Height < 0 {
  48. return errors.New("negative Height")
  49. }
  50. if p.Round < 0 {
  51. return errors.New("negative Round")
  52. }
  53. if p.POLRound < -1 {
  54. return errors.New("negative POLRound (exception: -1)")
  55. }
  56. if err := p.BlockID.ValidateBasic(); err != nil {
  57. return fmt.Errorf("wrong BlockID: %w", err)
  58. }
  59. // ValidateBasic above would pass even if the BlockID was empty:
  60. if !p.BlockID.IsComplete() {
  61. return fmt.Errorf("expected a complete, non-empty BlockID, got: %v", p.BlockID)
  62. }
  63. // NOTE: Timestamp validation is subtle and handled elsewhere.
  64. if len(p.Signature) == 0 {
  65. return errors.New("signature is missing")
  66. }
  67. if len(p.Signature) > MaxSignatureSize {
  68. return fmt.Errorf("signature is too big (max: %d)", MaxSignatureSize)
  69. }
  70. return nil
  71. }
  72. // IsTimely validates that the block timestamp is 'timely' according to the proposer-based timestamp algorithm.
  73. // To evaluate if a block is timely, its timestamp is compared to the local time of the validator along with the
  74. // configured Precision and MsgDelay parameters.
  75. // Specifically, a proposed block timestamp is considered timely if it is satisfies the following inequalities:
  76. //
  77. // localtime >= proposedBlockTime - Precision
  78. // localtime <= proposedBlockTime + MsgDelay + Precision
  79. //
  80. // For more information on the meaning of 'timely', see the proposer-based timestamp specification:
  81. // https://github.com/tendermint/spec/tree/master/spec/consensus/proposer-based-timestamp
  82. func (p *Proposal) IsTimely(recvTime time.Time, sp SynchronyParams) bool {
  83. // lhs is `proposedBlockTime - Precision` in the first inequality
  84. lhs := p.Timestamp.Add(-sp.Precision)
  85. // rhs is `proposedBlockTime + MsgDelay + Precision` in the second inequality
  86. rhs := p.Timestamp.Add(sp.MessageDelay).Add(sp.Precision)
  87. if recvTime.Before(lhs) || recvTime.After(rhs) {
  88. return false
  89. }
  90. return true
  91. }
  92. // String returns a string representation of the Proposal.
  93. //
  94. // 1. height
  95. // 2. round
  96. // 3. block ID
  97. // 4. POL round
  98. // 5. first 6 bytes of signature
  99. // 6. timestamp
  100. //
  101. // See BlockID#String.
  102. func (p *Proposal) String() string {
  103. return fmt.Sprintf("Proposal{%v/%v (%v, %v) %X @ %s}",
  104. p.Height,
  105. p.Round,
  106. p.BlockID,
  107. p.POLRound,
  108. tmbytes.Fingerprint(p.Signature),
  109. CanonicalTime(p.Timestamp))
  110. }
  111. // ProposalSignBytes returns the proto-encoding of the canonicalized Proposal,
  112. // for signing. Panics if the marshaling fails.
  113. //
  114. // The encoded Protobuf message is varint length-prefixed (using MarshalDelimited)
  115. // for backwards-compatibility with the Amino encoding, due to e.g. hardware
  116. // devices that rely on this encoding.
  117. //
  118. // See CanonicalizeProposal
  119. func ProposalSignBytes(chainID string, p *tmproto.Proposal) []byte {
  120. pb := CanonicalizeProposal(chainID, p)
  121. bz, err := protoio.MarshalDelimited(&pb)
  122. if err != nil {
  123. panic(err)
  124. }
  125. return bz
  126. }
  127. // ToProto converts Proposal to protobuf
  128. func (p *Proposal) ToProto() *tmproto.Proposal {
  129. if p == nil {
  130. return &tmproto.Proposal{}
  131. }
  132. pb := new(tmproto.Proposal)
  133. pb.BlockID = p.BlockID.ToProto()
  134. pb.Type = p.Type
  135. pb.Height = p.Height
  136. pb.Round = p.Round
  137. pb.PolRound = p.POLRound
  138. pb.Timestamp = p.Timestamp
  139. pb.Signature = p.Signature
  140. return pb
  141. }
  142. // FromProto sets a protobuf Proposal to the given pointer.
  143. // It returns an error if the proposal is invalid.
  144. func ProposalFromProto(pp *tmproto.Proposal) (*Proposal, error) {
  145. if pp == nil {
  146. return nil, errors.New("nil proposal")
  147. }
  148. p := new(Proposal)
  149. blockID, err := BlockIDFromProto(&pp.BlockID)
  150. if err != nil {
  151. return nil, err
  152. }
  153. p.BlockID = *blockID
  154. p.Type = pp.Type
  155. p.Height = pp.Height
  156. p.Round = pp.Round
  157. p.POLRound = pp.PolRound
  158. p.Timestamp = pp.Timestamp
  159. p.Signature = pp.Signature
  160. return p, p.ValidateBasic()
  161. }