Vitalik Buterin usprawnia kryptografię
Vitalik Buterin prezentuje GKR – szybszy i tańszy protokół zero-knowledge
Słuchaj artykułu:
Vitalik Buterin, współtwórca Ethereum, zaprezentował nowy protokół kryptograficzny o nazwie GKR (Goldwasser–Kalai–Rothblum), który ma znacząco przyspieszyć i uprościć tworzenie dowodów typu zero-knowledge (ZK). To ważna innowacja, ponieważ właśnie te dowody są podstawą wielu rozwiązań zapewniających prywatność i skalowalność w ekosystemie Ethereum.
Na czym polega GKR
Buterin opisał działanie protokołu w szczegółowym wpisie na swoim blogu. GKR usprawnia obliczenia złożonych procesów – takich jak haszowanie kryptograficzne czy działanie sieci neuronowych – eliminując konieczność wykonywania tysięcy pośrednich kroków, które do tej pory były niezbędne w systemach typu STARK.
Tradycyjne protokoły wymagają „zobowiązania się” do każdego etapu obliczeń, co wiąże się z ogromnym nakładem pracy i mocy obliczeniowej. GKR pomija te kroki – zamiast tego skupia się jedynie na danych wejściowych i wyjściowych. Dzięki temu proces generowania dowodu jest znacznie szybszy i tańszy.
Kluczowy mechanizm: sumcheck
Sercem GKR jest tzw. mechanizm „sumcheck”, który pozwala weryfikować złożone obliczenia poprzez analizę tylko kilku losowo wybranych punktów, zamiast przetwarzania całego zestawu danych. W efekcie zarówno osoba tworząca dowód (prover), jak i ta, która go sprawdza (verifier), oszczędzają ogromną ilość czasu i zasobów.
Wysoka wydajność i realne testy
Sam GKR nie zapewnia prywatności, ale można go łączyć z istniejącymi systemami ZK-SNARK lub ZK-STARK, aby uzyskać pełne gwarancje zero-knowledge. Buterin zaprezentował przykład zastosowania protokołu do równoległego udowodnienia milionów funkcji haszujących Poseidon2 – rozwiązania używanego m.in. w blockchainie i zastosowaniach AI.
Zgodnie z szacunkami twórcy Ethereum, GKR może ograniczyć koszty obliczeń nawet 15-krotnie w porównaniu ze standardowymi STARK-ami. W testach praktycznych uzyskano poprawę niemal dziesięciokrotną. Oznacza to, że dzięki GKR weryfikacja dużych obliczeń kryptograficznych może wymagać znacznie mniej sprzętu i środków niż dotychczas.
Obserwuj nas na:
