|
|
- package types
-
- import (
- "bytes"
- "crypto/sha256"
- "errors"
- "fmt"
- "strings"
- "time"
-
- "github.com/tendermint/tendermint/account"
- "github.com/tendermint/tendermint/binary"
- . "github.com/tendermint/tendermint/common"
- "github.com/tendermint/tendermint/config"
- "github.com/tendermint/tendermint/merkle"
- )
-
- type Block struct {
- *Header `json:"header"`
- *Validation `json:"validation"`
- *Data `json:"data"`
- }
-
- // Basic validation that doesn't involve state data.
- func (b *Block) ValidateBasic(lastBlockHeight uint, lastBlockHash []byte,
- lastBlockParts PartSetHeader, lastBlockTime time.Time) error {
- if b.Network != config.App().GetString("network") {
- return errors.New("Wrong Block.Header.Network")
- }
- if b.Height != lastBlockHeight+1 {
- return errors.New("Wrong Block.Header.Height")
- }
- if b.NumTxs != uint(len(b.Data.Txs)) {
- return errors.New("Wrong Block.Header.NumTxs")
- }
- if !bytes.Equal(b.LastBlockHash, lastBlockHash) {
- return errors.New("Wrong Block.Header.LastBlockHash")
- }
- if !b.LastBlockParts.Equals(lastBlockParts) {
- return errors.New("Wrong Block.Header.LastBlockParts")
- }
- /* TODO: Determine bounds
- See blockchain/reactor "stopSyncingDurationMinutes"
-
- if !b.Time.After(lastBlockTime) {
- return errors.New("Invalid Block.Header.Time")
- }
- */
- if b.Header.Height != 1 {
- if err := b.Validation.ValidateBasic(); err != nil {
- return err
- }
- }
- // XXX more validation
- return nil
- }
-
- // Computes and returns the block hash.
- // If the block is incomplete (e.g. missing Header.StateHash)
- // then the hash is nil, to prevent the usage of that hash.
- func (b *Block) Hash() []byte {
- if b.Header == nil || b.Validation == nil || b.Data == nil {
- return nil
- }
- hashHeader := b.Header.Hash()
- hashValidation := b.Validation.Hash()
- hashData := b.Data.Hash()
-
- // If hashHeader is nil, required fields are missing.
- if len(hashHeader) == 0 {
- return nil
- }
-
- // Merkle hash from subhashes.
- hashes := [][]byte{hashHeader, hashValidation, hashData}
- return merkle.HashFromHashes(hashes)
- }
-
- func (b *Block) MakePartSet() *PartSet {
- return NewPartSetFromData(binary.BinaryBytes(b))
- }
-
- // Convenience.
- // A nil block never hashes to anything.
- // Nothing hashes to a nil hash.
- func (b *Block) HashesTo(hash []byte) bool {
- if len(hash) == 0 {
- return false
- }
- if b == nil {
- return false
- }
- return bytes.Equal(b.Hash(), hash)
- }
-
- func (b *Block) String() string {
- return b.StringIndented("")
- }
-
- func (b *Block) StringIndented(indent string) string {
- if b == nil {
- return "nil-Block"
- }
- return fmt.Sprintf(`Block{
- %s %v
- %s %v
- %s %v
- %s}#%X`,
- indent, b.Header.StringIndented(indent+" "),
- indent, b.Validation.StringIndented(indent+" "),
- indent, b.Data.StringIndented(indent+" "),
- indent, b.Hash())
- }
-
- func (b *Block) StringShort() string {
- if b == nil {
- return "nil-Block"
- } else {
- return fmt.Sprintf("Block#%X", b.Hash())
- }
- }
-
- //-----------------------------------------------------------------------------
-
- type Header struct {
- Network string `json:"network"`
- Height uint `json:"height"`
- Time time.Time `json:"time"`
- Fees uint64 `json:"fees"`
- NumTxs uint `json:"num_txs"`
- LastBlockHash []byte `json:"last_block_hash"`
- LastBlockParts PartSetHeader `json:"last_block_parts"`
- StateHash []byte `json:"state_hash"`
- }
-
- // NOTE: hash is nil if required fields are missing.
- func (h *Header) Hash() []byte {
- if len(h.StateHash) == 0 {
- return nil
- }
-
- buf := new(bytes.Buffer)
- hasher, n, err := sha256.New(), new(int64), new(error)
- binary.WriteBinary(h, buf, n, err)
- if *err != nil {
- panic(err)
- }
- hasher.Write(buf.Bytes())
- hash := hasher.Sum(nil)
- return hash
- }
-
- func (h *Header) StringIndented(indent string) string {
- if h == nil {
- return "nil-Header"
- }
- return fmt.Sprintf(`Header{
- %s Network: %v
- %s Height: %v
- %s Time: %v
- %s Fees: %v
- %s NumTxs: %v
- %s LastBlockHash: %X
- %s LastBlockParts: %v
- %s StateHash: %X
- %s}#%X`,
- indent, h.Network,
- indent, h.Height,
- indent, h.Time,
- indent, h.Fees,
- indent, h.NumTxs,
- indent, h.LastBlockHash,
- indent, h.LastBlockParts,
- indent, h.StateHash,
- indent, h.Hash())
- }
-
- //-----------------------------------------------------------------------------
-
- type Commit struct {
- Address []byte `json:"address"`
- Round uint `json:"round"`
- Signature account.SignatureEd25519 `json:"signature"`
- }
-
- func (commit Commit) IsZero() bool {
- return commit.Round == 0 && commit.Signature.IsZero()
- }
-
- func (commit Commit) String() string {
- return fmt.Sprintf("Commit{A:%X R:%v %X}", commit.Address, commit.Round, Fingerprint(commit.Signature))
- }
-
- //-------------------------------------
-
- // NOTE: The Commits are in order of address to preserve the bonded ValidatorSet order.
- // Any peer with a block can gossip commits by index with a peer without recalculating the
- // active ValidatorSet.
- type Validation struct {
- Commits []Commit `json:"commits"` // Commits (or nil) of all active validators in address order.
-
- // Volatile
- hash []byte
- bitArray *BitArray
- }
-
- func (v *Validation) ValidateBasic() error {
- if len(v.Commits) == 0 {
- return errors.New("No commits in validation")
- }
- lastAddress := []byte{}
- for i := 0; i < len(v.Commits); i++ {
- commit := v.Commits[i]
- if commit.IsZero() {
- if len(commit.Address) > 0 {
- return errors.New("Zero commits should not have an address")
- }
- } else {
- if len(commit.Address) == 0 {
- return errors.New("Nonzero commits should have an address")
- }
- if len(lastAddress) > 0 && bytes.Compare(lastAddress, commit.Address) != -1 {
- return errors.New("Invalid commit order")
- }
- lastAddress = commit.Address
- }
- }
- return nil
- }
-
- func (v *Validation) Hash() []byte {
- if v.hash == nil {
- bs := make([]interface{}, len(v.Commits))
- for i, commit := range v.Commits {
- bs[i] = commit
- }
- v.hash = merkle.HashFromBinaries(bs)
- }
- return v.hash
- }
-
- func (v *Validation) StringIndented(indent string) string {
- if v == nil {
- return "nil-Validation"
- }
- commitStrings := make([]string, len(v.Commits))
- for i, commit := range v.Commits {
- commitStrings[i] = commit.String()
- }
- return fmt.Sprintf(`Validation{
- %s %v
- %s}#%X`,
- indent, strings.Join(commitStrings, "\n"+indent+" "),
- indent, v.hash)
- }
-
- func (v *Validation) BitArray() *BitArray {
- if v.bitArray == nil {
- v.bitArray = NewBitArray(uint(len(v.Commits)))
- for i, commit := range v.Commits {
- v.bitArray.SetIndex(uint(i), !commit.IsZero())
- }
- }
- return v.bitArray
- }
-
- //-----------------------------------------------------------------------------
-
- type Data struct {
- Txs []Tx `json:"txs"`
-
- // Volatile
- hash []byte
- }
-
- func (data *Data) Hash() []byte {
- if data.hash == nil {
- bs := make([]interface{}, len(data.Txs))
- for i, tx := range data.Txs {
- bs[i] = account.SignBytes(tx)
- }
- data.hash = merkle.HashFromBinaries(bs)
- }
- return data.hash
- }
-
- func (data *Data) StringIndented(indent string) string {
- if data == nil {
- return "nil-Data"
- }
- txStrings := make([]string, len(data.Txs))
- for i, tx := range data.Txs {
- txStrings[i] = fmt.Sprintf("Tx:%v", tx)
- }
- return fmt.Sprintf(`Data{
- %s %v
- %s}#%X`,
- indent, strings.Join(txStrings, "\n"+indent+" "),
- indent, data.hash)
- }
|