Note Chiave
- Vitalik Buterin ha introdotto GKR per migliorare i sistemi di proof veloci.
- Il fondatore di Ethereum ha sottolineato che GKR non è zero-knowledge.
- Buterin ha criticato l'attenzione dell'industria AI sui modelli “agentic”.
Il co-fondatore di Ethereum, Vitalik Buterin, ha introdotto il protocollo GKR, che comprende innovazioni che facilitano sistemi di proof estremamente veloci. Ha descritto queste soluzioni come una famiglia di protocolli che sta dietro l'estrema velocità di molti sistemi di proving operativi. Buterin si è concentrato nel mostrare l'implementazione di GKR per la proof degli hash Poseidon.
GKR Non È Zero-knowledge
Buterin ha iniziato il suo post riconoscendo l'esistenza di ZK-provers ultra-veloci. Questi sono ZK-EVM provers che manifestano Ethereum Layer-1 in tempo reale e lo fanno con solo 50 GPU consumer.
“Persone che provano 2 milioni di hash Poseidon al secondo su laptop consumer, e sistemi zk-ML che provano l'inferenza LLM con velocità crescente,” ha osservato Buterin.
Qui entra in gioco il protocollo GKR. Serve come motore di questi provers. Questa soluzione è progettata per abilitare proof ZK-EVM e zk-ML veloci. È anche ottimizzata per calcoli con più layer a basso grado e molte applicazioni di funzione ripetute, inclusi hashing e reti neurali.
Il co-fondatore di Ethereum, Vitalik Buterin, ha introdotto il protocollo GKR, una famiglia di protocolli che consente sistemi di proof molto veloci. GKR è un protocollo centrale per proof ZK-EVM e zk-ML veloci, ottimizzato per calcoli con più layer a basso grado e molte applicazioni di funzione ripetute…
— Wu Blockchain (@WuBlockchain) 20 ottobre 2025
Tutto ciò che richiede sono commitment agli input e agli output, non ai layer intermedi. A lungo termine, finisce per migliorare significativamente l'efficienza. Con “commitment”, Buterin si riferiva all'inserimento dei dati in una struttura dati crittografica. Questo può essere ottenuto sia tramite un KZG che un Merkle tree, purché consenta a un utente di provare query su aspetti specifici di quei dati.
Gli utenti devono fare attenzione a non confondere GKR con un protocollo zero-knowledge, dato che gestisce la sintesi e non la privacy. Tuttavia, la zero-knowledge può comunque essere raggiunta con GKR, poiché tutto ciò che serve è avvolgere la proof in uno ZK-SNARK o ZK-STARK.
Il Co-fondatore di Ethereum Critica l’AI Agentic
Tra i molti protocolli di cui Buterin ha discusso recentemente ci sono i modelli di Intelligenza Artificiale (AI). Due mesi fa, ha criticato l'industria AI per essersi concentrata intensamente sui modelli “agentic”. Secondo lui, ci sono troppi sistemi autonomi, e questo non è positivo.
Ha osservato che i sistemi che consentono un maggiore input umano producono risultati migliori e più sicuri, in linea con i commenti precedenti dell'ex direttore AI di Tesla, Andrej Karpathy. Apparentemente, il co-fondatore di Ethereum è più entusiasta dei modelli AI open-weight, che a suo dire hanno forti capacità di editing.
A settembre, ha anche sottolineato che esiste un grande pericolo legato all'eccessiva dipendenza dall'AI per la governance.
next
