CVE-2026-33471CWE-1284CWE-190CWE-20CWE-345

nimiq-block has skip block quorum bypass via out-of-range BitSet indices & u16 truncation

Critical · published April 22, 2026

CVSS v3.1
9.6
EPSS
0%
Percentile
20.5
In the wild
Unconfirmed
What it is

nimiq-block contains block primitives to be used in Nimiq's Rust implementation. `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.

The record
Technical detail
CVSS v3.1
9.6 · CRITICAL
Vector
CVSS:3.1/AV:N/AC:L/PR:L/UI:N/S:C/C:N/I:H/A:H
CVSS v4.0
Not supplied
EPSS
0.00291 · 20.5th percentile
Weaknesses
CWE-1284 · Improper Validation of Specified Quantity in Input; CWE-190 · Integer Overflow or Wraparound; CWE-20 · Improper Input Validation; CWE-345 · Insufficient Verification of Data Authenticity
Published
2026-04-22T19:13Z
EPSS history
Timeline
  • 22 APR 19:13Z
    nimiq-block has skip block quorum bypass via out-of-range BitSet indices & u16 truncation
    cvelistv5