Zcash ukończył aktualizację sieci Ironwood, zastępując swoją podatną na ataki pulę chronioną Orchard formalnie zweryfikowaną alternatywą zaprojektowaną w celu zapobiegania niewykrywalnemu fałszerstwu, jednocześnie rozpoczynając migrację chronionych środków do nowej puli.
Podsumowanie
- Zcash aktywował aktualizację Ironwood i zastąpił Orchard nową, formalnie zweryfikowaną pulą chronioną.
- Ironwood dodaje nowe zabezpieczenia podaży, podczas gdy Orchard obsługuje teraz tylko wypłaty środków.
- Badacze ukończyli sprawdzenie maszynowe potwierdzające, że Ironwood nie może tworzyć niewykrywalnych fałszywych ZEC przy swoich założeniach projektowych.
- Ponad 40 000 ZEC zostało już przeniesionych do Ironwood, podczas gdy około 3,6 miliona ZEC pozostaje w Orchard.
Według Project Tachyon i zespołu programistów Zcash, Ironwood został aktywowany zgodnie z harmonogramem na wysokości bloku 3 428 143 poprzez aktualizację sieci NU6.3 we wtorek, wprowadzając nową pulę chronioną, która według programistów przywraca zaufanie do integralności podaży Zcash po obawach związanych z Orchard.
Aktywacja nastąpiła po miesiącach pracy w wielu organizacjach Zcash po tym, jak badacze ujawnili wadę, która teoretycznie mogłaby umożliwić tworzenie fałszywych ZEC bez publicznego wykrycia.
Podczas gdy Ironwood jest już aktywny, Orchard wszedł w fazę tylko wypłat. Użytkownicy mogą nadal wypłacać środki ze starszej puli chronionej według własnego uznania, ale nie przyjmuje ona już nowej chronionej aktywności. Dane z narzędzia do śledzenia migracji Zcash pokazują, że około 40 207 ZEC zostało już przeniesionych do Ironwood, podczas gdy prawie 3,6 miliona ZEC pozostaje w Orchard w oczekiwaniu na migrację.
ZEC (ZEC) krótko spadł o około 9% do około 460 USD po aktualizacji, zanim odbił do około 475 USD, według strony cenowej crypto.news. Token doświadczył już znacznej zmienności po ujawnieniu podatności Orchard, tracąc ponad połowę swojej wartości, zanim później odbił z około 45 USD we wrześniu ubiegłego roku do prawie 700 USD pod koniec roku.
Ironwood dodaje nową granicę księgową
Nowa pula chroniona zastępuje Orchard po tym, jak badacze zidentyfikowali to, co stało się znane jako błąd „nieskończoności” Orchard. Według Shielded Labs, badacz Taylor Hornby odkrył wadę pod koniec maja w obwodzie wiedzy zerowej Orchard. Programiści stwierdzili, że problem mógł teoretycznie pozwolić atakującemu na tworzenie fałszywych ZEC bez natychmiastowego wykrycia, chociaż dodali, że nie znaleźli dowodów na wykorzystanie podatności.
Awaryjne aktualizacje na początku czerwca tymczasowo wyłączyły Orchard, zanim programiści wdrożyli poprawiony kod obwodu poprzez hard fork NU6.2. Nawet po załataniu wady, programiści stwierdzili, że model prywatności Zcash uniemożliwia udowodnienie z pewnością, że ukryta inflacja nigdy nie miała miejsca, co skłoniło do prac nad zastępczą pulą chronioną zamiast polegania wyłącznie na załatanej implementacji Orchard.
Ironwood wprowadza oddzielny system księgowy z własnym drzewem zobowiązań notatek, zestawem unieważniaczy i łańcuchową pulą wartości, umożliwiając węzłom niezależne śledzenie nowej puli chronionej. Zgodnie z dokumentacją techniczną projektu, aktualizacja instaluje również publiczny punkt kontrolny księgowości znany jako turnstile, umożliwiający wypływ środków z Orchard, jednocześnie zapobiegając wypływowi większej wartości niż została legalnie wprowadzona do starszej puli.
Programiści stwierdzili, że mechanizm ma na celu uwięzienie wszelkich hipotetycznych fałszywych monet wewnątrz Orchard, jednocześnie umożliwiając niezależną weryfikację, że krążąca podaż Zcash nadal respektuje limit emisji sieci wynoszący 21 milionów ZEC.
Formal verification wzmocniła model bezpieczeństwa Ironwood
Wraz z aktywacją sieci, Project Tachyon ogłosił, że badacze ukończyli matematyczny dowód sprawdzony maszynowo, obejmujący integralność salda Ironwood, zapewniając dodatkową gwarancję, że nowa chroniona pula nie może tworzyć wartości poza tą, która publicznie do niej weszła zgodnie z podanymi założeniami kryptograficznymi.
Według Project Tachyon, dowód został napisany w języku programowania Lean i składa się z ponad 2700 twierdzeń opracowanych przez ponad miesiąc przez trzy zespoły badaczy i kryptografów.
Badacze stwierdzili, że ich praca formalnie weryfikuje komponenty wymagane do integralności salda, w tym system dowodu z wiedzą zerową Ironwood, reguły obwodów i księgowość na poziomie księgi głównej. Wyjaśnili również, że weryfikacja nie obejmuje oddzielnych gwarancji prywatności Ironwood.
Komentując pracę, współzałożyciel Zcash, Sean Bowe, powiedział, że wysiłek międzyzespołowy wyeliminował źródła niewykrywalnych błędów fałszowania z nowego protokołu Ironwood.
Nowa chroniona pula zawiera również notatki ZIP 2005 odporne na kwantowe odzyskiwanie, umożliwiające przyszły mechanizm odzyskiwania, jeśli postępy w obliczeniach kwantowych osłabią obecne zabezpieczenia kryptograficzne. Zgodnie ze specyfikacją ZIP, funkcja ta nie czyni obecnych transakcji Zcash bezpiecznymi kwantowo, ponieważ oddzielny protokół odzyskiwania musiałby zostać zaprojektowany i aktywowany w przyszłości.
Zespoły ekosystemu skoordynowały wdrożenie
Ironwood został opracowany we współpracy między Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group i Zcash Foundation.
Shielded Labs, współzałożone przez założyciela Zcash, Zooko Wilcoxa, początkowo zaproponowało zastąpienie Orchard w celu przywrócenia weryfikowalnej księgowości podaży po ujawnieniu luki.
Tymczasem dyrektor wykonawczy ZODL, Josh Swihart, powiedział na X, że inżynierowie z jego organizacji wnieśli 82% scalonych zmian w repozytoriach protokołu i portfela Zcash podczas wymiany Orchard. Swihart dodał, że Orchard został załatany w ciągu pięciu dni, zanim programiści ukończyli proces wymiany w około 60 dni.
Aktualizacja NU6.3 kończy również kolejną długo planowaną transformację w sieci. Według Zcash Foundation, starsze oprogramowanie węzła zcashd nie obsługuje już nowych zasad konsensusu, co czyni Zebrę wymaganą implementacją węzła po aktywacji.
Zanim Ironwood dotarł do sieci, dyrektor wykonawczy Shielded Labs, Jason McGee, ostrzegł, że giełdy, dostawcy portfeli i pule wydobywcze jednocześnie przygotowywały się do migracji z zcashd na nowy stos oprogramowania Z3, jednocześnie aktualizując się dla Ironwood. McGee powiedział, że niektórzy operatorzy infrastruktury potrzebowali dodatkowego czasu, choć ostatecznie nie podjęto decyzji o opóźnieniu aktualizacji sieci.
Teraz, gdy Ironwood jest aktywny, a migracja Orchard trwa, uwaga skupiła się na przenoszeniu pozostałych chronionych środków przez bramkę obrotową, podczas gdy sieć stopniowo wycofuje starszą pulę w ramach nowego modelu księgowego.
