Noul favorit al lui Vitalik Buterin: Ce este protocolul GKR?

Ethereum co-fondator Vitalik Buterin are dezvăluit interesul său crescând pentru un cadru criptografic cunoscut sub numele de Protocolul Goldreich-Kahan-Rothblum (GKR)El o descrie ca fiind o parte cheie a tehnologiei care alimentează multe dintre cele mai rapide mașini de astăzi. demonstrarea cu cunoștințe zero (ZK) sisteme.

În lucrarea sa articol recentButerin explică faptul că GKR poate reduce dramatic costul demonstrațiilor prin eliminarea necesității de a procesa straturi intermediare de date. În schimb, se concentrează doar pe angajamente de intrare și ieșire, permițând demonstrarea calculelor mult mai eficient.

În termeni simpli, GKR ajută demonstratorii ZK - instrumente care dovedesc că calculele au fost efectuate corect - să funcționeze mai rapid și mai ieftin.

Noțiuni de bază: Ce face protocolul GKR

Protocolul GKR este un sistem de verificare criptografică conceput pentru a verifica calcule complexe cu mai puțin efort. Este deosebit de eficient pentru sarcinile în care multe operațiuni mici sunt repetate pe mai multe straturi - cum ar fi funcțiile de hashing sau procesarea rețelelor neuronale.

În loc să înregistreze fiecare pas al unui calcul, GKR simplifică procesul. Verifică doar punctele de început și de sfârșit, omițând majoritatea a ceea ce se întâmplă între ele. Acest design îl face o alegere naturală pentru ambele. Dovezi ZK și dovezi de inferență prin învățare automată, care au modele structurale similare.

Acest concept de „computație multi-strat × lot” stă la baza eficienței GKR. Acesta procesează seturi mari de date prin mai multe straturi, dar evită angajamentele criptografice redundante, păstrând doar ceea ce este esențial.

De ce contează GKR pentru demonstrațiile zero-knowledge

Dovezile zero-knowledge sunt esențiale pentru planurile de scalabilitate pe termen lung ale Ethereum. Acestea permit unei părți să demonstreze că un calcul este corect fără a arăta toate datele implicate. Însă majoritatea sistemelor ZK - cum ar fi SNARK-urile sau STARK-urile - consumă o putere de calcul mare, deoarece trebuie să gestioneze fiecare strat de calcul.

Protocolul GKR abordează acest blocaj.

Conform lui Buterin, atunci când este folosit pentru demonstrarea Funcții hash Poseidon2, GKR poate reduce costurile de demonstrare teoretică de la de 100x până la aproximativ 10x—o îmbunătățire masivă față de STARK-urile tradiționale.

Simplu spus, poate face ca rezistența la ZK să fie de 10 ori mai rapidă și mai ieftină.

Descoperă proiecte promițătoare...

Proiecte promițătoare...

(Publicitate)

Articolul continuă...

Componentele cheie din spatele eficienței GKR

1. Mai puține angajamente

Demonstrațiile tradiționale STARK necesită angajamente - rezumate criptografice - la fiecare nivel intermediar al unui calcul. Fiecare angajament implică operații complexe de hashing și polinomii.
GKR evită acest lucru angajându-se doar să intrări și ieșiri, economisind mii de operațiuni per demonstrație.

2. Protocolul Sumcheck

În inima GKR se află verificare sumă, o metodă de verificare a faptului că un calcul mare a fost efectuat corect fără a-l repeta.

Fiecare „rundă” a unei verificări a sumei confirmă că anumite relații matematice sunt valabile în toate straturile de date. Acest proces este categorie ușoară și paralelizabil, ceea ce înseamnă că se scalează bine pe GPU-uri sau procesoare multi-core.

3. Trucul lui Gruen și procesarea liniară în loturi

Buterin menționează, de asemenea, optimizări precum Trucul lui Gruen și procesare liniară în loturi, ceea ce reduce și mai mult costurile de memorie și de calcul. Aceste metode permit mai multor calcule similare să partajeze pași de verificare în loc să le repete individual.

4. Runde parțiale și hashing Poseidon2

În articolul său, Buterin folosește Funcția hash Poseidon2 ca exemplu practic. Poseidon2 este adesea utilizat în sistemele ZK datorită designului său prietenos cu aritmetica. GKR îl optimizează cu runde parțiale—cicluri matematice mai ușoare care păstrează doar primele elemente cubice—economisind timp fără a reduce integritatea demonstrației.

