CVE 5.9 MEDIUM

nimiq-primitives: BlockInclusionProof interlink issue when hops are empty_CVE-2026-46539

5.9 / 10
MEDIUM
CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:N

Description

Nimiq is a Rust implementation of the Nimiq Proof-of-Stake protocol based on the Albatross consensus algorithm. Prior to version 1.4.0, 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. This issue has been patched in version 1.4.0.

Basic Information

ID CVE-2026-46539
Source GitHub_M
Published Jun 9, 2026 at 23:44

Affected Product

Vendor nimiq
Product core-rs-albatross
Version < 1.4.0
Affected Versions nimiq core-rs-albatross < 1.4.0

CWE Classification

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.