Współzałożyciel Ethereum, Vitalik Buterin, przedstawia protokół GKR dla szybszych systemów dowodzenia

Vitalik Buterin podzielił się nowymi badaniami, które mogą zmienić podejście Ethereum do weryfikacji dowodów i skalowania w nadchodzących latach.

Vitalik Buterin przedstawił protokół GKR, przełomowy system dowodów zaprojektowany w celu przyspieszenia i zwiększenia efektywności obliczeń zero-knowledge.

Opublikowany 20 października na jego osobistym blogu vitalik.eth.limo, nowy tutorial Buterina szczegółowo opisuje protokół Goldwasser–Kalai–Rothblum. Ta rekurencyjna metoda agregacji dowodów ma potencjał całkowicie zmienić sposób, w jaki Ethereum (ETH) radzi sobie ze skalowaniem i weryfikacją.

Protokół GKR i przyszłość efektywności dowodów

Framework GKR weryfikuje duże obliczenia przy minimalnym obciążeniu on-chain, upraszczając złożone dowody kryptograficzne. Buterin opisuje, jak GKR przetwarza dowody w czasie logarytmicznym bez konieczności kosztownych pośrednich zobowiązań, czyniąc go znacznie bardziej wydajnym niż konwencjonalne systemy ZK-SNARK lub STARK.

W swoim wpisie Buterin dziękuje Levowi Soukhanovowi, Zhenfei Zhangowi i Zachary’emu Williamsonowi za ich uwagi i recenzje, podkreślając, że główną siłą GKR jest jego skalowalność. „To naturalne rozwiązanie do dowodzenia dużych partii hashy i obliczeń w stylu sieci neuronowych” – napisał, wskazując na jego przydatność zarówno dla blockchain, jak i obciążeń AI.

Dzięki konstrukcji protokołu, dowodzący mogą pominąć zobowiązania na etapach pośrednich, co obniża koszty i obciążenie obliczeniowe. Chociaż sam GKR nie jest zero-knowledge, może być opakowany w warstwy ZK-SNARK lub STARK dla zachowania prywatności, łącząc zwięzłość z poufnością.

Kluczowy element w roadmapie Ethereum

GKR jest zgodny z szerszą wizją Buterina dotyczącą „Lean Ethereum”, uproszczonego i odpornego na kwantowe ataki projektu sieci. Bezpośrednio wspiera dążenie Ethereum do szybszej finalności, agregacji dowodów dla rollupów oraz skalowalności opartej na zero-knowledge.

To wydanie następuje po kilku powiązanych inicjatywach Buterina, takich jak propozycje zaawansowanych narzędzi interoperacyjnych między sieciami warstwy 2, częściowo bezstanowych klientów minimalizujących przechowywanie danych przez węzły oraz zarządzania umożliwionego przez ZK. Razem mają one na celu uczynienie Ethereum bardziej wydajnym, prywatnym i dostępnym.

Kryptograficzny fundament Ethereum może stać się lżejszy i szybszy, gdy deweloperzy zaczną eksperymentować z systemami opartymi na GKR, co pomoże zrealizować długoterminowy cel Buterina: skalowalne, zweryfikowane obliczenia.