Awaria w Zcash i lekcja dla Bitcoina

Awaria w Zcash wywołała większą debatę

Zcash musiał przeprowadzić awaryjną aktualizację sieci po wykryciu krytycznej podatności w Orchard, czyli najważniejszym shielded poolu tej kryptowaluty. Błąd dotyczył obwodu zero-knowledge proof i mógł doprowadzić do nieprawidłowych zmian stanu w puli prywatnych transakcji.

Najważniejsze jest jednak to, że nie ma dowodów na wykorzystanie luki. Nie wykryto też nieautoryzowanego tworzenia środków, a prywatność użytkowników miała pozostać nienaruszona.

Jak zareagowała sieć

Naprawa została przeprowadzona w dwóch etapach:

• Zebra 4.5.3 tymczasowo wyłączyła operacje Orchard,
• Zebra 5.0.0 aktywowała aktualizację NU6.2, przywracając działanie Orchard z poprawionym obwodem.

W praktyce oznaczało to, że część węzłów, portfeli i eksploratorów bloków musiała zostać zaktualizowana w skoordynowany sposób. W przeciwnym razie część infrastruktury widziała sieć jako zatrzymaną lub niespójną.

Zamieszanie wokół „zawieszonej” sieci

Choć sieć nie była formalnie wyłączona, pojawiło się sporo zamieszania. Jeden z eksploratorów bloków pokazywał ostatni blok jako wydobyty kilka godzin wcześniej, co wywołało plotki o awarii całej sieci.

Według informacji przekazywanych przez twórców Zcash, sieć doświadczyła jedynie krótkiego okresu niestabilności, gdy górnicy aktualizowali oprogramowanie i dostosowywali się do nowych reguł konsensusu. Stabilność miała zostać przywrócona jeszcze tego samego dnia.

Skąd wziął się problem

Podatność została odkryta 29 maja przez niezależnego badacza bezpieczeństwa podczas audytu protokołu prowadzonego dla Shielded Labs. Po potwierdzeniu błędu rozpoczęto przygotowanie naprawy.

To pokazuje, jak wrażliwa potrafi być infrastruktura oparta na zaawansowanej kryptografii. W przypadku Zcash problem dotknął nie zwykłej warstwy aplikacyjnej, ale elementu, który odpowiada za prywatność na poziomie protokołu.

Peter Todd wykorzystał incydent jako argument za prostszym Bitcoinem

Awaria w Zcash szybko trafiła do debaty o tym, czy podobny model prywatności powinien kiedykolwiek zostać przeniesiony do Bitcoina. Peter Todd, znany deweloper związany z Bitcoin Core, uznał, że wprowadzanie takiej kryptografii do warstwy konsensusu Bitcoina byłoby złym pomysłem.

Jego argument był prosty: Bitcoin ma być możliwie prosty i przewidywalny, a Zcash opiera prywatność na znacznie bardziej złożonych mechanizmach kryptograficznych. Im większa złożoność w rdzeniu protokołu, tym większa powierzchnia ataku.

Todd wskazał też, że w Zcash około 30% podaży jest ukryte w puli Orchard, więc potencjalna destrukcja takich środków byłaby dla sieci znacznie poważniejsza niż błąd w Bitcoinie, gdzie większość podaży pozostaje publicznie audytowalna.

Czym różni się podejście Zcash i Bitcoina

Zcash wykorzystuje Halo 2 i mechanizm zk-SNARKs, czyli dowody zerowej wiedzy, które pozwalają potwierdzić poprawność transakcji bez ujawniania nadawcy, odbiorcy ani kwoty. To daje silną prywatność, ale zwiększa złożoność całego systemu.

Bitcoin nie ma w warstwie bazowej takiej kryptografii. Dzięki temu nie może mieć błędu w obwodzie zero-knowledge proof, bo po prostu takiego elementu w protokole nie posiada.

To nie znaczy, że Bitcoin jest wolny od błędów. Historia sieci pokazuje, że problemy się zdarzały, ale zwykle dotyczyły prostszych i łatwiej wykrywalnych usterek. Właśnie na tym opiera się filozofia projektu: mniej złożoności, mniej ryzyka.

Prywatność w Bitcoinie idzie inną drogą

Debata o prywatności w Bitcoinie nie musi jednak oznaczać kopiowania modelu Zcash. Jedną z proponowanych i rozwijanych koncepcji są Silent Payments.

To rozwiązanie pozwala odbierać BTC bez ujawniania historii wpłat, ponieważ dla każdej transakcji generowany jest inny adres na podstawie jednego publicznego kodu. Ważne jest to, że mechanizm działa na poziomie aplikacji, a nie w warstwie konsensusu, więc nie wymaga zmiany protokołu bazowego.

Ma to jedną dużą zaletę: nie zwiększa tak mocno ryzyka dla całej sieci. Z drugiej strony adopcja jest nadal ograniczona i nie obejmuje jeszcze większości użytkowników.

Co pokazuje ten incydent

Sprawa Zcash przypomniała, że:

• prywatność oparta na zaawansowanej kryptografii jest skuteczna, ale wymagająca,
• błędy w kluczowych elementach protokołu mogą wymuszać hard fork i koordynację całego ekosystemu,
• Bitcoin rozwija prywatność ostrożniej, poza warstwą konsensusu.

To nie jest tylko techniczny spór. W praktyce chodzi o pytanie, czy większa prywatność w kryptowalutach ma być osiągana kosztem większej złożoności, czy raczej przez rozwiązania prostsze, ale wolniej wdrażane.