Skip to content

Commit 91e7c8c

Browse files
committed
Add tests for the multiset
1 parent 46eb954 commit 91e7c8c

File tree

1 file changed

+306
-0
lines changed

1 file changed

+306
-0
lines changed

multiset_test.go

Lines changed: 306 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,306 @@
1+
package secp256k1
2+
3+
import (
4+
"bytes"
5+
"encoding/hex"
6+
"fmt"
7+
"github.com/pkg/errors"
8+
"math/rand"
9+
"os"
10+
"testing"
11+
)
12+
13+
type testVector struct {
14+
dataElement []byte
15+
ecmhHash []byte
16+
cumulativeHash []byte
17+
}
18+
19+
var testVectors []testVector
20+
21+
var testVectorsStrings = []struct {
22+
dataElementHex string
23+
point [2]string
24+
ecmhHash string
25+
cumulativeHash string
26+
}{
27+
{
28+
"982051fd1e4ba744bbbe680e1fee14677ba1a3c3540bf7b1cdb606e857233e0e00000000010000000100f2052a0100000043410496b538e853519c726a2c91e61ec11600ae1390813a627c66fb8be7947be63c52da7589379515d4e0a604f8141781e62294721166bf621e73a82cbf2342c858eeac",
29+
[2]string{"4f9a5dce69067bf28603e73a7af4c3650b16539b95bad05eee95dfc94d1efe2c", "346d5b777881f2729e7f89b2de4e8e79c7f2f42d1a0b25a8f10becb66e2d0f98"},
30+
"f883195933a687170c34fa1adec66fe2861889279fb12c03a3fb0ca68ad87893",
31+
"",
32+
},
33+
{
34+
"d5fdcc541e25de1c7a5addedf24858b8bb665c9f36ef744ee42c316022c90f9b00000000020000000100f2052a010000004341047211a824f55b505228e4c3d5194c1fcfaa15a456abdf37f9b9d97a4040afc073dee6c89064984f03385237d92167c13e236446b417ab79a0fcae412ae3316b77ac",
35+
[2]string{"68cf91eb2388a0287c13d46011c73fb8efb6be89c0867a47feccb2d11c390d2d", "f42ba72b1079d3d941881836f88b5dcd7c207a6a4839f129272c77ebb7194d42"},
36+
"ef85d123a15da95d8aff92623ad1e1c9fcda3baa801bd40bc567a83a6fdcf3e2",
37+
"fabafd38d07370982a34547daf5b57b8a4398696d6fd2294788abda07b1faaaf",
38+
},
39+
{
40+
"44f672226090d85db9a9f2fbfe5f0f9609b387af7be5b7fbb7a1767c831c9e9900000000030000000100f2052a0100000043410494b9d3e76c5b1629ecf97fff95d7a4bbdac87cc26099ada28066c6ff1eb9191223cd897194a08d0c2726c5747f1db49e8cf90e75dc3e3550ae9b30086f3cd5aaac",
41+
[2]string{"359c6f59859d1d5af8e7081905cb6bb734c010be8680c14b5a89ee315694fc2b", "fb6ba531d4bd83b14c970ad1bec332a8ae9a05706cd5df7fd91a2f2cc32482fe"},
42+
"cfadf40fc017faff5e04ccc0a2fae0fd616e4226dd7c03b1334a7a610468edff",
43+
"1cbccda23d7ce8c5a8b008008e1738e6bf9cffb1d5b86a92a4e62b5394a636e2",
44+
},
45+
}
46+
47+
func TestMain(m *testing.M) {
48+
for _, vector := range testVectorsStrings {
49+
res := testVector{}
50+
err := errors.New("")
51+
res.dataElement, err = hex.DecodeString(vector.dataElementHex)
52+
if err != nil {
53+
panic(fmt.Sprintf("failed parsing the hex: '%s', err: '%v'", vector.dataElementHex, err))
54+
}
55+
res.ecmhHash, err = hex.DecodeString(vector.ecmhHash)
56+
if err != nil {
57+
panic(fmt.Sprintf("failed parsing the hex: '%s', err: '%v'", vector.ecmhHash, err))
58+
}
59+
res.cumulativeHash, err = hex.DecodeString(vector.cumulativeHash)
60+
if err != nil {
61+
panic(fmt.Sprintf("failed parsing the hex: '%s', err: '%v'", vector.cumulativeHash, err))
62+
}
63+
testVectors = append(testVectors, res)
64+
}
65+
66+
os.Exit(m.Run())
67+
}
68+
69+
func TestVectorsMultiset_Hash(t *testing.T) {
70+
for _, test := range testVectors {
71+
m := NewMultiset()
72+
m.Add(test.dataElement)
73+
mFinal := m.Finalize()
74+
if !bytes.Equal(mFinal[:], test.ecmhHash) {
75+
t.Fatalf("Multiset-Hash returned incorrect hash serialization, expected: '%x', found: '%x'", mFinal, test.ecmhHash)
76+
}
77+
}
78+
m := NewMultiset()
79+
if m.Finalize() != [32]byte{} {
80+
t.Fatalf("Empty set did not return zero hash, got: '%x' instead", m.Finalize())
81+
}
82+
}
83+
84+
func TestVectorsMultiset_AddRemove(t *testing.T) {
85+
m := NewMultiset()
86+
for i, test := range testVectors {
87+
m.Add(test.dataElement)
88+
mFinal := m.Finalize()
89+
if len(test.cumulativeHash) != 0 && !bytes.Equal(mFinal[:], test.cumulativeHash) {
90+
t.Fatalf("Test #%d: Multiset-Add returned incorrect hash. Expected '%s' but got '%s'", i, test.cumulativeHash, mFinal)
91+
}
92+
}
93+
94+
for i := len(testVectors) - 1; i > 0; i-- {
95+
m.Remove(testVectors[i].dataElement)
96+
mFinal := m.Finalize()
97+
if len(testVectors[i-1].cumulativeHash) != 0 && !bytes.Equal(mFinal[:], testVectors[i-1].cumulativeHash) {
98+
t.Fatalf("Test #%d: Multiset-Remove returned incorrect hash. Expected '%s' but got '%s'", i, testVectors[i].cumulativeHash, mFinal)
99+
}
100+
}
101+
}
102+
103+
func TestVectorsMultiset_CombineSubtract(t *testing.T) {
104+
m1 := NewMultiset()
105+
zeroHash := m1.Finalize()
106+
107+
for _, test := range testVectors {
108+
m1.Add(test.dataElement)
109+
}
110+
111+
m2 := NewMultiset()
112+
for _, test := range testVectors {
113+
m2.Remove(test.dataElement)
114+
}
115+
m1.Combine(m2)
116+
if m1.Finalize() != zeroHash {
117+
t.Fatalf("m1 was expected to have a zero hash, but was '%x' instead", m1.Finalize())
118+
}
119+
}
120+
121+
func TestVectorsMultiset_Commutativity(t *testing.T) {
122+
m := NewMultiset()
123+
zeroHash := m.Finalize()
124+
125+
// Check that if we subtract values from zero and then re-add them, we return to zero.
126+
for _, test := range testVectors {
127+
m.Remove(test.dataElement)
128+
}
129+
130+
for _, test := range testVectors {
131+
m.Add(test.dataElement)
132+
}
133+
if m.Finalize() != zeroHash {
134+
t.Fatalf("m was expected to be zero hash, but was '%s' instead", m.Finalize())
135+
}
136+
137+
// Here we first remove an element from an empty multiset, and then add some other
138+
// elements, and then we create a new empty multiset, then we add the same elements
139+
// we added to the previous multiset, and then we remove the same element we remove
140+
// the same element we removed from the previous multiset. According to commutativity
141+
// laws, the result should be the same.
142+
removeIndex := 0
143+
removeData := testVectors[removeIndex].dataElement
144+
145+
m1 := NewMultiset()
146+
m1.Remove(removeData)
147+
148+
for i, test := range testVectors {
149+
if i != removeIndex {
150+
m1.Add(test.dataElement)
151+
}
152+
}
153+
154+
m2 := NewMultiset()
155+
for i, test := range testVectors {
156+
if i != removeIndex {
157+
m2.Add(test.dataElement)
158+
}
159+
}
160+
m2.Remove(removeData)
161+
162+
if m1.Finalize() != m2.Finalize() {
163+
t.Fatalf("m1 and m2 was exepcted to have the same hash, but got instead m1 '%x' and m2 '%x'", m1.Finalize(), m2.Finalize())
164+
}
165+
}
166+
167+
func TestParseMultiSetFail(t *testing.T) {
168+
data := [64]byte{}
169+
copy(data[:], Secp256k1Order.Bytes())
170+
_, err := ParseMultiSet(data)
171+
if err == nil {
172+
t.Errorf("shouldn't be able to parse a multiset bigger with x bigger than the field size: '%v'", err)
173+
}
174+
data = [64]byte{}
175+
copy(data[32:], Secp256k1Order.Bytes())
176+
_, err = ParseMultiSet(data)
177+
if err == nil {
178+
t.Errorf("shouldn't be able to parse a multiset bigger with y bigger than the field size: '%v'", err)
179+
}
180+
set := NewMultiset()
181+
n, err := rand.Read(data[:])
182+
if err != nil || n != len(data) {
183+
t.Fatalf("failed generating random data '%v' '%d' ", err, n)
184+
}
185+
set.Add(data[:])
186+
187+
}
188+
189+
func TestMultiSet_Reset(t *testing.T) {
190+
set := NewMultiset()
191+
emptySet := NewMultiset()
192+
data := [100]byte{}
193+
n, err := rand.Read(data[:])
194+
if err != nil || n != len(data) {
195+
t.Fatalf("failed generating random data '%v' '%d' ", err, n)
196+
}
197+
set.Add(data[:])
198+
if set.Finalize() == emptySet.Finalize() {
199+
t.Errorf("expected set to be empty. found: '%x'", set.Finalize())
200+
}
201+
set.Reset()
202+
if set.Finalize() != emptySet.Finalize() {
203+
t.Errorf("expected set to be empty. found: '%x'", set.Finalize())
204+
}
205+
}
206+
207+
func TestMultiSetAddRemove(t *testing.T) {
208+
list := [loopsN][100]byte{}
209+
set := NewMultiset()
210+
set2 := set
211+
serializedEmpty := set.Serialize()
212+
for i := 0; i < loopsN; i++ {
213+
data := [100]byte{}
214+
n, err := rand.Read(data[:])
215+
if err != nil || n != len(data) {
216+
t.Fatalf("Failed generating random data '%d' '%v' ", n, err)
217+
}
218+
set.Add(data[:])
219+
list[i] = data
220+
}
221+
if set.Finalize() == set2.Finalize() {
222+
t.Errorf("sets are the same when they should be different: set '%x'\n", set.Finalize())
223+
}
224+
225+
for i := 0; i < loopsN; i++ {
226+
set.Remove(list[i][:])
227+
}
228+
if set.Finalize() != set2.Finalize() {
229+
t.Errorf("sets are different when they should be the same: set1: '%x', set2: '%x'\n", set.Finalize(), set2.Finalize())
230+
}
231+
if set.Serialize() != serializedEmpty {
232+
t.Errorf("serialized sets are different when they should be the same: set1: '%x', set2: '%x'\n", set.Serialize(), serializedEmpty)
233+
}
234+
parsedSet, err := ParseMultiSet(serializedEmpty)
235+
if err != nil {
236+
t.Errorf("error: '%v' happened when parsing: '%x'", err, serializedEmpty)
237+
} else if parsedSet.Finalize() != set.Finalize() {
238+
t.Errorf("sets are different when they should be the same: set1: '%x', parsedSet: '%x'\n", set.Finalize(), parsedSet.Finalize())
239+
}
240+
}
241+
242+
func BenchmarkMultiSet_Add(b *testing.B) {
243+
b.ReportAllocs()
244+
list := make([][100]byte, b.N)
245+
for i := 0; i < b.N; i++ {
246+
n, err := rand.Read(list[i][:])
247+
if err != nil || n != len(list[i]) {
248+
b.Fatalf("Failed generating random data '%d' '%v' ", n, err)
249+
}
250+
}
251+
set := NewMultiset()
252+
b.ResetTimer()
253+
for i := 0; i < b.N; i++ {
254+
set.Add(list[i][:])
255+
tmpSer := set.Serialize()
256+
tmpSet, err := ParseMultiSet(tmpSer)
257+
if err != nil || tmpSet.Finalize() != set.Finalize() {
258+
panic("bad benchmark")
259+
}
260+
}
261+
if set == NewMultiset() { // To prevent optimizing out the loop
262+
panic("bad benchmark")
263+
}
264+
}
265+
266+
func BenchmarkMultiSet_Remove(b *testing.B) {
267+
b.ReportAllocs()
268+
list := make([][100]byte, b.N)
269+
for i := 0; i < b.N; i++ {
270+
n, err := rand.Read(list[i][:])
271+
if err != nil || n != len(list[i]) {
272+
b.Fatalf("Failed generating random data '%d' '%v' ", n, err)
273+
}
274+
}
275+
set := NewMultiset()
276+
b.ResetTimer()
277+
for i := 0; i < b.N; i++ {
278+
set.Remove(list[i][:])
279+
}
280+
if set == NewMultiset() { // To prevent optimizing out the loop
281+
panic("bad benchmark")
282+
}
283+
}
284+
285+
func BenchmarkMultiSet_Combine(b *testing.B) {
286+
b.ReportAllocs()
287+
set := NewMultiset()
288+
sets := make([]MultiSet, b.N)
289+
for i := 0; i < b.N; i++ {
290+
data := [100]byte{}
291+
n, err := rand.Read(data[:])
292+
if err != nil || n != len(data) {
293+
b.Fatalf("Failed generating random data '%d' '%v' ", n, err)
294+
}
295+
set.Add(data[:])
296+
sets[i] = set
297+
}
298+
set.Reset()
299+
b.ResetTimer()
300+
for i := 0; i < b.N; i++ {
301+
set.Combine(sets[i])
302+
}
303+
if set == NewMultiset() { // To prevent optimizing out the loop
304+
panic("bad benchmark")
305+
}
306+
}

0 commit comments

Comments
 (0)