-
Notifications
You must be signed in to change notification settings - Fork 3
/
create_test.go
78 lines (69 loc) · 1.97 KB
/
create_test.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
package iavlproofs
import (
"testing"
"github.com/confio/ics23-iavl/helpers"
ics23 "github.com/confio/ics23/go"
)
func TestCreateMembership(t *testing.T) {
cases := map[string]struct {
size int
loc helpers.Where
}{
"small left": {size: 100, loc: helpers.Left},
"small middle": {size: 100, loc: helpers.Middle},
"small right": {size: 100, loc: helpers.Right},
"big left": {size: 5431, loc: helpers.Left},
"big middle": {size: 5431, loc: helpers.Middle},
"big right": {size: 5431, loc: helpers.Right},
}
for name, tc := range cases {
t.Run(name, func(t *testing.T) {
tree, allkeys, err := helpers.BuildTree(tc.size)
if err != nil {
t.Fatalf("Creating tree: %+v", err)
}
key := helpers.GetKey(allkeys, tc.loc)
_, val := tree.Get(key)
proof, err := CreateMembershipProof(tree, key)
if err != nil {
t.Fatalf("Creating Proof: %+v", err)
}
root := tree.WorkingHash()
valid := ics23.VerifyMembership(IavlSpec, root, proof, key, val)
if !valid {
t.Fatalf("Membership Proof Invalid")
}
})
}
}
func TestCreateNonMembership(t *testing.T) {
cases := map[string]struct {
size int
loc helpers.Where
}{
"small left": {size: 100, loc: helpers.Left},
"small middle": {size: 100, loc: helpers.Middle},
"small right": {size: 100, loc: helpers.Right},
"big left": {size: 5431, loc: helpers.Left},
"big middle": {size: 5431, loc: helpers.Middle},
"big right": {size: 5431, loc: helpers.Right},
}
for name, tc := range cases {
t.Run(name, func(t *testing.T) {
tree, allkeys, err := helpers.BuildTree(tc.size)
if err != nil {
t.Fatalf("Creating tree: %+v", err)
}
key := helpers.GetNonKey(allkeys, tc.loc)
proof, err := CreateNonMembershipProof(tree, key)
if err != nil {
t.Fatalf("Creating Proof: %+v", err)
}
root := tree.WorkingHash()
valid := ics23.VerifyNonMembership(IavlSpec, root, proof, key)
if !valid {
t.Fatalf("Non Membership Proof Invalid")
}
})
}
}