-
Notifications
You must be signed in to change notification settings - Fork 10
/
proof_path.go
119 lines (106 loc) · 2.51 KB
/
proof_path.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
package iavl
import (
"fmt"
"strings"
)
// pathWithLeaf is a path to a leaf node and the leaf node itself.
type pathWithLeaf struct {
Path PathToLeaf `json:"path"`
Leaf ProofLeafNode `json:"leaf"`
}
func (pwl pathWithLeaf) String() string {
return pwl.StringIndented("")
}
func (pwl pathWithLeaf) StringIndented(indent string) string {
return fmt.Sprintf(`pathWithLeaf{
%s Path: %v
%s Leaf: %v
%s}`,
indent, pwl.Path.stringIndented(indent+" "),
indent, pwl.Leaf.stringIndented(indent+" "),
indent)
}
// `computeRootHash` computes the root hash with leaf node.
// Does not verify the root hash.
func (pwl pathWithLeaf) computeRootHash() ([]byte, error) {
leafHash, err := pwl.Leaf.Hash()
if err != nil {
return nil, err
}
return pwl.Path.computeRootHash(leafHash)
}
//----------------------------------------
// PathToLeaf represents an inner path to a leaf node.
// Note that the nodes are ordered such that the last one is closest
// to the root of the tree.
type PathToLeaf []ProofInnerNode
func (pl PathToLeaf) String() string {
return pl.stringIndented("")
}
func (pl PathToLeaf) stringIndented(indent string) string {
if len(pl) == 0 {
return "empty-PathToLeaf"
}
strs := make([]string, 0, len(pl))
for i, pin := range pl {
if i == 20 {
strs = append(strs, fmt.Sprintf("... (%v total)", len(pl)))
break
}
strs = append(strs, fmt.Sprintf("%v:%v", i, pin.stringIndented(indent+" ")))
}
return fmt.Sprintf(`PathToLeaf{
%s %v
%s}`,
indent, strings.Join(strs, "\n"+indent+" "),
indent)
}
// `computeRootHash` computes the root hash assuming some leaf hash.
// Does not verify the root hash.
// Contract: Caller must verify that the roothash is correct by calling `.verify()`.
func (pl PathToLeaf) computeRootHash(leafHash []byte) ([]byte, error) {
var err error
hash := leafHash
for i := len(pl) - 1; i >= 0; i-- {
pin := pl[i]
hash, err = pin.Hash(hash)
if err != nil {
return nil, err
}
}
return hash, nil
}
func (pl PathToLeaf) isLeftmost() bool {
for _, node := range pl {
if len(node.Left) > 0 {
return false
}
}
return true
}
func (pl PathToLeaf) isRightmost() bool {
for _, node := range pl {
if len(node.Right) > 0 {
return false
}
}
return true
}
// returns -1 if invalid.
func (pl PathToLeaf) Index() (idx int64) {
for i, node := range pl {
switch {
case node.Left == nil:
continue
case node.Right == nil:
if i < len(pl)-1 {
idx += node.Size - pl[i+1].Size
} else {
idx += node.Size - 1
}
default:
return -1
}
}
return idx
}