9.6
/ 10
CRITICAL
CVSS:3.1/AV:N/AC:L/PR:L/UI:N/S:C/C:N/I:H/A:H
Description
nimiq/core-rs-albatross is a Rust implementation of the Nimiq Proof-of-Stake protocol based on the Albatross consensus algorithm. `SkipBlockProof::verify` computes its quorum check using `BitSet.len()`, then iterates `BitSet` indices and casts each `usize` index to `u16` (`slot as u16`) for slot lookup. Prior to version 1.3.0, if an attacker can get a `SkipBlockProof` verified where `MultiSignature.signers` contains out-of-range indices spaced by 65536, these indices inflate `len()` but collide onto the same in-range `u16` slot during aggregation. This makes it possible for a malicious validator with far fewer than `2f+1` real signer slots to pass skip block proof verification by multiplying a single BLS signature by the same factor. The patch for this vulnerability is included as part of v1.3.0. No known workarounds are available.
AI Analysis
Skip block quorum bypass via out-of-range BitSet indices and u16 truncation
Basic Information
ID
CVE-2026-33471
Source
GitHub_M
Published
Apr 22, 2026 at 19:13
Affected Product
Vendor
nimiq
Product
core-rs-albatross
Version
< 1.3.0
Affected Versions
nimiq core-rs-albatross < 1.3.0
CWE Classification
AI Assessment
AI Score
9.6 / 10
AI Severity
Critical
Vendor
Nimiq
Product
core-rs-albatross
Version
< 1.3.0