La trilemma della blockchain può essere semplicemente compresa come un problema che ogni blockchain affronta, proprio come costruire una città. Tutti vogliono che questa città sia aperta a tutti, sufficientemente sicura da prevenire frodi e veloce e grande abbastanza da ospitare milioni di utenti contemporaneamente. Il problema è che negli anni si è scoperto che raggiungere simultaneamente i tre obiettivi è difficile, quasi impossibile. Priorizzare sicurezza e decentralizzazione porta a un sistema lento, mentre velocità e accessibilità spesso comportano la perdita di decentralizzazione.

Bitcoin è l'esempio più chiaro di questo compromesso. La rete è estremamente decentralizzata e estremamente sicura, ma il processo di elaborazione delle transazioni è lento perché ogni nodo deve eseguire l'intero processo di verifica. Al contrario, molte altre blockchain veloci ed economiche possono elaborare un gran numero di transazioni, ma solo pochi nodi controllano il sistema, riducendo la decentralizzazione. Per questo motivo, per lungo tempo la comunità ha ritenuto che la trilemma della blockchain fosse un limite insormontabile.

Quando Vitalik ha detto che Ethereum "ha risolto" la trilemma, non intendeva che Ethereum avesse infranto regole fondamentali o eliminato completamente i compromessi. Quello che Vitalik intendeva era che Ethereum aveva cambiato il modo in cui il sistema è progettato. Invece di richiedere a ogni nodo di fare tutto, Ethereum suddivide il lavoro e utilizza la matematica per garantire che il risultato finale rimanga accurato. Questa è una grande differenza rispetto alla costruzione tradizionale delle blockchain.

Con ZKEVM, puoi immaginare che alcuni nodi si occupino del calcolo pesante, quindi creino una prova matematica che dimostra che tutto è stato elaborato correttamente. Gli altri nodi non devono ripetere l'intero processo; devono solo verificare che la prova sia valida. È simile al fatto di non dover controllare ogni singola fattura personalmente, ma fidarsi semplicemente di una relazione controllata matematicamente, in cui la frode è virtualmente impossibile.