Skip to content

Qbft diff fuzz cluster #48

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 15 commits into
base: unstable
Choose a base branch
from
Open

Qbft diff fuzz cluster #48

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
d91d324
update unit under test
dknopik Aug 25, 2025
e70e654
update for fixes
dknopik Aug 26, 2025
4696b90
further bump anchoooor version
dknopik Aug 26, 2025
fc5266b
bump version, better debug out and order agnostic compare
dknopik Aug 26, 2025
e68da79
increase buffer
dknopik Aug 26, 2025
2038710
Reshape fuzzer input
dknopik Aug 27, 2025
b4c213e
Avoid own messages, avoid dupe messages
dknopik Aug 27, 2025
2c37245
oops, fix `PartialEq`
dknopik Aug 27, 2025
978ef6c
check decided after applying all self sent messages
dknopik Aug 27, 2025
e24c8f9
bump version
dknopik Aug 27, 2025
b428296
fix equality and bump version
dknopik Aug 27, 2025
804554e
Return once the qbft instance is decided
dknopik Aug 27, 2025
f009b0d
filter by maxround
dknopik Aug 28, 2025
02ec638
update target
dknopik Aug 28, 2025
0a43773
QBFT cluster fuzzing
armaganyildirak Sep 18, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
54 changes: 24 additions & 30 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions diff_fuzzing/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,8 @@ require (

replace github.com/ssvlabs/ssv => github.com/dknopik/ssv v0.0.0-20250822131214-f92a9a20b768

replace github.com/ssvlabs/ssv-spec => github.com/dknopik/ssv-spec v0.0.0-20250826120814-40711e71e369

require (
github.com/Microsoft/go-winio v0.6.2 // indirect
github.com/andybalholm/brotli v1.1.1 // indirect
Expand Down
4 changes: 2 additions & 2 deletions diff_fuzzing/go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,6 +69,8 @@ github.com/dgryski/go-farm v0.0.0-20190423205320-6a90982ecee2 h1:tdlZCpZ/P9DhczC
github.com/dgryski/go-farm v0.0.0-20190423205320-6a90982ecee2/go.mod h1:SqUrOPUnsFjfmXRMNPybcSiG0BgUW2AuFH8PAnS2iTw=
github.com/dknopik/ssv v0.0.0-20250822131214-f92a9a20b768 h1:etlmFXiWsGnhB+lW3c0VwL0F100x36qCG4yYB8krGBY=
github.com/dknopik/ssv v0.0.0-20250822131214-f92a9a20b768/go.mod h1:URknM//XLvZsHnmZse8vzziagquE/BhbGEU/ci4ixMA=
github.com/dknopik/ssv-spec v0.0.0-20250826120814-40711e71e369 h1:fd2iAGW5A8LYw7yKfsr2eag4FZBqo6COC1xUlAnhgJ8=
github.com/dknopik/ssv-spec v0.0.0-20250826120814-40711e71e369/go.mod h1:pto7dDv99uVfCZidiLrrKgFR6VYy6WY3PGI1TiGCsIU=
github.com/dustin/go-humanize v1.0.0/go.mod h1:HtrtbFcZ19U5GC7JDqmcUSB87Iq5E25KnS6fMYU6eOk=
github.com/dustin/go-humanize v1.0.1 h1:GzkhY7T5VNhEkwH0PVJgjz+fX1rhBrR7pRT3mDkpeCY=
github.com/dustin/go-humanize v1.0.1/go.mod h1:Mu1zIs6XwVuF/gI1OepvI0qD18qycQx+mFykh5fBlto=
Expand Down Expand Up @@ -298,8 +300,6 @@ github.com/spaolacci/murmur3 v1.1.0 h1:7c1g84S4BPRrfL5Xrdp6fOJ206sU9y293DDHaoy0b
github.com/spaolacci/murmur3 v1.1.0/go.mod h1:JwIasOWyU6f++ZhiEuf87xNszmSA2myDM2Kzu9HwQUA=
github.com/ssvlabs/eth2-key-manager v1.5.2 h1:gF+8FJkoV1VXpVCPspyVW/Jdky0kt9Pndk88W8ePqx8=
github.com/ssvlabs/eth2-key-manager v1.5.2/go.mod h1:yeUzAP+SBJXgeXPiGBrLeLuHIQCpeJZV7Jz3Fwzm/zk=
github.com/ssvlabs/ssv-spec v1.1.3 h1:46K31kI4/vA7Vp3DaOuN7t2IABAmzeiMniCqYfzzpo8=
github.com/ssvlabs/ssv-spec v1.1.3/go.mod h1:pto7dDv99uVfCZidiLrrKgFR6VYy6WY3PGI1TiGCsIU=
github.com/ssvlabs/ssv/ssvsigner v0.0.0-20250626113238-124bb1a0584d h1:RPXCnmmvMQ29MuyfylpoQx8eqGsE3Gc0AIP+00QN3Ns=
github.com/ssvlabs/ssv/ssvsigner v0.0.0-20250626113238-124bb1a0584d/go.mod h1:twWz30d2dyagPBp/epzNPnSulE6gbbj5lIWKnXssDLI=
github.com/status-im/keycard-go v0.2.0 h1:QDLFswOQu1r5jsycloeQh3bVU8n/NatHHaZobtDnDzA=
Expand Down
8 changes: 4 additions & 4 deletions diff_fuzzing/sfuzz.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -268,15 +268,15 @@ func doReceive(fInst *fuzzingInstance, msg *spectypes.SignedSSVMessage) {
}

func encodeOutput(fInst *fuzzingInstance, outPtr unsafe.Pointer, outSize unsafe.Pointer) int {
decided, value := fInst.instance.IsDecided()
if !decided {
value = make([]byte, 0)
}
msgIdx := 0
for msgIdx < len(fInst.messageBuffer.messages) {
doReceive(fInst, fInst.messageBuffer.messages[msgIdx])
msgIdx++;
}
decided, value := fInst.instance.IsDecided()
if !decided {
value = make([]byte, 0)
}
output := OutputMessages{
Messages: fInst.messageBuffer.messages,
Decided: value,
Expand Down
24 changes: 12 additions & 12 deletions fuzz/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,27 +16,27 @@ alloy-primitives = { version = "1.3.1", features = ["arbitrary"] }
arbitrary = "1.4.1"
async-channel = "1.9"
bls = { git = "https://github.com/sigp/lighthouse", rev = "d22af875", features = ["arbitrary"] }
bls_lagrange = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
database = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
duties_tracker = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
bls_lagrange = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
database = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
duties_tracker = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
ethereum_ssz = "0.9"
ethereum_ssz_derive = "0.9"
futures = "0.3.30"
gossipsub = { package = "libp2p-gossipsub", git = "https://github.com/sigp/rust-libp2p.git", rev = "2a726cd" }
hex = "0.4.3"
libp2p = { version = "0.55", default-features = false }
message_receiver = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
message_sender = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
message_validator = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
message_receiver = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
message_sender = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
message_validator = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
openssl = "0.10.72"
processor = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
qbft = { git = "https://github.com/sigp/anchor", rev = "e2d630a7", features = ["arbitrary-fuzz"] }
qbft_manager = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
processor = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
qbft = { git = "https://github.com/sigp/anchor", rev = "078fcedb", features = ["arbitrary-fuzz"] }
qbft_manager = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
sha2 = "0.10.8"
signature_collector = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
signature_collector = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
slot_clock = { git = "https://github.com/sigp/lighthouse", rev = "d22af875" }
ssv_types = { git = "https://github.com/sigp/anchor", rev = "e2d630a7", features = [ "arbitrary-fuzz", ] }
subnet_service = { git = "https://github.com/sigp/anchor", rev = "e2d630a7" }
ssv_types = { git = "https://github.com/sigp/anchor", rev = "078fcedb", features = [ "arbitrary-fuzz", ] }
subnet_service = { git = "https://github.com/sigp/anchor", rev = "078fcedb" }
task_executor = { git = "https://github.com/sigp/lighthouse", rev = "d22af875" }
tempfile = "3.14.0"
tokio = { version = "1.39.2", features = [
Expand Down
Loading