Vulnerability 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.
CVSS Score
MEDIUM
Related Weaknesses (CWE)
References
- https://github.com/nimiq/core-rs-albatross/pull/3705
- https://github.com/nimiq/core-rs-albatross/releases/tag/v1.4.0
- https://github.com/nimiq/core-rs-albatross/security/advisories/GHSA-799f-29jm-gr
FAQ
What is CVE-2026-46539?
CVE-2026-46539 is a vulnerability with a CVSS score of 5.9 (MEDIUM). 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 ...
How severe is CVE-2026-46539?
CVE-2026-46539 has been rated MEDIUM with a CVSS base score of 5.9/10. Review the CVSS metrics above for detailed severity breakdown.
Is there a patch for CVE-2026-46539?
Check the references section above for vendor advisories and patch information. Review vendor security bulletins for remediation guidance.