nimiq-primitives: BlockInclusionProof interlink issue when hops are empty

CVE-2026-46539 → View on GitHub ↗ View on CVE.org ↗ View on NVD ↗

Description

Impact

A logic flaw in BlockInclusionProof::is_block_proven causes the function to return true without performing any cryptographic verification when get_interlink_hops yields an empty hop list. This occurs when the target block is at the election block position immediately preceding the election head's epoch. An attacker providing transaction inclusion proofs can forge a MacroBlock header for that epoch position and have it accepted as "proven" without any hash or signature verification.

Patches

The patch for this vulnerability is formally released as part of v1.4.0.

Workarounds

No Workarounds

Resources

See PR.

Basic information

Type
reviewed
Severity
medium
Advisory on GitHub
Open advisory ↗
Repository advisory
Open repository advisory ↗
Source code
Browse source ↗
Published (advisory)
2026-05-21 19:38:00 UTC
Updated
2026-06-10 13:41:26 UTC
GitHub reviewed
2026-05-21 19:38:00 UTC
NVD published
2026-06-09

EPSS Score

Score Percentile
0.01% 2.51%

CVSS Scores

Base score Version Severity Vector
5.9 3.1 —
CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:N Click to expand
Attack vector (AV:N)
Could be attacked over the internet or any normal routed network—not just someone sitting at the machine.
Attack complexity (AC:H)
Even with access, the exploit needs extra luck, timing, or a fussy environment to actually work.
Privileges required (PR:N)
No account or special rights needed—anonymous or random user is enough.
User interaction (UI:N)
Nobody has to click “OK” or open a trap file; it can work without a victim helping.
Scope (S:U)
Damage stays in the same “trust bubble” as the broken component—no big spill into unrelated systems.
Confidentiality (C:N)
Doesn’t really leak secrets in a meaningful way.
Integrity (I:H)
They could widely tamper with or forge data—trust in the data is badly hurt.
Availability (A:N)
Service keeps running; no real outage angle.

Identifiers

Type Value
GHSA GHSA-799f-29jm-gr6c ↗
CVE CVE-2026-46539 ↗

CWEs

CWE id Name
CWE-345 Insufficient Verification of Data Authenticity

Credits

  • 1seal (finder)

Affected packages (1)

Vulnerable version ranges and first patched releases as published by GitHub.

Ecosystem Package Vulnerable range First patched Vulnerable functions
rust nimiq-primitives <= 0.2.0 — —

References

cvelogic Threat Intelligence