Vulnerabilidad en core-rs-albatross de nimiq (CVE-2026-46540)

Nimiq es una implementación en Rust del protocolo Nimiq Proof-of-Stake basado en el algoritmo de consenso Albatross. Antes de la versión 1.4.0, cuando LightBlockchain::rebranch() adopta una cadena bifurcada cuya punta es un macrobloque (punto de control o elección), solo actualiza self.head pero no actualiza self.macro_head, self.election_head, self.current_validators, ni almacena el encabezado de la elección en el chain_store. Esto contrasta directamente con el Blockchain::rebranch() completo en blockchain/src/blockchain/push.rs:504-518, que actualiza correctamente todo el estado de macro/elección cuando el nuevo head es un macrobloque. Después de un rebranch a un macrobloque, el macro_head obsoleto causa que los macrobloques subsiguientes empujados a través de push() sean verificados contra el predecesor incorrecto a través de verify_macro_successor(&this.macro_head). Si el objetivo del rebranch era un bloque de elección, los current_validators obsoletos causan que cada bloque subsiguiente falle verify_validators(), deteniendo completamente la progresión de la cadena del cliente ligero. Este problema ha sido parcheado en la versión 1.4.0.