Il nuovo preferito di Vitalik Buterin: cos'è il protocollo GKR?

Ethereum cofondatore Vitalik Buterin ha rivelato il suo crescente interesse per un framework crittografico noto come Protocollo Goldreich–Kahan–Rothblum (GKR)Lo descrive come una parte fondamentale della tecnologia che alimenta molti dei più veloci veicoli odierni. dimostrazione a conoscenza zero (ZK) di riferimento.

Nella sua recente articoloButerin spiega che GKR può ridurre drasticamente il costo delle prove eliminando la necessità di elaborare livelli di dati intermedi. Invece, si concentra solo su impegni di input e output, consentendo di dimostrare i calcoli in modo molto più efficiente.

In parole povere, GKR aiuta gli ZK-prover (strumenti che dimostrano che i calcoli sono stati eseguiti correttamente) a funzionare più velocemente e a costi inferiori.

Le basi: cosa fa il protocollo GKR

Il protocollo GKR è un sistema di prova crittografico Progettato per verificare calcoli complessi con meno lavoro. È particolarmente efficiente per attività in cui molte piccole operazioni vengono ripetute su più livelli, come le funzioni di hashing o l'elaborazione tramite reti neurali.

Invece di registrare ogni fase di un calcolo, GKR semplifica il processo. Controlla solo i punti di inizio e fine, saltando la maggior parte di ciò che accade nel mezzo. Questa progettazione lo rende una soluzione ideale per entrambi. Prove ZK and dimostrazioni di inferenza dell'apprendimento automatico, che condividono modelli strutturali simili.

Questo concetto di "elaborazione batch × multistrato" è alla base dell'efficienza di GKR. Elabora grandi quantità di dati attraverso più livelli, ma evita impegni crittografici ridondanti, conservando solo ciò che è essenziale.

Perché GKR è importante per le dimostrazioni a conoscenza zero

Le dimostrazioni a conoscenza zero sono fondamentali per i piani di scalabilità a lungo termine di Ethereum. Consentono a una parte di dimostrare la correttezza di un calcolo senza dover mostrare tutti i dati coinvolti. Tuttavia, la maggior parte dei sistemi ZK, come SNARK o STARK, consumano molta potenza di calcolo perché devono gestire ogni livello di elaborazione.

Il protocollo GKR risolve questo problema.

Secondo Buterin, quando utilizzato per dimostrare Funzioni hash di Poseidon2, GKR può ridurre il sovraccarico di dimostrazione teorica da Da 100x a circa 10x—un enorme miglioramento rispetto ai tradizionali STARK.

In parole povere, può rendere le prove ZK 10 volte più veloci ed economiche.

Scopri progetti promettenti...

Progetti promettenti...

(Annuncio pubblicitario)

L'articolo continua...

I componenti chiave dietro l'efficienza di GKR

1. Meno impegni

Le dimostrazioni STARK tradizionali richiedono impegni (o riassunti crittografici) a ogni livello intermedio di un'elaborazione. Ogni impegno comporta pesanti operazioni di hashing e polinomiali.
GKR evita questo impegnandosi solo a ingressi e uscite, risparmiando migliaia di operazioni per prova.

2. Il protocollo Sumcheck

Nel cuore di GKR si trova controllo sommario, un metodo per verificare che un calcolo di grandi dimensioni sia stato eseguito correttamente senza doverlo rifare.

Ogni "round" di un sumcheck conferma che specifiche relazioni matematiche sono vere in tutti i livelli di dati. Questo processo è leggero and parallelizzabile, il che significa che è ben scalabile su GPU o CPU multi-core.

3. Il trucco di Gruen e il batching lineare

Buterin menziona anche ottimizzazioni come Il trucco di Gruen and dosaggio lineare, riducendo ulteriormente i costi di memoria e di elaborazione. Questi metodi consentono a più calcoli simili di condividere i passaggi di verifica anziché ripeterli individualmente.

4. Round parziali e hashing Poseidon2

