È risaputo che le vere blockchain decentralizzate di livello 1 affrontano il triangolo impossibile (non possono garantire simultaneamente sicurezza, scalabilità e decentralizzazione), e uno dei valori fondamentali di Ethereum è proprio la decentralizzazione, un aspetto che Ethereum ha sempre mantenuto. Ethereum ha sempre sperato di realizzare l'esecuzione su hardware domestico comune, con oltre diecimila nodi e milioni di validatori. La perseveranza di Ethereum nella decentralizzazione ha anche portato a progressi relativamente lenti nelle prestazioni di L1, sviluppando infine un'architettura L1 e L2, ma attualmente L2 presenta problemi di frammentazione della liquidità e di cattura del valore insufficiente. Come risolvere il dilemma intrinseco della blockchain di Ethereum (impossibilità di conciliare sicurezza, scalabilità e decentralizzazione)? Un aspetto importante è l'adozione della tecnologia delle prove ZK. Il nucleo delle prove ZK consente di eseguire un gran numero di calcoli o transazioni off-chain, per poi presentare on-chain solo una prova concisa che dimostri che queste esecuzioni sono corrette, senza rivelare tutti i dettagli. Il vantaggio di questo approccio è che si può migliorare la scalabilità e rafforzare la decentralizzazione mantenendo la sicurezza. Ad esempio, utilizzando zkVM per espandere L1/L2, si può anche aiutare a risolvere la frammentazione della liquidità di L2; le prove ZK sono crittograficamente sicure, garantendo che l'esecuzione off-chain non commetta errori. Se la prova è invalida, verrà rifiutata, ereditando anche la sicurezza originale di Ethereum; se infine la generazione e la verifica delle prove sono efficienti e a basso costo, e se hardware comune (smartphone o computer domestici) può partecipare alla validazione dei nodi, ci sarà l'opportunità di rafforzare ulteriormente la decentralizzazione. Recentemente, Succinct (un progetto di infrastruttura focalizzato sulle prove ZK) ha lanciato il suo prodotto principale SP1 (Succinct Proofs 1), un zkVM (macchina virtuale a conoscenza zero) ad alte prestazioni, che supporta gli sviluppatori nella scrittura di programmi in linguaggio Rust e nella generazione di prove ZK per dimostrare la correttezza dell'esecuzione del programma, senza dover riscrivere i circuiti. Questo è di grande aiuto per Ethereum nella risoluzione del problema del triangolo impossibile. In particolare, Succinct può aiutare Ethereum nell'espansione: in primo luogo, il suo SP1 è un zkVM ad alte prestazioni, che supporta la prova dell'esecuzione di programmi in qualsiasi linguaggio compilato LLVM, applicabile a scenari di Rollups, coprocessori e zkEVM. Lo SP1 di Succinct supporta la generazione rapida di prove; secondo quanto dichiarato ufficialmente, può generare prove di Ethereum a velocità quasi in tempo reale, ovvero una tecnologia di "prova in tempo reale". Secondo la descrizione dei test ufficiali, in un benchmark di 10.000 blocchi di Ethereum, oltre il 93% dei blocchi può generare prove in meno di 12 secondi, utilizzando un cluster di circa 200 GPU NVIDIA RTX 4090 per raggiungere tali prestazioni. Eseguire un cluster completo di prove in tempo reale richiede circa 160 GPU RTX 4090, con un costo di costruzione attuale di circa 300.000-400.000 dollari; attraverso l'ottimizzazione hardware e il miglioramento del sistema di prove, ci sono opportunità di ridurre i costi a circa 100.000 dollari in futuro. Inoltre, Succinct è anche una rete di validatori decentralizzata, che, attraverso la separazione dei calcoli e delle verifiche, può ridurre i costi e i ritardi della validazione di Ethereum, con l'obiettivo finale di consentire a nodi comuni o smartphone di partecipare alla validazione delle prove, supportando l'espansione di Ethereum a un numero maggiore di validatori. Infine, la tecnologia ZK realizzerà anche più scenari applicativi, come la verifica dell'identità, le transazioni private, le operazioni cross-chain, ecc. In sintesi, nel percorso di Ethereum verso 10.000 tps, la tecnologia ZK è una parte molto importante.