github.com/koko1123/flow-go-1@v0.29.6/ledger/complete/mtrie/node/node.go (about)

     1  package node
     2  
     3  import (
     4  	"encoding/hex"
     5  	"fmt"
     6  
     7  	"github.com/koko1123/flow-go-1/ledger"
     8  	"github.com/koko1123/flow-go-1/ledger/common/hash"
     9  )
    10  
    11  // Node defines an Mtrie node
    12  //
    13  // DEFINITIONS:
    14  //   - HEIGHT of a node v in a tree is the number of edges on the longest
    15  //     downward path between v and a tree leaf.
    16  //
    17  // Conceptually, an MTrie is a sparse Merkle Trie, which has two node types:
    18  //   - INTERIM node: has at least one child (i.e. lChild or rChild is not
    19  //     nil). Interim nodes do not store a path and have no payload.
    20  //   - LEAF node: has _no_ children.
    21  //
    22  // Per convention, we also consider nil as a leaf. Formally, nil is the generic
    23  // representative for any empty (sub)-trie (i.e. a trie without allocated
    24  // registers).
    25  //
    26  // Nodes are supposed to be treated as _immutable_ data structures.
    27  // TODO: optimized data structures might be able to reduce memory consumption
    28  type Node struct {
    29  	// Implementation Comments:
    30  	// Formally, a tree can hold up to 2^maxDepth number of registers. However,
    31  	// the current implementation is designed to operate on a sparsely populated
    32  	// tree, holding much less than 2^64 registers.
    33  
    34  	lChild    *Node           // Left Child
    35  	rChild    *Node           // Right Child
    36  	height    int             // height where the Node is at
    37  	path      ledger.Path     // the storage path (dummy value for interim nodes)
    38  	payload   *ledger.Payload // the payload this node is storing (leaf nodes only)
    39  	hashValue hash.Hash       // hash value of node (cached)
    40  }
    41  
    42  // NewNode creates a new Node.
    43  // UNCHECKED requirement: combination of values must conform to
    44  // a valid node type (see documentation of `Node` for details)
    45  func NewNode(height int,
    46  	lchild,
    47  	rchild *Node,
    48  	path ledger.Path,
    49  	payload *ledger.Payload,
    50  	hashValue hash.Hash,
    51  ) *Node {
    52  	n := &Node{
    53  		lChild:    lchild,
    54  		rChild:    rchild,
    55  		height:    height,
    56  		path:      path,
    57  		hashValue: hashValue,
    58  		payload:   payload,
    59  	}
    60  	return n
    61  }
    62  
    63  // NewLeaf creates a compact leaf Node.
    64  // UNCHECKED requirement: height must be non-negative
    65  // UNCHECKED requirement: payload is non nil
    66  // UNCHECKED requirement: payload should be deep copied if received from external sources
    67  func NewLeaf(path ledger.Path,
    68  	payload *ledger.Payload,
    69  	height int,
    70  ) *Node {
    71  	n := &Node{
    72  		lChild:  nil,
    73  		rChild:  nil,
    74  		height:  height,
    75  		path:    path,
    76  		payload: payload,
    77  	}
    78  	n.hashValue = n.computeHash()
    79  	return n
    80  }
    81  
    82  // NewInterimNode creates a new interim Node.
    83  // UNCHECKED requirement:
    84  //   - for any child `c` that is non-nil, its height must satisfy: height = c.height + 1
    85  func NewInterimNode(height int, lchild, rchild *Node) *Node {
    86  	n := &Node{
    87  		lChild:  lchild,
    88  		rChild:  rchild,
    89  		height:  height,
    90  		payload: nil,
    91  	}
    92  	n.hashValue = n.computeHash()
    93  	return n
    94  }
    95  
    96  // NewInterimCompactifiedNode creates a new compactified interim Node. For compactification,
    97  // we only consider the immediate children. When starting with a maximally pruned trie and
    98  // creating only InterimCompactifiedNodes during an update, the resulting trie remains maximally
    99  // pruned. Details on compactification:
   100  //   - If _both_ immediate children represent completely unallocated sub-tries, then the sub-trie
   101  //     with the new interim node is also completely empty. We return nil.
   102  //   - If either child is a leaf (i.e. representing a single allocated register) _and_ the other
   103  //     child represents a completely unallocated sub-trie, the new interim node also only holds
   104  //     a single allocated register. In this case, we return a compactified leaf.
   105  //
   106  // UNCHECKED requirement:
   107  //   - for any child `c` that is non-nil, its height must satisfy: height = c.height + 1
   108  func NewInterimCompactifiedNode(height int, lChild, rChild *Node) *Node {
   109  	if lChild.IsDefaultNode() {
   110  		lChild = nil
   111  	}
   112  	if rChild.IsDefaultNode() {
   113  		rChild = nil
   114  	}
   115  
   116  	// CASE (a): _both_ children do _not_ contain any allocated registers:
   117  	if lChild == nil && rChild == nil {
   118  		return nil // return nil representing as completely empty sub-trie
   119  	}
   120  
   121  	// CASE (b): one child is a compactified leaf (single allocated register) _and_ the other child represents
   122  	// an empty subtrie => in total we have one allocated register, which we represent as single leaf node
   123  	if rChild == nil && lChild.IsLeaf() {
   124  		h := hash.HashInterNode(lChild.hashValue, ledger.GetDefaultHashForHeight(lChild.height))
   125  		return &Node{height: height, path: lChild.path, payload: lChild.payload, hashValue: h}
   126  	}
   127  	if lChild == nil && rChild.IsLeaf() {
   128  		h := hash.HashInterNode(ledger.GetDefaultHashForHeight(rChild.height), rChild.hashValue)
   129  		return &Node{height: height, path: rChild.path, payload: rChild.payload, hashValue: h}
   130  	}
   131  
   132  	// CASE (b): both children contain some allocated registers => we can't compactify; return a full interim leaf
   133  	return NewInterimNode(height, lChild, rChild)
   134  }
   135  
   136  // IsDefaultNode returns true iff the sub-trie represented by this root node contains
   137  // only unallocated registers. This is the case, if the node is nil or the node's hash
   138  // is equal to the default hash value at the respective height.
   139  func (n *Node) IsDefaultNode() bool {
   140  	if n == nil {
   141  		return true
   142  	}
   143  	return n.hashValue == ledger.GetDefaultHashForHeight(n.height)
   144  }
   145  
   146  // computeHash returns the hashValue of the node
   147  func (n *Node) computeHash() hash.Hash {
   148  	// check for leaf node
   149  	if n.lChild == nil && n.rChild == nil {
   150  		// if payload is non-nil, compute the hash based on the payload content
   151  		if n.payload != nil {
   152  			return ledger.ComputeCompactValue(hash.Hash(n.path), n.payload.Value(), n.height)
   153  		}
   154  		// if payload is nil, return the default hash
   155  		return ledger.GetDefaultHashForHeight(n.height)
   156  	}
   157  
   158  	// this is an interim node at least one of lChild or rChild is not nil.
   159  	var h1, h2 hash.Hash
   160  	if n.lChild != nil {
   161  		h1 = n.lChild.Hash()
   162  	} else {
   163  		h1 = ledger.GetDefaultHashForHeight(n.height - 1)
   164  	}
   165  
   166  	if n.rChild != nil {
   167  		h2 = n.rChild.Hash()
   168  	} else {
   169  		h2 = ledger.GetDefaultHashForHeight(n.height - 1)
   170  	}
   171  	return hash.HashInterNode(h1, h2)
   172  }
   173  
   174  // VerifyCachedHash verifies the hash of a node is valid
   175  func verifyCachedHashRecursive(n *Node) bool {
   176  	if n == nil {
   177  		return true
   178  	}
   179  	if !verifyCachedHashRecursive(n.lChild) || !verifyCachedHashRecursive(n.rChild) {
   180  		return false
   181  	}
   182  
   183  	computedHash := n.computeHash()
   184  	return n.hashValue == computedHash
   185  }
   186  
   187  // VerifyCachedHash verifies the hash of a node is valid
   188  func (n *Node) VerifyCachedHash() bool {
   189  	return verifyCachedHashRecursive(n)
   190  }
   191  
   192  // Hash returns the Node's hash value.
   193  // Do NOT MODIFY returned slice!
   194  func (n *Node) Hash() hash.Hash {
   195  	return n.hashValue
   196  }
   197  
   198  // Height returns the Node's height.
   199  // Per definition, the height of a node v in a tree is the number
   200  // of edges on the longest downward path between v and a tree leaf.
   201  func (n *Node) Height() int {
   202  	return n.height
   203  }
   204  
   205  // Path returns a pointer to the Node's register storage path.
   206  // If the node is not a leaf, the function returns `nil`.
   207  func (n *Node) Path() *ledger.Path {
   208  	if n.IsLeaf() {
   209  		return &n.path
   210  	}
   211  	return nil
   212  }
   213  
   214  // Payload returns the the Node's payload.
   215  // Do NOT MODIFY returned slices!
   216  func (n *Node) Payload() *ledger.Payload {
   217  	return n.payload
   218  }
   219  
   220  // LeftChild returns the the Node's left child.
   221  // Only INTERIM nodes have children.
   222  // Do NOT MODIFY returned Node!
   223  func (n *Node) LeftChild() *Node { return n.lChild }
   224  
   225  // RightChild returns the the Node's right child.
   226  // Only INTERIM nodes have children.
   227  // Do NOT MODIFY returned Node!
   228  func (n *Node) RightChild() *Node { return n.rChild }
   229  
   230  // IsLeaf returns true if and only if Node is a LEAF.
   231  func (n *Node) IsLeaf() bool {
   232  	// Per definition, a node is a leaf if and only it has no children
   233  	return n == nil || (n.lChild == nil && n.rChild == nil)
   234  }
   235  
   236  // FmtStr provides formatted string representation of the Node and sub tree
   237  func (n *Node) FmtStr(prefix string, subpath string) string {
   238  	right := ""
   239  	if n.rChild != nil {
   240  		right = fmt.Sprintf("\n%v", n.rChild.FmtStr(prefix+"\t", subpath+"1"))
   241  	}
   242  	left := ""
   243  	if n.lChild != nil {
   244  		left = fmt.Sprintf("\n%v", n.lChild.FmtStr(prefix+"\t", subpath+"0"))
   245  	}
   246  	payloadSize := 0
   247  	if n.payload != nil {
   248  		payloadSize = n.payload.Size()
   249  	}
   250  	hashStr := hex.EncodeToString(n.hashValue[:])
   251  	hashStr = hashStr[:3] + "..." + hashStr[len(hashStr)-3:]
   252  	return fmt.Sprintf("%v%v: (path:%v, payloadSize:%d hash:%v)[%s] (obj %p) %v %v ", prefix, n.height, n.path, payloadSize, hashStr, subpath, n, left, right)
   253  }
   254  
   255  // AllPayloads returns the payload of this node and all payloads of the subtrie
   256  func (n *Node) AllPayloads() []ledger.Payload {
   257  	return n.appendSubtreePayloads([]ledger.Payload{})
   258  }
   259  
   260  // appendSubtreePayloads appends the payloads of the subtree with this node as root
   261  // to the provided Payload slice. Follows same pattern as Go's native append method.
   262  func (n *Node) appendSubtreePayloads(result []ledger.Payload) []ledger.Payload {
   263  	if n == nil {
   264  		return result
   265  	}
   266  	if n.IsLeaf() {
   267  		return append(result, *n.Payload())
   268  	}
   269  	result = n.lChild.appendSubtreePayloads(result)
   270  	result = n.rChild.appendSubtreePayloads(result)
   271  	return result
   272  }