CVE-2026-46540
ŚrednieCVSS 6.5Prawdopodobieństwo exploitacji (EPSS)
Niskie ryzykoPercentyl 18 - wyżej niż 18% wszystkich znanych CVE
Streszczenie
Nimiq (implementacja Rust) przed wersją 1.4.0 ma błąd w LightBlockchain::rebranch() – przy przejściu na łańcuch z blokiem makro nie aktualizuje wskaźników macro_head, election_head ani current_validators. Powoduje to nieprawidłową weryfikację kolejnych bloków i zatrzymanie postępu lekkiego klienta.
Ocena ryzyka
Atakujący może wykorzystać tę lukę do zatrzymania synchronizacji lekkiego klienta lub wymuszenia akceptacji nieprawidłowych bloków, co zagraża integralności łańcucha.
Rekomendacja
Zaktualizuj Nimiq do wersji 1.4.0. Użytkownicy lekkich klientów powinni niezwłocznie zastosować poprawkę.
Inne podatności w Nimiq
Zobacz wszystkie- CVE-2026-46369Wysokie
Nimiq to implementacja protokołu Proof-of-Stake w języku Rust oparta na algorytmie konsensusu Albatross. Do wersji 1.5.0 magazyn ważności używa ścisłego porównania dolnej granicy, które wygasa przechowywaną transakcję zbyt wcześnie względem Transaction::is_valid_at, co pozwala zdalnemu atakującemu na powtórzenie tej samej podpisanej transakcji w oknie bloków blocks_per_batch minus jeden i spowodowanie podwójnej aktualizacji salda nadawcy i odbiorcy. Problem naprawiono w wersji 1.5.1.
- CVE-2026-46545Wysokie
Podatność na atak DoS w Nimiq (implementacja Rust protokołu Proof-of-Stake) przed wersją 1.5.0 pozwala zdalnemu, nieuwierzytelnionemu atakującemu na crashnięcie węzła synchronizującego stan przez funkcję MerkleRadixTrie::put_chunk.
- CVE-2026-46543Średnie
W Nimiq przed wersją 1.5.0, zdalny peer może spowodować awarię dowolnego pełnego węzła, wysyłając wiadomość RequestBatchSet zawierającą skrót bloku genezy. Procedura obsługi wywołuje get_epoch_chunks, która iteruje wstecz przez bloki makro, a po osiągnięciu numeru bloku genezy następuje panika.
- CVE-2026-46542Średnie
W Nimiq (Rust implementation of Nimiq Proof-of-Stake protocol) przed wersją 1.4.0 istnieje podatność na odmowę usługi w kodzie delinearizacji Ed25519 multisig. Nieprawidłowy klucz publiczny może spowodować panikę i awarię procesu. Problem został naprawiony w wersji 1.4.0.
- CVE-2026-46541Wysokie
Podatność w implementacji Nimiq w języku Rust przed wersją 1.4.0 powoduje, że w funkcji handle_dht_get() akumulator DhtResults jest inicjalizowany tylko po pomyślnej weryfikacji pierwszego rekordu DHT. Jeśli pierwszy rekord pochodzi od złośliwego węzła i nie przejdzie weryfikacji, wszystkie kolejne poprawne rekordy są odrzucane.
- CVE-2026-46539Średnie
W implementacji Nimiq przed wersją 1.4.0 występuje błąd logiczny w funkcji BlockInclusionProof::is_block_proven, która zwraca true bez weryfikacji kryptograficznej, gdy lista hopów jest pusta. Atakujący może sfałszować nagłówek MacroBlock dla określonej pozycji epoki i zostać zaakceptowany jako udowodniony.
- CVE-2026-44505Średnie
Nimiq przed wersją 1.4.0 zawiera podatność w obsłudze zapytań DHT GET w komponencie network-libp2p. Gdy węzeł zwraca znaleziony rekord, a weryfikacja DHT kończy się błędem, funkcja handle_dht_get kończy działanie bez finalizacji oneshot i bez czyszczenia stanu zapytania, co prowadzi do zawieszenia wywołania Network::dht_get na czas nieokreślony.
Oryginalny opis (angielski, źródło NVD)
Nimiq is a Rust implementation of the Nimiq Proof-of-Stake protocol based on the Albatross consensus algorithm. Prior to version 1.4.0, when LightBlockchain::rebranch() adopts a fork chain whose tip is a macro block (checkpoint or election), it only updates self.head but fails to update self.macro_head, self.election_head, self.current_validators, or store the election header in the chain_store. This is in direct contrast with the full Blockchain::rebranch() at blockchain/src/blockchain/push.rs:504-518, which correctly updates all macro/election state when the new head is a macro block. After a rebranch to a macro block, the stale macro_head causes subsequent macro blocks pushed via push() to be verified against the wrong predecessor via verify_macro_successor(&this.macro_head). If the rebranch target was an election block, the stale current_validators causes every subsequent block to fail verify_validators(), completely stalling the light client's chain progression. This issue has been patched in version 1.4.0.