Kluczowe informacje
- Vitalik Buterin przedstawił protokół GKR w celu zwiększenia szybkości systemów dowodowych.
- Założyciel Ethereum podkreślił, że GKR nie jest protokołem zero-knowledge.
- Buterin skrytykował skupienie branży AI na modelach „agentic”.
Współzałożyciel Ethereum, Vitalik Buterin, przedstawił protokół GKR, który obejmuje innowacje umożliwiające bardzo szybkie systemy dowodowe. Opisał te rozwiązania jako rodzinę protokołów stojących za ekstremalną szybkością wielu działających systemów dowodowych. Buterin skoncentrował się na pokazaniu implementacji GKR do dowodzenia skrótów Poseidon.
GKR to nie zero-knowledge
Buterin rozpoczął swój wpis od uznania istnienia ultraszybkich ZK-proverów. Są to ZK-EVM prover’y, które odwzorowują Ethereum Layer-1 w czasie rzeczywistym, wykorzystując jedynie 50 konsumenckich GPU.
„Ludzie dowodzący 2 milionów skrótów Poseidon na sekundę na konsumenckich laptopach oraz systemy zk-ML dowodzące wnioskowania LLM z rosnącą prędkością,” zauważył Buterin.
W tym miejscu pojawia się protokół GKR. Służy on jako siła napędowa tych proverów. To rozwiązanie zostało zaprojektowane, aby umożliwić szybkie dowody ZK-EVM i zk-ML. Jest również zoptymalizowane pod kątem obliczeń z wieloma warstwami o niskim stopniu oraz wieloma powtarzającymi się aplikacjami funkcji, w tym hashowaniem i sieciami neuronowymi.
Współzałożyciel Ethereum, Vitalik Buterin, przedstawił protokół GKR, rodzinę protokołów umożliwiających bardzo szybkie systemy dowodowe. GKR to podstawowy protokół dla szybkich dowodów ZK-EVM i zk-ML, zoptymalizowany pod kątem obliczeń z wieloma warstwami o niskim stopniu oraz wieloma powtarzającymi się aplikacjami funkcji…
— Wu Blockchain (@WuBlockchain) 20 października 2025
Wszystko, czego wymaga, to zobowiązania do wejść i wyjść, a nie warstw pośrednich. W dłuższej perspektywie znacznie poprawia to wydajność. Przez „zobowiązania” Buterin rozumiał umieszczenie danych w kryptograficznej strukturze danych. Można to osiągnąć zarówno przez KZG, jak i drzewo Merkle’a, o ile pozwala to użytkownikowi udowodnić zapytania dotyczące konkretnych aspektów tych danych.
Użytkownicy muszą uważać, aby nie pomylić GKR z protokołem zero-knowledge, ponieważ obsługuje on zwięzłość, a nie prywatność. Jednak zero-knowledge można nadal osiągnąć za pomocą GKR, wystarczy opakować dowód w ZK-SNARK lub ZK-STARK.
Współzałożyciel Ethereum krytykuje agentic AI
Wśród wielu protokołów, o których ostatnio mówił Buterin, znajdują się modele sztucznej inteligencji (AI). Dwa miesiące temu skrytykował branżę AI za zbyt intensywne skupienie na modelach „agentic”. Jego zdaniem jest zbyt wiele autonomicznych systemów, co nie jest dobre.
Zauważył, że systemy umożliwiające większy wkład człowieka dają lepsze i bezpieczniejsze rezultaty, co jest zgodne z wcześniejszymi komentarzami byłego dyrektora AI w Tesla, Andreja Karpathy. Najwyraźniej współzałożyciel Ethereum jest bardziej entuzjastycznie nastawiony do modeli AI z otwartą wagą, które według niego mają silne możliwości edycji.
We wrześniu podkreślił również, że nadmierne poleganie na AI w zarządzaniu wiąże się z dużym niebezpieczeństwem.
next
