Un fugace scambio sui social media ha portato due dei più importanti architetti di protocolli del settore crittografico ad un allineamento inaspettato. Domenica, il creatore di Cardano Charles Hoskinson ha risposto a un post tecnico sul blog del cofondatore di Ethereum Vitalik Buterin con un conciso sostegno: "Ha senso, stiamo usando RISC V con BitVMX. È il futuro."
L'ultima proposta di Buterin per Ethereum
Il commento è stato innescato dalla "Proposta del livello di esecuzione L1 a lungo termine" recentemente pubblicata da Buterin sul forum Ethereum Magicians, in cui sostiene che Ethereum dovrebbe abbandonare l'Ethereum Virtual Machine (EVM) a favore dell'architettura open source RISC‑V con set di istruzioni.
Nella proposta Buterin definisce l'idea "altrettanto ambiziosa quanto lo è lo sforzo della beam-chain per il livello di consenso", sostenendo che una transizione RISC-V "migliorerebbe notevolmente l'efficienza del livello di esecuzione di Ethereum, risolvendo uno dei principali colli di bottiglia del ridimensionamento", semplificando allo stesso tempo la base di codice principale. Sottolinea che il modello di account e i codici operativi familiari “rimarrebbero esattamente gli stessi”, spiegando che i codici operativi come SLOAD, SSTORE e CALL sarebbero esposti ai contratti come chiamate di sistema RISC‑V.
“I contratti EVM vecchio stile continueranno a funzionare e saranno completamente interoperabili bidirezionalmente con i contratti RISC‑V di nuovo stile”, aggiunge, delineando percorsi di implementazione che vanno da un ambiente dual-VM a una migrazione più radicale basata su interprete.
La motivazione tecnica di Buterin è incentrata sul costo di dimostrare l'esecuzione dell'EVM all'interno di circuiti a conoscenza zero. Indica le misurazioni dello ZK‑EVM di Succinct che mostrano che quattro attività (deserializzazione degli input, inizializzazione del database dei testimoni, calcolo delle radici degli stati ed esecuzione dei blocchi) consumano la maggior parte dei cicli del prover.
L'ultimo di questi, l'esecuzione in blocco, da solo rappresenta circa la metà del tempo totale di prova. "Alcuni numeri suggeriscono che, in casi limitati, ciò potrebbe fornire guadagni di efficienza superiori a 100 volte", scrive Buterin, suggerendo che l'accesso diretto a una macchina virtuale RISC‑V potrebbe eliminare il sovraccarico della compilazione dell'EVM in RISC‑V per la generazione di prove ZK. Sostiene che, anche se le precompilazioni diventassero il nuovo collo di bottiglia, il passaggio produrrebbe comunque vantaggi in termini di prestazioni “molto significativi”.
L'uso di RISC‑V da parte di Cardano
Il rapido consenso di Hoskinson ha un peso perché Cardano ha costruito attorno alla stessa architettura. Il modello UTxO esteso della rete è ora abbinato a BitVMX FORCE, uno sforzo collaborativo progettato per consentire alle dApp Cardano di attingere alla liquidità di Bitcoin e all'attività finanziaria decentralizzata.
BitVMX emula una CPU generica per Bitcoin utilizzando RISC‑V, che a sua volta consente ai linguaggi specifici del dominio di Cardano, Plutus e Aiken di basso livello, di compilare contratti che funzionano senza problemi su entrambe le catene. Adottando lo stesso set di istruzioni per i suoi circuiti off-chain, Cardano spera di rendere le dimostrazioni a conoscenza zero più efficienti e di facilitare la funzionalità cross-chain senza ricorrere a bridge affidabili.
Il ricorso della RISC‑V è duplice. Essendo una specifica aperta, evita i vincoli di licenza offrendo allo stesso tempo agli implementatori la libertà di aggiungere estensioni; allo stesso tempo, il suo design semplice e ortogonale è più adatto ai sistemi a prova di conoscenza zero rispetto all'eclettico catalogo di codici operativi dell'EVM o all'austero script di Bitcoin. "It's the future" di Hoskinson descrive quindi non solo la roadmap di Cardano, ma una tendenza in crescita del settore, che ora trova eco negli stessi circoli di ricerca di Ethereum.
Resta incerto se il processo di sviluppo core altamente conservatore di Ethereum abbraccerà la proposta di Buterin. La fusione della Beacon-chain, il potenziamento di Cancun/Deneb e la spinta verso l’apolidia affollano già l’agenda a livello esecutivo. Tuttavia, il fatto che sia un concorrente basato su UTXO sia il creatore di contratti intelligenti basati su account ora citino RISC-V come obiettivo ottimale a lungo termine suggerisce che l’argomento non si dissiperà rapidamente. Come conclude Buterin, ridurre lo strato di base a “ben entro” diecimila righe di codice potrebbe richiedere “questo tipo di cambiamento radicale”.
Al momento della stesura di questo articolo, Cardano veniva scambiato a 0,64 dollari.
