CVE-2026-46539
nimiq-primitives: BlockInclusionProof interlink issue when hops are empty
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.
INFO
Published Date :
June 10, 2026, 12:16 a.m.
Last Modified :
July 23, 2026, 9:10 a.m.
Remotely Exploit :
Yes !
Source :
[email protected]
Affected Products
The following products are affected by CVE-2026-46539
vulnerability.
Even if cvefeed.io is aware of the exact versions of the
products
that
are
affected, the information is not represented in the table below.
CVSS Scores
| Score | Version | Severity | Vector | Exploitability Score | Impact Score | Source |
|---|---|---|---|---|---|---|
| CVSS | 134c704f-9b21-4f2e-91b3-4a467353bcc0 | |||||
| CVSS 3.1 | MEDIUM | [email protected] |
Solution
- Update Nimiq to version 1.4.0 or later.
- Verify cryptographic validation is functioning correctly.
- Review proof generation logic for edge cases.
References to Advisories, Solutions, and Tools
Here, you will find a curated list of external links that provide in-depth
information, practical solutions, and valuable tools related to
CVE-2026-46539.
CWE - Common Weakness Enumeration
While CVE identifies
specific instances of vulnerabilities, CWE categorizes the common flaws or
weaknesses that can lead to vulnerabilities. CVE-2026-46539 is
associated with the following CWEs:
Common Attack Pattern Enumeration and Classification (CAPEC)
Common Attack Pattern Enumeration and Classification
(CAPEC)
stores attack patterns, which are descriptions of the common attributes and
approaches employed by adversaries to exploit the CVE-2026-46539
weaknesses.
We scan GitHub repositories to detect new proof-of-concept exploits. Following list is a collection of public exploits and proof-of-concepts, which have been published on GitHub (sorted by the most recently updated).
Results are limited to the first 15 repositories due to potential performance issues.
The following list is the news that have been mention
CVE-2026-46539 vulnerability anywhere in the article.
The following table lists the changes that have been made to the
CVE-2026-46539 vulnerability over time.
Vulnerability history details can be useful for understanding the evolution of a vulnerability, and for identifying the most recent changes that may impact the vulnerability's severity, exploitability, or other characteristics.
-
CVE Translated by [email protected]
Jul. 23, 2026
Action Type Old Value New Value Added Translation Title: core-rs-albatross de nimiq, Description: Nimiq es una implementación en Rust del protocolo Nimiq de Prueba de Participación basado en el algoritmo de consenso Albatross. Antes de la versión 1.4.0, una falla lógica en BlockInclusionProof::is_block_proven hace que la función devuelva verdadero sin realizar ninguna verificación criptográfica cuando get_interlink_hops produce una lista de saltos vacía. Esto ocurre cuando el bloque objetivo está en la posición del bloque de elección inmediatamente anterior a la época del election head. Un atacante que proporciona pruebas de inclusión de transacciones puede falsificar un encabezado de MacroBloque para esa posición de época y hacer que sea aceptado como 'probado' sin ninguna verificación de hash o firma. Este problema ha sido parcheado en la versión 1.4.0. -
CVE Modified by [email protected]
Jun. 17, 2026
Action Type Old Value New Value Added Affected [{'vendor': 'nimiq', 'product': 'core-rs-albatross', 'versions': [{'status': 'affected', 'version': '< 1.4.0'}]}] -
CVE Modified by 134c704f-9b21-4f2e-91b3-4a467353bcc0
Jun. 17, 2026
Action Type Old Value New Value Added SSVC {'id': 'CVE-2026-46539', 'role': 'CISA Coordinator', 'options': [{'exploitation': 'none'}, {'automatable': 'no'}, {'technicalImpact': 'partial'}], 'version': '2.0.3', 'timestamp': '2026-06-10T14:36:09.150189Z'} -
New CVE Received by [email protected]
Jun. 10, 2026
Action Type Old Value New Value Added 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. Added CVSS V3.1 AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:N Added CWE CWE-345 Added Reference https://github.com/nimiq/core-rs-albatross/pull/3705 Added Reference https://github.com/nimiq/core-rs-albatross/releases/tag/v1.4.0 Added Reference https://github.com/nimiq/core-rs-albatross/security/advisories/GHSA-799f-29jm-gr6c