Nel suo articolo, Buterin utilizza il Funzione hash Poseidon2 come esempio pratico. Poseidon2 è spesso utilizzato nei sistemi ZK grazie al suo design aritmetico-friendly. GKR lo ottimizza con turni parziali—cicli matematici più leggeri che mantengono solo i primi elementi cubici, risparmiando tempo senza ridurre l'integrità della dimostrazione.

Come GKR si integra con altri protocolli

Il framework GKR può essere combinato con altri sistemi di prova come BaseFold and VEN (Fast Reed–Solomon Interactive Oracle Proofs of Proximity). Queste integrazioni consentono alle prove basate su GKR di mantenere una solida impegni polinomiali, un requisito per molte implementazioni ZK scalabili.

In queste configurazioni, GKR funge da "motore" per il calcolo, mentre sistemi come BaseFold o FRI gestiscono la codifica dei dati e la verifica della coerenza.

Confronto tra GKR e STARK

Gli STARK (Scalable Transparent Argoments of Knowledge) sono da tempo la soluzione predefinita per le dimostrazioni ZK trasparenti. Sono sicuri e affidabili, ma computazionalmente costosi.

Buterin stima che GKR riduce i costi teorici di fino a 100x rispetto ai tradizionali sistemi basati su STARK. Le implementazioni nel mondo reale mostrano risultati ancora migliori, a volte meno di 10 volte di overhead.

Osserva, tuttavia, che questi numeri dipendono dall'ottimizzazione hardware. In pratica, il rimescolamento della memoria durante i sumcheck può rallentare le operazioni, ma poiché la struttura di GKR è altamente parallela, le prestazioni risultano comunque più scalabili rispetto ai metodi di hashing standard.

Non la conoscenza zero di per sé

Una distinzione cruciale: GKR non è di per sé un protocollo a conoscenza zero. Fornisce concisione—il che significa che rende le prove più piccole e veloci—ma non nasconde le informazioni.

Per aggiungere privacy, le prove GKR possono essere avvolte all'interno di un ZK-SNARK or ZK-STARK sistema. Questa stratificazione consente agli sviluppatori di combinare i miglioramenti delle prestazioni di GKR con i vantaggi in termini di riservatezza delle vere dimostrazioni a conoscenza zero.

Le applicazioni pratiche di GKR

Vitalik sottolinea come il design di GKR si adatti a un'ampia gamma di attività ad alta intensità di calcolo. Alcuni esempi:

• Verifica hash: dimostrando che milioni di hash sono stati calcolati correttamente.
• Validazione blockchain: consentendo una verifica ZK-EVM più rapida per Ethereum Layer 1.
• Dimostrazioni di apprendimento automatico: verifica di ampi passaggi di inferenza del modello linguistico con calcoli minimi.

Poiché GKR si adatta sia ai calcoli crittografici che a quelli in stile AI, potrebbe svolgere un ruolo vitale in ZK-ML (apprendimento automatico a conoscenza zero) sistemi.

La sfida Fiat-Shamir: cautela richiesta

Buterin aggiunge anche una nota di cautela. Sebbene GKR acceleri i calcoli, la sua efficienza presenta un compromesso:rischio di prevedibilità in alcuni circuiti che utilizzano il Euristica Fiat-Shamir.

Questo metodo converte le prove interattive in non interattive utilizzando funzioni hash, ma se implementato in modo non accurato, può consentire una casualità prevedibile, indebolendo la sicurezza. Buterin consiglia un'attenta progettazione dei circuiti per prevenire tali vulnerabilità.

Conclusione

Il protocollo GKR rappresenta un cambiamento nella struttura delle prove crittografiche. Invece di impegnarsi eccessivamente in ogni passaggio intermedio, semplifica il processo concentrandosi solo sugli elementi essenziali.

Per Ethereum e altri sistemi blockchain che puntano a una verifica più rapida ed economica, GKR offre una soluzione pratica. Non si tratta di una promessa di marketing, bensì di un insieme di tecniche matematiche che stanno già alimentando la prossima ondata di dimostratori ad alta velocità nei campi ZK e AI.

Risorse

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

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

3. Informazioni sulle prove a conoscenza zero: https://www.chainalysis.com/blog/introduction-to-zero-knowledge-proofs-zkps/