Podatności Nimiq

W implementacji protokołu Nimiq (w języku Rust) przed wersją 1.6.0 istnieje podatność, która pozwala złośliwemu węzłowi synchronizacji na spowodowanie awarii synchronizującego węzła przez wysłanie spreparowanego dowodu TrieChunk, co prowadzi do paniki poza zakresem.

W Nimiq (Rust) przed wersją 1.6.0 istnieje podatność umożliwiająca złośliwemu węzłowi synchronizacji spowodowanie awarii węzła przez wysłanie dowodu TrieProof z duplikatami kluczy, co prowadzi do paniki w wyniku niewłaściwego obsłużenia wartości None.

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.