Podatności ZEBRA

ZEBRA, węzeł Zcash napisany w Rust, przed wersją 4.5.0 może zaakceptować blok, który zcashd odrzuca z powodu niedoszacowania licznika operacji podpisu P2SH dla skryptów zawierających wyłączony opcode. Atakujący może wykorzystać to do spowodowania rozłamu łańcucha, co wpływa na integralność i dostępność sieci.

ZEBRA (węzeł Zcash) przed wersją 4.5.0 ma podatność na zdalne zatrzymanie przez nieuwierzytelnionego peera IPv4. Poprzez wykonanie uzgadniania P2P i reklamowanie nieprawidłowej transakcji mempool, atakujący może doprowadzić do asercji w kodzie, co skutkuje przerwaniem działania węzła (panic/abort). Problem naprawiono w wersji 4.5.0.

ZEBRA przed wersją 4.5.0 może zostać zatrzymany przez złośliwego producenta bloków, który umieszcza tę samą transakcję shieldowaną w bloku nadrzędnym i podrzędnym. Asercja o unikalności transakcji w łańcuchu jest osiągalna przed walidacją kontekstową, a wersje release używają panic=abort, co kończy proces.

ZEBRA przed wersją 4.5.0 może zostać trwale zatrzymany przez konsensusowo ważny blok zawierający długi łańcuch transparentnych self-spendów. Kolejność kredytów przed debetami może spowodować przekroczenie MAX_MONEY, co prowadzi do paniki w wersji release. Blok jest akceptowany przez zcashd, więc zatrzymanie utrzymuje się po restarcie.

ZEBRA przed wersją 4.5.0 może być spowolniony przez złośliwego peera P2P, który odpowiada na żądania getblocks/FindBlocks małą listą i serwuje blok z coinbase height znacznie powyżej lokalnego tipa. Błąd nie jest przypisywany do peera, co powoduje anulowanie pobrań i 67-sekundowe opóźnienie synchronizacji. Peer nie jest oceniany ani rozłączany, więc może powtarzać atak.

ZEBRA przed wersją 4.5.0 ma podatność na zablokowanie węzła przez zdalnego, nieuwierzytelnionego peera P2P. Atakujący może wysłać nieprawidłowe ciało bloku, które ma ten sam hash co prawidłowe ciało, co powoduje, że węzeł odrzuca później prawidłowe ciało i pozostaje w tyle o jeden blok aż do restartu lub reorganizacji. Problem naprawiono w wersji 4.5.0.

ZEBRA to węzeł Zcash napisany w języku Rust. Przed wersją 4.5.0 nieuwierzytelniony peer P2P może spowodować, że potok pobierania mempoola będzie przechowywał transakcje po przekroczeniu limitu czasu RATE_LIMIT_DELAY. W rezultacie wpisy cancel_handles nie są usuwane po przekroczeniu limitu czasu, co prowadzi do niekontrolowanego wzrostu pamięci i może doprowadzić do awarii węzła.

ZEBRA to węzeł Zcash napisany w języku Rust. Przed wersją 4.5.0 naturalny lub wywołany przez atakującego fork łańcucha może pozostawić nieaktualne korzenie poddrzew zobowiązań Sapling i Orchard w stanie węzła. Te nieaktualne dane mogą zostać zapisane do RocksDB i przetrwać restarty, co prowadzi do błędnych odpowiedzi dla klientów takich jak lightwalletd.

ZEBRA to węzeł Zcash napisany w języku Rust. Przed wersją 4.5.0 jeden nieuwierzytelniony peer P2P może zmonopolizować wszystkie 25 slotów MAX_INBOUND_CONCURRENCY w potoku pobierania i weryfikacji mempoola. Atakujący może reklamować fałszywe identyfikatory transakcji i blokować sloty, co prowadzi do odrzucania uczciwych transakcji i lokalnych żądań sendrawtransaction.

ZEBRA to węzeł Zcash napisany w języku Rust. Przed wersją 4.5.0 atakujący z uwierzytelnieniem do włączonego punktu końcowego RPC może spowodować zakończenie działania zebrad, dostarczając getblocktemplate LongPollId zawierający wielobajtowe znaki UTF-8. Błąd prowadzi do paniki Rust, a wersje produkcyjne używają panic=abort, co kończy cały proces.

ZEBRA (węzeł Zcash) przed wersjami zebrad 4.3.0 i zebra-consensus 5.0.1 ma błąd logiczny w pamięci podręcznej weryfikacji transakcji. Złośliwy górnik może wywołać podział konsensusu, dopasowując txid prawidłowej transakcji do nieprawidłowych danych autoryzacyjnych, co powoduje akceptację nieprawidłowego bloku przez podatne węzły.

ZEBRA, węzeł Zcash napisany w Rust, przed wersją zebrad 4.3.0 i zebra-chain 6.0.1 zawiera podatność w logice przetwarzania transakcji. Zdalny, nieuwierzytelniony atakujący może wysłać specjalnie spreparowaną transakcję V5, która przechodzi początkową deserializację, ale powoduje błąd podczas obliczania identyfikatora transakcji, prowadząc do paniki (awarii) węzła.