forked from babylonlabs-io/babylon
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathvote_ext_test.go
252 lines (208 loc) · 8.18 KB
/
vote_ext_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
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
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
package checkpointing_test
import (
"math/rand"
"testing"
abci "github.com/cometbft/cometbft/abci/types"
"github.com/stretchr/testify/require"
"github.com/babylonlabs-io/babylon/testutil/datagen"
testhelper "github.com/babylonlabs-io/babylon/testutil/helper"
"github.com/babylonlabs-io/babylon/x/checkpointing/types"
)
// FuzzAddBLSSigVoteExtension_MultipleVals tests adding BLS signatures via VoteExtension
// with multiple validators
func FuzzAddBLSSigVoteExtension_MultipleVals(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
// generate the validator set with 10 validators as genesis
genesisValSet, privSigner, err := datagen.GenesisValidatorSetWithPrivSigner(10)
require.NoError(t, err)
helper := testhelper.NewHelperWithValSet(t, genesisValSet, privSigner)
ek := helper.App.EpochingKeeper
ck := helper.App.CheckpointingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
// go to block 11, ensure the checkpoint is finalized
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval; i++ {
_, err := helper.ApplyEmptyBlockWithVoteExtension(r)
require.NoError(t, err)
}
epoch = ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(2), epoch.EpochNumber)
ckpt, err := ck.GetRawCheckpoint(helper.Ctx, epoch.EpochNumber-1)
require.NoError(t, err)
require.Equal(t, types.Sealed, ckpt.Status)
})
}
// FuzzAddBLSSigVoteExtension_InsufficientVotingPower tests adding BLS signatures
// with insufficient voting power
func FuzzAddBLSSigVoteExtension_InsufficientVotingPower(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
// generate the validator set with 10 validators as genesis
genesisValSet, privSigner, err := datagen.GenesisValidatorSetWithPrivSigner(10)
require.NoError(t, err)
helper := testhelper.NewHelperWithValSet(t, genesisValSet, privSigner)
ek := helper.App.EpochingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
// the number of validators is less than 2/3 if the total set
numOfValidators := datagen.RandomInt(r, 5) + 1
genesisValSet.Keys = genesisValSet.Keys[:numOfValidators]
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval-1; i++ {
_, err := helper.ApplyEmptyBlockWithValSet(r, genesisValSet)
if i < interval-2 {
require.NoError(t, err)
} else {
require.Error(t, err)
}
}
})
}
// FuzzAddBLSSigVoteExtension_InvalidVoteExtensions tests adding BLS signatures
// with invalid BLS signatures
func FuzzAddBLSSigVoteExtension_InvalidVoteExtensions(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
helper := testhelper.NewHelper(t)
ek := helper.App.EpochingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval-1; i++ {
_, err := helper.ApplyEmptyBlockWithInvalidVoteExtensions(r)
if i < interval-2 {
require.NoError(t, err)
} else {
require.Error(t, err)
}
}
})
}
// FuzzAddBLSSigVoteExtension_SomeInvalidVoteExtensions tests resilience
// of ProcessProposal against invalid vote extensions
func FuzzAddBLSSigVoteExtension_SomeInvalidVoteExtensions(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
// generate the validator set with 10 validators as genesis
genesisValSet, privSigner, err := datagen.GenesisValidatorSetWithPrivSigner(10)
require.NoError(t, err)
helper := testhelper.NewHelperWithValSet(t, genesisValSet, privSigner)
ek := helper.App.EpochingKeeper
ck := helper.App.CheckpointingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
// go to block 10, ensure the checkpoint is finalized
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval-2; i++ {
_, err := helper.ApplyEmptyBlockWithSomeInvalidVoteExtensions(r)
require.NoError(t, err)
}
// height 11, i.e., 1st block of next epoch
_, err = helper.ApplyEmptyBlockWithSomeInvalidVoteExtensions(r)
require.NoError(t, err)
epoch = ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(2), epoch.EpochNumber)
ckpt, err := ck.GetRawCheckpoint(helper.Ctx, epoch.EpochNumber-1)
require.NoError(t, err)
require.Equal(t, types.Sealed, ckpt.Status)
})
}
// FuzzExtendVote_InvalidBlockHash tests the case where the
// block hash for signing is invalid in terms of format
func FuzzExtendVote_InvalidBlockHash(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
// generate the validator set with 10 validators as genesis
genesisValSet, privSigner, err := datagen.GenesisValidatorSetWithPrivSigner(10)
require.NoError(t, err)
helper := testhelper.NewHelperWithValSet(t, genesisValSet, privSigner)
ek := helper.App.EpochingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
// go to block 10, reaching epoch boundary
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval-2; i++ {
_, err := helper.ApplyEmptyBlockWithVoteExtension(r)
require.NoError(t, err)
}
req1 := &abci.RequestExtendVote{
Hash: datagen.GenRandomByteArray(r, datagen.RandomIntOtherThan(r, types.HashSize, 100)),
Height: 10,
}
_, err = helper.App.ExtendVote(helper.Ctx, req1)
require.Error(t, err)
req2 := &abci.RequestExtendVote{
Hash: datagen.GenRandomByteArray(r, types.HashSize),
Height: 10,
}
_, err = helper.App.ExtendVote(helper.Ctx, req2)
require.NoError(t, err)
})
}
// FuzzExtendVote_EmptyBLSPrivKey tests the case where the
// BLS private key of the private signer is missing
func FuzzExtendVote_EmptyBLSPrivKey(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
// generate the validator set with 10 validators as genesis
genesisValSet, ps, err := datagen.GenesisValidatorSetWithPrivSigner(10)
require.NoError(t, err)
// set the BLS private key to be nil to trigger panic
ps.WrappedPV.Key.BlsPrivKey = nil
helper := testhelper.NewHelperWithValSet(t, genesisValSet, ps)
ek := helper.App.EpochingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
// go to block 10, reaching epoch boundary
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval-2; i++ {
_, err := helper.ApplyEmptyBlockWithVoteExtension(r)
require.NoError(t, err)
}
req := &abci.RequestExtendVote{
Hash: datagen.GenRandomByteArray(r, types.HashSize),
Height: 10,
}
// error is expected due to nil BLS private key
_, err = helper.App.ExtendVote(helper.Ctx, req)
require.Error(t, err)
})
}
// FuzzExtendVote_NotInValidatorSet tests the case where the
// private signer is not in the validator set
func FuzzExtendVote_NotInValidatorSet(f *testing.F) {
datagen.AddRandomSeedsToFuzzer(f, 10)
f.Fuzz(func(t *testing.T, seed int64) {
r := rand.New(rand.NewSource(seed))
// generate the validator set with 10 validators as genesis
genesisValSet, ps, err := datagen.GenesisValidatorSetWithPrivSigner(10)
require.NoError(t, err)
// the private signer is not included in the validator set
helper := testhelper.NewHelperWithValSetNoSigner(t, genesisValSet, ps)
ek := helper.App.EpochingKeeper
epoch := ek.GetEpoch(helper.Ctx)
require.Equal(t, uint64(1), epoch.EpochNumber)
// go to block 10, reaching epoch boundary
interval := ek.GetParams(helper.Ctx).EpochInterval
for i := uint64(0); i < interval-2; i++ {
_, err := helper.ApplyEmptyBlockWithSomeInvalidVoteExtensions(r)
require.NoError(t, err)
}
req := &abci.RequestExtendVote{
Hash: datagen.GenRandomByteArray(r, types.HashSize),
Height: 10,
}
// error is expected because the BLS signer in not
// in the validator set
_, err = helper.App.ExtendVote(helper.Ctx, req)
require.Error(t, err)
})
}