CVE-2026-46539: nimiq-primitives: BlockInclusionProof interlink issue when hops are empty
(updated )
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.
References
- github.com/advisories/GHSA-799f-29jm-gr6c
- github.com/nimiq/core-rs-albatross/commit/cc5a1d54bbbffd1ea975bd2ee87d5f7b3b30bbf1
- github.com/nimiq/core-rs-albatross/pull/3705
- github.com/nimiq/core-rs-albatross/releases/tag/v1.4.0
- github.com/nimiq/core-rs-albatross/security/advisories/GHSA-799f-29jm-gr6c
- nvd.nist.gov/vuln/detail/CVE-2026-46539
Code Behaviors & Features
Detect and mitigate CVE-2026-46539 with GitLab Dependency Scanning
Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Learn more about Dependency Scanning →