CVE 9.6 CRITICAL

nimiq-block has skip block quorum bypass via out-of-range BitSet indices & u16 truncation_CVE-2026-33471

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

References

💭 Join the Security Discussion

🔒 Your email address will not be published. Required fields are marked *

⚠️ Please be respectful and constructive in your comments. Security discussions should remain professional.