Vitalik opublikował artykuł, protokół GKR zwiększa wydajność obliczeniową dowodów zerowej wiedzy

ChainCatcher donosi, że założyciel Ethereum, Vitalik Buterin, opublikował dziś rano artykuł przedstawiający protokół GKR. Protokół GKR (Goldwasser-Kalai-Rothblum) staje się kluczową technologią w wysokowydajnych systemach dowodów zerowej wiedzy.

Najnowsze badania pokazują, że GKR, unikając operacji zobowiązań na warstwach pośrednich i stosując je jedynie do wejścia i wyjścia, może obniżyć teoretyczne koszty tradycyjnych metod STARK ze 100-krotności do około 15-krotności, a w praktycznych implementacjach nawet poniżej 10-krotności. Protokół ten jest szczególnie odpowiedni dla wielowarstwowych modeli obliczeniowych, takich jak funkcja haszująca Poseidon czy sieci neuronowe. Jego kluczowa technika „sumcheck” upraszcza wielowymiarowe problemy poprzez rekurencyjne losowe kombinacje liniowe. Sam GKR nie zapewnia cechy zerowej wiedzy, ale może być łączony z ZK-SNARK lub ZK-STARK i stał się kluczowym wsparciem technologicznym dla dowodów ZK-EVM w czasie rzeczywistym oraz weryfikacji dużych modeli uczenia maszynowego.