CVE-2026-46539: BlockInclusionProof interlink issue when hops are empty

BlockInclusionProof interlink issue when hops are empty

F-NIMIQ-BLOCKINCLUSIONPROOF-INTERLINK-HOPS-001

Public snapshot: 26 Sep 2026. Status, releases and attribution belong to each source below; none is inferred from another record.

Recorded evidence

5.9medium

CVE-2026-46539CVEnimiq/core-rs-albatross

BlockInclusionProof interlink issue when hops are empty

Fixed in: nimiq-primitives v1.4.0

patched

details

Finding IDs: F-NIMIQ-BLOCKINCLUSIONPROOF-INTERLINK-HOPS-001
CVE: CVE-2026-46539
GHSA: GHSA-799f-29jm-gr6c
Status: patched
Fixed in: nimiq-primitives v1.4.0
Recorded credit: finder: @1seal
Note: BlockInclusionProof::is_block_proven accepted an empty interlink-hop proof path without cryptographic verification. CVE-2026-46539: GitHub_M CNA record verified PUBLISHED on 2026-09-23; CVE publication 2026-06-09.
CVSS vector: CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:N
CVE registry state: PUBLISHED
CVE state checked: 23 Sep 2026
Upstream title: BlockInclusionProof interlink issue when hops are empty
Upstream CWE: CWE-345
Upstream publication: 15 May 2026
Upstream updated: 15 May 2026
Metadata fetched: 23 Sep 2026
Upstream @1seal credit: @1seal: finder (accepted)

F-NIMIQ-BLOCKINCLUSIONPROOF-INTERLINK-HOPS-001: Verification failures. An empty or incomplete inclusion path can satisfy proof verification. Reviewed 24 Sep 2026. Mechanism assessed by 1seal.

Mechanism source for F-NIMIQ-BLOCKINCLUSIONPROOF-INTERLINK-HOPS-001

Security area (1seal assessment): Integrity. An empty or incomplete inclusion path can satisfy proof verification. Reviewed 24 Sep 2026.

Clarify or correct this record privately. The email subject includes the finding ID. For an existing case, continue the agreed private thread. Do not post unpublished vulnerability details in public issues. Research disclosure policy.

How this page groups evidence

This identifier groups recorded evidence; it is not an additional CVE, independent-vulnerability count or guarantee of vendor confirmation. Fixed code, released versions, attribution and independent discovery are distinct claims. Absent metadata means not recorded, not disproved. Counting rules.