CVE-2026-46539

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.
Configurations

No configuration.

History

23 Jul 2026, 09:10

Type Values Removed Values Added
Summary
  • (es) 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.

10 Jun 2026, 00:16

Type Values Removed Values Added
New CVE

Information

Published : 2026-06-10 00:16

Updated : 2026-07-23 09:10


NVD link : CVE-2026-46539

Mitre link : CVE-2026-46539

CVE.ORG link : CVE-2026-46539


JSON object : View

Products Affected

No product.

CWE
CWE-345

Insufficient Verification of Data Authenticity