Buterin introduce il sistema di proof GKR per aumentare la scalabilità di Ethereum
Il cofondatore di Ethereum Vitalik Buterin ha presentato il protocollo GKR, un sistema di prova di nuova generazione progettato per rendere più veloci ed efficienti i calcoli a conoscenza zero (ZK). Pubblicato sul suo blog vitalik.eth.limo il 20 ottobre, il tutorial illustra come il metodo Goldwasser-Kalai-Rothblum (GKR) possa migliorare drasticamente il modo in cui Ethereum verifica i calcoli su larga scala.
Questo articolo è stato tradotto dall'originale. Leggi la versione originale del nostro corrispondente qui.
Il framework GKR utilizza l'aggregazione ricorsiva delle prove, consentendo agli sviluppatori di verificare lotti massicci di operazioni con un overhead minimo sulla catena, riporta Crypto News.
Elaborando le prove in tempo logaritmico ed eliminando la necessità di costosi impegni intermedi, GKR offre un'alternativa più efficiente ai tradizionali sistemi ZK-SNARK e ZK-STARK.
Buterin ha ringraziato Lev Soukhanov, Zhenfei Zhang e Zachary Williamson per il loro feedback sul lavoro, sottolineando che l'efficienza e la scalabilità del protocollo lo rendono "naturale per dimostrare grandi lotti di hash e calcoli in stile rete neurale".
Prove crittografiche più veloci, economiche e scalabili
Il protocollo GKR consente ai dimostratori di saltare gli impegni intermedi, uno dei principali colli di bottiglia dei sistemi di prova ZK esistenti. Questo design riduce in modo significativo il costo computazionale e il consumo di gas, aprendo la strada alla generazione e alla verifica di prove in tempo reale sia in contesti di blockchain che di calcolo AI.
Sebbene GKR non sia di per sé a conoscenza zero, può essere avvolto in strati SNARK o STARK per aggiungere privacy, combinando la sinteticità della prova con la riservatezza. Questa flessibilità lo rende ideale per le soluzioni di scalabilità di livello 2 di Ethereum, per i rollup e per i casi d'uso di interoperabilità tra catene.
Il protocollo fornisce anche una struttura più snella per la verifica in batch, dove migliaia di transazioni o calcoli possono essere convalidati simultaneamente senza compromettere l'efficienza della catena. Gli sviluppatori prevedono che il GKR possa ridurre i tempi di verifica di un ordine di grandezza rispetto ai metodi attuali, in particolare per quanto riguarda l'aggregazione dei rollup e la verifica dei modelli di intelligenza artificiale.
Una pietra miliare nella roadmap "Lean" e quantum-resistant di Ethereum
Il rilascio di GKR rappresenta un altro passo nella strategia a lungo termine di Buterin per "Lean Ethereum", un'architettura blockchain semplificata, efficiente e resistente ai quanti. Il protocollo completa l'evoluzione in corso di Ethereum verso una finalizzazione più rapida, una scalabilità basata su ZK e client leggeri che riducono i requisiti di archiviazione dei nodi.
I recenti post sul blog di Buterin hanno esplorato direzioni simili, tra cui la governance abilitata da ZK, i framework di interoperabilità di livello 2 e i client parziali senza stato. Insieme, questi progressi mirano a rendere Ethereum più modulare, sicuro e sostenibile mentre la rete passa alla sua prossima fase di scalabilità.
Con l'introduzione di GKR, la spina dorsale crittografica di Ethereum potrebbe diventare più leggera e più veloce, consentendo agli sviluppatori di costruire rollup ad alto rendimento, applicazioni DeFi private e sistemi di calcolo AI verificabili - pilastri fondamentali per realizzare la visione di Buterin di un'Internet veramente scalabile, verificabile e decentralizzata.
Di recente abbiamo scritto che il percorso di Ethereum nel breve termine dipenderà fortemente dai flussi istituzionali e dei grandi investitori, in quanto l 'accumulo o il deflusso possono muovere il prezzo più del tipico trading al dettaglio.
- Forex
- Crypto