Da 0 a ZK Concept Bites #6: Il Problema della Ridondanza L'ultima volta abbiamo trattato la sinteticità, come le prove ZK comprimono enormi computazioni in pacchetti piccoli e facili da verificare. Questa volta, vediamo perché quella proprietà è importante a livello fondamentale di come funzionano realmente le blockchain. Ogni volta che viene prodotto un nuovo blocco Ethereum, centinaia di migliaia di validatori rieseguono indipendentemente ogni transazione in esso. Le stesse aggiunte, i stessi trasferimenti, la stessa logica dei contratti smart, tutto ripetuto in tutta la rete. Questo è come Ethereum mantiene la fiducia: se tutti arrivano allo stesso risultato in modo indipendente, nessuno deve fidarsi di qualcun altro. Il costo di quella garanzia è enorme. Il valore computazionale di un singolo blocco viene moltiplicato centinaia di migliaia di volte. Funziona ed è sicuro, ma è la ragione principale per cui le blockchain rimangono lente e costose. La rete non può mai superare una singola macchina perché ogni macchina sta eseguendo lo stesso carico di lavoro. 🔁 Le prove ZK offrono un modello fondamentalmente diverso: una parte esegue la computazione e genera una prova che il lavoro è stato fatto correttamente, e ogni validatore sulla rete verifica semplicemente quella prova invece di rifare il lavoro. Grazie alla sinteticità, quella verifica è incredibilmente economica indipendentemente da quanto fosse complessa la computazione originale. L'architettura passa da "tutti fanno tutto" a "calcola una volta, verifica ovunque." 🔑 Ma affinché questo modello diventi realtà al livello base di Ethereum, un pezzo critico deve essere in atto: il lato della prova deve essere abbastanza veloce da tenere il passo con la produzione di blocchi in tempo reale e abbastanza conveniente da non richiedere un investimento hardware massiccio per operare. Se la prova richiede ore o costa milioni in infrastruttura, il modello rimane teorico. È qui che entra in gioco Pico Prism. ⚡ Recentemente, abbiamo annunciato che Pico Prism ora raggiunge il 99% di prova dei blocchi Ethereum in tempo reale con solo 16 GPU su due macchine, con una media di 6,91 secondi per blocco. Costo totale dell'hardware: ~$100K, proprio nel target della Ethereum Foundation. Qualche mese fa, gli stessi risultati richiedevano 64 GPU e $128K solo per i costi delle GPU. Quella riduzione porta il lato della prova dell'equazione a una portata pratica. Man mano che la prova mantiene affidabilmente il passo con il tempo di blocco di 12 secondi di Ethereum su hardware accessibile, il percorso per integrare la verifica basata su prova a livello di protocollo diventa concreto. E quando ciò accade, centinaia di migliaia di validatori passano dall'eseguire ridondantemente ogni blocco a semplicemente verificare una piccola prova, cambiando fondamentalmente il modo in cui Ethereum scala. 🧱 ...