Vitalik Buterin, współzałożyciel Ethereum, przedstawił protokół GKR, który weryfikuje 2 mln obliczeń na sekundę na zwykłych laptopach. Zmniejsza to nakład pracy na dowody z 100-krotnego do zaledwie 10-15-krotnego. Tymczasem Ethereum uruchamia 47-osobowy klaster prywatności, by domyślnie zapewnić ochronę danych.
Współzałożyciel Ethereum, Vitalik Buterin, opublikował w niedzielę szczegółowy wpis na blogu, w którym wyjaśnia GKR – nową technikę kryptograficzną, która znacznie przyspiesza weryfikację w blockchainie.
Protokół umożliwia komputerom udowodnienie poprawności skomplikowanych obliczeń bez ujawniania samych danych. Proces ten znany jest jako dowody wiedzy zerowej (zero-knowledge proofs).
GKR może weryfikować 2 mln obliczeń na sekundę na zwykłych laptopach i sprawdzać całe transakcje Ethereum przy użyciu zaledwie 50 konsumenckich kart graficznych.
Tradycyjne metody wymagają od komputerów 100 razy więcej pracy niż oryginalne obliczenie, ale GKR redukuje to do zaledwie 10-15 razy więcej wysiłku.
Przełom ten jest ważny, ponieważ szybsza weryfikacja oznacza tańsze transakcje i lepszą prywatność.
Zamiast sprawdzania każdego kroku obliczeń, GKR weryfikuje tylko początkowe wejścia i końcowe wyjścia, pomijając całą pracę pośrednią.
Rozwój ten pojawia się w momencie, gdy Fundacja Ethereum uruchomiła 47-osobowy klaster prywatności, by uczynić sieć bardziej prywatną domyślnie. Adresuje to obawy, że publiczne blockchainy obecnie ujawniają zbyt wiele informacji finansowych.
Jak GKR czyni weryfikację 10 razy szybszą
GKR działa jak nauczyciel sprawdzający pracę domową z matematyki, kontrolując tylko kluczowe punkty zamiast każdego pojedynczego kroku obliczeniowego.
Ten podejście „wyrywkowej kontroli” wykorzystuje matematyczne triki, by upewnić się, że ostateczna odpowiedź jest poprawna.
Protokół wyróżnia się w weryfikacji powtarzalnych zadań, gdzie ta sama operacja stosowana jest do dużych ilości danych przez wiele etapów przetwarzania.
Wzór ten pasuje zarówno do weryfikacji transakcji w blockchainie, jak i obliczeń sztucznej inteligencji, co czyni GKR użytecznym poza kryptowalutami.
Tradycyjna weryfikacja w blockchainie wymaga tworzenia kryptograficznych odcisków palców dla każdego pośredniego kroku obliczeniowego.
Każdy odcisk potrzebuje znacznej mocy obliczeniowej do wygenerowania, często setek operacji tylko po to, by zweryfikować pojedyncze mnożenie. GKR eliminuje niemal całą tę dodatkową pracę.
Poradnik Buterina skupia się na dowodzeniu funkcji hash Poseidon2 – powszechnej operacji kryptograficznej, która przetwarza dane przez naprzemienne operacje matematyczne.
Pomyśl o hashowaniu jak o mieszaniu jajka; nie da się go odwrócić, ale można zweryfikować, czy proces mieszania został wykonany poprawnie.
Proces weryfikacji działa wstecz od ostatecznego wyniku, stopniowo potwierdzając, że każda warstwa została obliczona prawidłowo, bez powtarzania całej matematyki.
Weryfikator musi tylko sprawdzić losowe próbki na każdym etapie, używając matematycznych zasad, by zagwarantować ważność całego obliczenia.
Infrastruktura prywatności Ethereum
Postęp GKR wspiera wrześniową zmianę Fundacji Ethereum w kierunku czynienia prywatności domyślnym elementem, zamiast opcjonalnym dodatkiem.
Organizacja przemianowała swój zespół Privacy & Scaling Explorations na Privacy Stewards for Ethereum, skupiając się na praktycznych rozwiązaniach prywatności zamiast tylko badań.
Nowy klaster prywatności adresuje pięć kluczowych obszarów, w tym umożliwienie prywatnych transakcji bez nadzoru, weryfikację prywatnych danych, tworzenie selektywnego ujawniania tożsamości, poprawę doświadczenia użytkownika w zakresie prywatności oraz budowanie narzędzi dla adopcji instytucjonalnej.
Projekt ostrzega, że bez silnych ochron prywatności Ethereum mogłoby stać się „kręgosłupem globalnego nadzoru zamiast globalnej wolności”.
Vitalik Buterin wcześniej argumentował, że prywatność jest kluczowa dla przetrwania Ethereum, porównując obecne publiczne blockchainy do wczesnego internetu przed standardowym szyfrowaniem.
Zalecał portfele, które czynią prywatne transakcje domyślnym ustawieniem, zamiast wymagać dodatkowych kroków.
Dołączając do rosnącego przekonania Buterina, ekspert branżowy Petro Golovko z British Gold Trust powiedział Cryptonews, że publiczne blockchainy ujawniają pensje, umowy biznesowe i salda kont, czyniąc krypto „nieużywalnym dla zwykłych ludzi i niemożliwym dla instytucji”.
Argumentował, że „przejrzystość jest użyteczna do audytu, nie do życia. System, w którym pracodawca, konkurenci czy nawet obcy mogą zobaczyć twoje saldo, nie jest przejrzysty – jest nie do zniesienia”.
Golovko porównał obecną przejrzystość blockchaina do internetu lat 90., przed standardowym szyfrowaniem.
„Nikt nie chciał wpisywać numerów kart kredytowych w przeglądarce, bo internet nie miał szyfrowania. Potem przyszedł SSL, Amazon się rozwinął, a e-commerce stało się branżą wartą 6 bln USD. Blockchain utknął w erze przed SSL”.
Ostrzegał, że sekret handlowy jest podstawą przewagi konkurencyjnej. „Jeśli twój łańcuch dostaw czy ruchy skarbowe są widoczne, już przegrałeś. Żadna rada dyrektorów nie zatwierdzi takiej ekspozycji”.
Bez prywatności, podsumował, „krypto pozostaje kasynem, nie systemem monetarnym”.
FAQ
Co to jest protokół GKR?
GKR to nowa technika kryptograficzna opracowana przez Vitalika Buterina, która przyspiesza weryfikację obliczeń w blockchainie, redukując nakład pracy do 10-15 razy zamiast 100-krotnego.
Jak GKR wpływa na Ethereum?
Protokół umożliwia szybszą i tańszą weryfikację transakcji, co poprawia prywatność i efektywność sieci Ethereum.
Czym jest klaster prywatności Ethereum?
To 47-osobowa inicjatywa Fundacji Ethereum, skupiająca się na domyślnej prywatności, w tym prywatnych transakcjach i narzędziach dla instytucji.
Dlaczego prywatność jest ważna w blockchainie?
Bez niej blockchainy ujawniają dane finansowe, co czyni je nieprzydatnymi dla codziennego użytku i instytucji, porównywalnie do wczesnego internetu bez szyfrowania.
Jak GKR działa w praktyce?
Weryfikuje obliczenia poprzez wyrywkowe kontrole kluczowych punktów, pomijając pośrednie kroki, co jest idealne dla powtarzalnych zadań jak hashowanie czy AI.