Cum se integrează GKR cu alte protocoale

Cadrul GKR poate fi combinat cu alte sisteme de demonstrație, cum ar fi Pliere de bază și Vineri (Dovezi de proximitate interactive Fast Reed–Solomon Oracle). Aceste integrări permit demonstrațiilor bazate pe GKR să mențină o performanță puternică angajamente polinomiale, o cerință pentru multe implementări ZK scalabile.

În aceste configurații, GKR acționează ca „motor” de calcul, în timp ce sisteme precum BaseFold sau FRI se ocupă de codificarea datelor și de verificarea consistenței.

Compararea GKR cu STARK-urile

STARK-urile (Scalable Transparent ARguments of Knowledge - ARgumente Transparente Scalabile ale Cunoștințelor) au fost mult timp metoda implicită pentru demonstrațiile ZK transparente. Sunt sigure și neîncrezătoare, dar costisitoare din punct de vedere computațional.

Buterin estimează că GKR reduce costurile teoretice cu până la 100x în comparație cu sistemele tradiționale bazate pe STARK. Implementările din lumea reală arată rezultate și mai bune - uneori sub 10 ori cheltuielile generale.

El observă, totuși, că aceste numere depind de optimizarea hardware. În practică, amestecarea memoriei în timpul verificărilor de sumă poate încetini lucrurile, dar, deoarece structura GKR este extrem de paralelă, performanța se scalează în continuare mai bine decât metodele standard de hashing.

Nu este cunoaștere zero în sine

O distincție crucială: GKR nu este un protocol zero-knowledge în sine.. Oferă succinta—adică face ca dovezile să fie mai mici și mai rapide—dar nu ascunde informații.

Pentru a spori confidențialitatea, dovezile GKR pot fi înfășurate într-un ZK-SNARK or ZK-STARK sistem. Această stratificare permite dezvoltatorilor să combine câștigurile de performanță ale GKR cu beneficiile de confidențialitate ale demonstrațiilor cu cunoștințe zero (zero-knowledge).

Aplicațiile practice ale GKR

Vitalik evidențiază modul în care designul GKR se potrivește unei game largi de sarcini care necesită multă putere de calcul. Printre exemple se numără:

• Verificare hash: dovedind că milioane de hash-uri au fost calculate corect.
• Validarea blockchain-ului: permițând o verificare mai rapidă a ZK-EVM pentru Ethereum Layer 1.
• Dovezi de învățare automată: verificarea pașilor mari de inferență ai modelului lingvistic cu un calcul minim.

Deoarece GKR se potrivește atât calculelor criptografice, cât și celor de tip AI, ar putea juca un rol vital în ZK-ML (învățare automată cu cunoștințe zero) sisteme.

Provocarea Fiat-Shamir: Se impune prudență

Buterin adaugă și o notă de precauție. Deși GKR accelerează calculele, eficiența sa vine cu un compromis -riscul de predictibilitate în anumite circuite care utilizează Euristică Fiat-Shamir.

Această metodă convertește demonstrațiile interactive în demonstrații non-interactive folosind funcții hash, dar dacă este implementată cu neglijență, poate permite o aleatorietate previzibilă, slăbind securitatea. Buterin recomandă o proiectare atentă a circuitelor pentru a preveni astfel de vulnerabilități.

Concluzie

Protocolul GKR reprezintă o schimbare în modul în care sunt structurate dovezile criptografice. În loc să se supraestimeze fiecare pas intermediar, acesta simplifică procesul doar la elementele esențiale.

Pentru Ethereum și alte sisteme blockchain care urmăresc o verificare mai rapidă și mai ieftină, GKR oferă o cale practică. Nu este o promisiune de marketing, ci un set de tehnici matematice care deja alimentează următorul val de demonstratoare de mare viteză atât în ​​domeniul ZK, cât și în cel al inteligenței artificiale.

Resurse

1. Un tutorial GKR - articol de Vitalik Buterin: https://vitalik.eth.limo/general/2025/10/19/gkr.html

2. Platforma Vitalik Buterin X: https://x.com/VitalikButerin

3. Despre dovezile cu cunoștințe zero: https://www.chainalysis.com/blog/introduction-to-zero-knowledge-proofs-zkps/