mirror of
https://github.com/QuilibriumNetwork/ceremonyclient.git
synced 2026-02-21 18:37:26 +08:00
c797d482f9
* wip: conversion of hotstuff from flow into Q-oriented model * bulk of tests * remaining non-integration tests * add integration test, adjust log interface, small tweaks * further adjustments, restore full pacemaker shape * add component lifecycle management+supervisor * further refinements * resolve timeout hanging * mostly finalized state for consensus * bulk of engine swap out * lifecycle-ify most types * wiring nearly complete, missing needed hooks for proposals * plugged in, vetting message validation paths * global consensus, plugged in and verified * app shard now wired in too * do not decode empty keys.yml (#456) * remove obsolete engine.maxFrames config parameter (#454) * default to Info log level unless debug is enabled (#453) * respect config's "logging" section params, remove obsolete single-file logging (#452) * Trivial code cleanup aiming to reduce Go compiler warnings (#451) * simplify range traversal * simplify channel read for single select case * delete rand.Seed() deprecated in Go 1.20 and no-op as of Go 1.24 * simplify range traversal * simplify channel read for single select case * remove redundant type from array * simplify range traversal * simplify channel read for single select case * RC slate * finalize 2.1.0.5 * Update comments in StrictMonotonicCounter Fix comment formatting and clarify description. --------- Co-authored-by: Black Swan <3999712+blacks1ne@users.noreply.github.com>
96 lines
3.0 KiB
Go
96 lines
3.0 KiB
Go
package time
|
|
|
|
import (
|
|
"context"
|
|
"testing"
|
|
"time"
|
|
|
|
"github.com/stretchr/testify/assert"
|
|
"github.com/stretchr/testify/require"
|
|
"go.uber.org/zap"
|
|
"source.quilibrium.com/quilibrium/monorepo/lifecycle"
|
|
"source.quilibrium.com/quilibrium/monorepo/protobufs"
|
|
)
|
|
|
|
// TestGlobalTimeReel_SimpleEquivocation tests a simple equivocation scenario
|
|
func TestGlobalTimeReel_SimpleEquivocation(t *testing.T) {
|
|
logger, _ := zap.NewDevelopment()
|
|
s := setupTestClockStore(t)
|
|
globalReel, err := NewGlobalTimeReel(logger, createTestProverRegistry(true), s, 99, true)
|
|
require.NoError(t, err)
|
|
|
|
ctx, cancel, _ := lifecycle.WithSignallerAndCancel(context.Background())
|
|
go globalReel.Start(ctx, func() {})
|
|
time.Sleep(100 * time.Millisecond)
|
|
defer cancel()
|
|
|
|
// Insert genesis
|
|
genesis := &protobufs.GlobalFrame{
|
|
Header: &protobufs.GlobalFrameHeader{
|
|
FrameNumber: 0,
|
|
ParentSelector: []byte{},
|
|
Output: []byte{0},
|
|
},
|
|
}
|
|
|
|
err = globalReel.Insert(genesis)
|
|
require.NoError(t, err)
|
|
|
|
parentSelector := computeGlobalPoseidonHash(genesis.Header.Output)
|
|
|
|
// Insert frame 1A with signers 0,1,5,6,7 (bitmask 0b11100011)
|
|
frame1A := &protobufs.GlobalFrame{
|
|
Header: &protobufs.GlobalFrameHeader{
|
|
FrameNumber: 1,
|
|
ParentSelector: parentSelector,
|
|
Output: []byte{1},
|
|
PublicKeySignatureBls48581: &protobufs.BLS48581AggregateSignature{
|
|
Bitmask: []byte{0b11100011},
|
|
},
|
|
},
|
|
}
|
|
|
|
err = globalReel.Insert(frame1A)
|
|
require.NoError(t, err)
|
|
|
|
// Insert frame 1B with signers 2,3,4,5,6,7 (bitmask 0b11111100)
|
|
// This should cause equivocation for signers 5,6,7
|
|
frame1B := &protobufs.GlobalFrame{
|
|
Header: &protobufs.GlobalFrameHeader{
|
|
FrameNumber: 1,
|
|
ParentSelector: parentSelector,
|
|
Output: []byte{2},
|
|
PublicKeySignatureBls48581: &protobufs.BLS48581AggregateSignature{
|
|
Bitmask: []byte{0b11111100},
|
|
},
|
|
},
|
|
}
|
|
|
|
err = globalReel.Insert(frame1B)
|
|
require.NoError(t, err, "Should accept frame despite equivocation")
|
|
|
|
// Check equivocators are tracked
|
|
globalReel.mu.RLock()
|
|
equivocators := globalReel.equivocators[1]
|
|
globalReel.mu.RUnlock()
|
|
|
|
// Signers 5,6,7 should be marked as equivocators
|
|
assert.True(t, equivocators[5], "Signer 5 should be equivocator")
|
|
assert.True(t, equivocators[6], "Signer 6 should be equivocator")
|
|
assert.True(t, equivocators[7], "Signer 7 should be equivocator")
|
|
assert.False(t, equivocators[0], "Signer 0 should not be equivocator")
|
|
assert.False(t, equivocators[1], "Signer 1 should not be equivocator")
|
|
assert.False(t, equivocators[2], "Signer 2 should not be equivocator")
|
|
assert.False(t, equivocators[3], "Signer 3 should not be equivocator")
|
|
assert.False(t, equivocators[4], "Signer 4 should not be equivocator")
|
|
|
|
// Check head - should be frame 1B
|
|
// Frame 1A: 5 signers, but 3 equivocated = 2 valid
|
|
// Frame 1B: 6 signers, but 3 equivocated = 3 valid
|
|
head, err := globalReel.GetHead()
|
|
require.NotNil(t, head)
|
|
require.NoError(t, err)
|
|
assert.Equal(t, uint64(1), head.Header.FrameNumber)
|
|
assert.Equal(t, []byte{2}, head.Header.Output, "Head should be frame 1B")
|
|
}
|