Il co-fondatore di Ethereum, Vitalik Buterin, presenta il protocollo GKR per sistemi di prova più veloci

Vitalik Buterin ha condiviso una nuova ricerca che potrebbe rimodellare il modo in cui Ethereum affronta la verifica delle prove e lo scaling nei prossimi anni.

Vitalik Buterin ha introdotto il protocollo GKR, un sistema di prove rivoluzionario progettato per rendere i calcoli a conoscenza zero più veloci ed efficienti.

Pubblicato il 20 ottobre sul suo blog personale vitalik.eth.limo, il nuovo tutorial di Buterin illustra il protocollo Goldwasser–Kalai–Rothblum. Questo metodo di aggregazione ricorsiva delle prove ha il potenziale di cambiare completamente il modo in cui Ethereum (ETH) gestisce lo scaling e la verifica.

Protocollo GKR e il futuro dell'efficienza delle prove

Il framework GKR verifica grandi calcoli con poco overhead on-chain, semplificando prove crittografiche complesse. Buterin descrive come GKR processi le prove in tempo logaritmico senza richiedere costosi impegni intermedi, rendendolo molto più efficiente rispetto ai sistemi ZK-SNARK o STARK convenzionali.

Nel suo post, Buterin attribuisce a Lev Soukhanov, Zhenfei Zhang e Zachary Williamson il merito per i loro feedback e la revisione, sottolineando che il punto di forza principale di GKR risiede nella sua scalabilità. "È una soluzione naturale per provare grandi batch di hash e calcoli in stile reti neurali", ha scritto, evidenziando la sua idoneità sia per i carichi di lavoro blockchain che per quelli AI.

Grazie al design del protocollo, i prover possono omettere gli impegni nelle fasi intermedie, riducendo così i costi e il carico computazionale. Sebbene GKR non sia di per sé a conoscenza zero, può essere avvolto in layer ZK-SNARK o STARK per la privacy, combinando sintesi e riservatezza.

Un elemento chiave nella roadmap di Ethereum

GKR si allinea con la visione più ampia di Buterin per una "Lean Ethereum", un design di rete semplificato e resistente ai quanti. Supporta direttamente il passaggio di Ethereum verso una finalità più rapida, l'aggregazione delle prove per i rollup e la scalabilità basata su conoscenza zero.

Questa pubblicazione segue diverse iniziative correlate di Buterin, come suggerimenti per strumenti avanzati di interoperabilità tra reti layer-2, client parzialmente stateless per minimizzare lo storage dei nodi e governance abilitata da ZK. Insieme, mirano a rendere Ethereum più efficiente, privato e accessibile.

L'infrastruttura crittografica di Ethereum potrebbe diventare più leggera e veloce man mano che gli sviluppatori iniziano a sperimentare sistemi basati su GKR, il che aiuterebbe a realizzare l'obiettivo a lungo termine di Buterin di un calcolo scalabile e verificato.