Vitalik opublikował artykuł z przewodnikiem po GKR: protokół „batch × layer” wspierający ultraszybkie dowody ZK

ChainCatcher donosi, że Vitalik Buterin opublikował najnowszy artykuł, w którym szczegółowo opisuje, jak protokół GKR (Goldreich–Kahan–Rothblum) jest wykorzystywany do przyspieszania dowodów ZK, dostosowując się do struktury obliczeniowej „batch × multi-layer”, co znacząco redukuje liczbę zobowiązań pośrednich, ograniczając je jedynie do wejścia i wyjścia.

Artykuł, na przykładzie haszowania Poseidon2, szczegółowo wyjaśnia proces dowodzenia rekurencyjnego z sumcheck jako rdzeniem oraz przedstawia optymalizacje (sztuczka Gruena, liniowe przetwarzanie wsadowe, tylko pierwszy element sześcienny w częściowych rundach). W scenariuszach zobowiązań wielomianowych można łączyć z BaseFold lub FRI. Autor twierdzi, że rzeczywiste koszty są około 100 razy niższe niż teoretyczne wartości tradycyjnego STARK, a koszty na poziomie pojedynczych cyfr są osiągalne. Ostrzega również, że wyzwanie Fiat–Shamir wymaga ochrony przed ryzykiem przewidywalności w obrębie obwodu.