Podatności Nimiq

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.

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.

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.

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.

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.

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.

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.

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.