- Vitalik twierdzi, że nowoczesne dowody ZK umożliwiają pełną weryfikację łańcucha bez odtwarzania historii.
- Łączy tę zmianę z awariami, ryzykiem cenzury i zależnością od kruchych usług stron trzecich.
- Ethereum ponownie rozważa dawne ograniczenia projektowe, gdyż weryfikacja staje się praktyczna dla użytkowników.
Vitalik Buterin, współzałożyciel Ethereum, powiedział, że nie zgadza się już z postem z 9 czerwca 2017 roku, w którym odrzucał pomysł regularnego weryfikowania pełnej historii blockchaina przez zwykłych użytkowników. Oświadczenie to powraca do wcześniejszej debaty na temat tego, czy blockchainy powinny przechowywać wyłącznie kolejność transakcji, czy także utrwalać pełny stan systemu. Buterin stwierdził, że późniejszy postęp technologiczny oraz rzeczywiste awarie zmieniły jego spojrzenie na kompromisy w weryfikacji i długoterminową samodzielność użytkowników.
W tamtym czasie debata koncentrowała się na tym, czy użytkownicy powinni odbudowywać stan blockchaina poprzez odtwarzanie każdej transakcji, czy też ufać podmiotom trzecim. Buterin wcześniej odrzucał projekty, które pozostawiały użytkownikom tylko te dwie opcje dostępu do sald lub danych smart kontraktów. Twierdził, że założenia leżące u podstaw tego stanowiska nie odzwierciedlają już obecnych realiów technologicznych ani operacyjnych.
Co się dzieje, gdy blockchainy muszą przetrwać awarie, cenzurę i skoncentrowaną kontrolę bez polegania na deweloperach?
Wczesny sprzeciw wobec bezstanowych projektów blockchain
Buterin powiedział, że jego komentarze z 2017 roku pojawiły się podczas debaty z Ianem Griggiem na temat porządkowania transakcji w kontraście do śledzenia stanu. Grigg argumentował, że blockchainy powinny rejestrować wiadomości, pozwalając komputerom wywnioskować i odrzucić stan. W takim podejściu salda i dane kontraktów nie byłyby przechowywane bezpośrednio w łańcuchu.
Buterin sprzeciwiał się temu pomysłowi, ponieważ użytkownicy nie mieliby bezpośredniego dostępu do stanu bez ogromnego wysiłku lub zaufania. Twierdził, że użytkownicy musieliby albo przetworzyć każdą transakcję od genezy, albo polegać na zewnętrznych dostawcach. Obie opcje tworzyły bariery dla zwykłych użytkowników, którzy chcieli niezależnej weryfikacji.
Porównał to z projektem Ethereum, który utrwala korzenie stanu w nagłówkach bloków. Takie podejście pozwala użytkownikom udowodnić konkretne wartości przy użyciu gałęzi Merkle’a przy założeniu uczciwej większości. Buterin stwierdził, że zaufanie większości walidatorów jest nadal bezpieczniejsze niż zaufanie jednemu zdalnemu dostawcy usług.
Technologia zmienia kompromis weryfikacyjny
Buterin powiedział, że dowody zero-knowledge stanowią największą zmianę od czasu jego wcześniejszego stanowiska. Wskazał na ZK-SNARKs jako sposób na weryfikację poprawności łańcucha bez odtwarzania każdej transakcji. Technologia ta umożliwia weryfikację z silnymi gwarancjami niższych kosztów obliczeniowych.
Porównał ten postęp do uzyskania korzyści, które wcześniej uważano za niemożliwe bez poważnych poświęceń. ZK-SNARKs pozwalają na silną weryfikację bez ograniczania pojemności bloków do niepraktycznych poziomów. Buterin stwierdził, że to na nowo definiuje wcześniejsze kompromisy podejmowane pod ograniczeniami technologicznymi tamtych czasów.
Dzięki lepszym narzędziom, powiedział, że Ethereum powinno ponownie przeanalizować decyzje ukształtowane przez wcześniejsze ograniczenia. Zauważył, że pozostałe problemy związane z budową bloków i przepustowością danych nadal wymagają rozwiązania. Zgodnie z jego wyjaśnieniem, kwestie te są oddzielne od wykonalności weryfikacji.
Powiązane: Vitalik Buterin twierdzi, że instytucje nie są ani przyjaciółmi, ani wrogami krypto
Rzeczywiste awarie kształtują priorytety projektowe
Buterin powiedział, że jego sposób myślenia zmienił się również pod wpływem obserwacji rzeczywistych awarii systemów.
Wskazał na przerwy w działaniu peer-to-peer, skoki opóźnień i zależność od usług, które nagle się wyłączają. Takie awarie mogą zmusić użytkowników do operowania własną infrastrukturą lub ryzyka utraty dostępu do środków.
Ostrzegł także, że kopanie i staking mogą się skoncentrować do poziomów, na których ataki większościowe stają się możliwe. W takich przypadkach założenia bezpieczeństwa zbliżają się do kontroli przez pojedynczy podmiot zamiast szerokiej decentralizacji. Wydarzenia takie jak Tornado Cash pokazały, jak pośrednicy mogą jednocześnie cenzurować aplikacje.
Buterin powiedział, że suwerenne blockchainy muszą działać bez domyślnej interwencji deweloperów. Opisał „chatkę Człowieka z Gór” jako ostateczną alternatywę na wypadek awarii systemów. Koncepcja ta stanowi odporną alternatywę, która wzmacnia Ethereum samym swoim istnieniem.
