Compass Investments

Quattro specialisti dello sviluppo di Arbitrum di Offchain Labs non sono d’accordo con la posizione di Vitalik Buterin sull’implementazione dell’architettura del set di istruzioni (ISA) RISC-V per il tier di esecuzione di Ethereum.

Secondo loro, WASM sembra essere una soluzione migliore a lungo termine rispetto a RISC-V per il formato L1 degli smart contract di Ethereum, o delivery ISA.

Offchain Labs, uno dei principali sviluppatori di soluzioni per il livello 2 di Ethereum Arbitrum, si è espresso contro la proposta di Vitalik Buterin di spostare il livello esecutivo di Ethereum su RISC-V, pubblicando una dettagliata analisi tecnica che sostiene la superiorità di WebAssembly (WASM) a lungo termine.

In un post del 20 novembre su Ethereum Research, quattro esperti di Offchain Labs sostengono che, sebbene RISC-V abbia attualmente buone prestazioni nella generazione di conferme ZK, ciò non lo rende la scelta ottimale per il deposito e l’archiviazione di contratti intelligenti sulla rete Ethereum.

Il cofondatore di Ethereum Buterin ha suggerito in un post di aprile su Ethereum Magicians di sostituire il bytecode della macchina virtuale di Ethereum con l’architettura aperta RISC-V (pronunciata risk-five

), sostenendo che potrebbe potenzialmente ridurre il costo delle prove ZK nella catena fino a cento volte in alcuni casi.

Condividiamo questi obiettivi, ma mettiamo in dubbio la conclusione infondata di Vitalik secondo cui la stessa ISA può essere ideale sia per le prove ZK che per la consegna dei contratti smart.

Mario Alvarez, Matteo Campanelli, Tzahi Siedenberg e Daniel Lumi notano.

Separazione tra consegna e prova?

La tesi principale del team è che dovrebbe esserci una separazione tra dISA (dISA) – il formato per caricare i contratti sulla rete – e pISA (pISA), il formato utilizzato dalle macchine virtuali ZK. Ritengono che queste funzioni non debbano essere combinate.

Offchain Labs sta già realizzando un caso di prova a sostegno di questa idea: i blocchi Arbitrum, compresi gli smart contract Stylus basati su WASM, vengono sottoposti alla verifica ZK attraverso la compilazione di WASM in RISC-V e la successiva proof-of-execution su RISC-V.

Siamo in grado di condurre prove ZK proof-of-stake di blockchain reali oggi su una blockchain che utilizza WASM come dISA, applicando ZK-VM basato su RISC-V come lato server.

, si legge nella pubblicazione.

Il team è scettico sulla prospettiva che RISC-V sia il punto di arrivo dello sviluppo di ZK-VM, in considerazione dei rapidi cambiamenti nel settore delle prove. Il recente passaggio dalle versioni a 32 bit a quelle a 64 bit di RISC-V sottolinea questa incertezza.

La fissazione di RISC-V su L1 potrebbe legare Ethereum a una particolare tecnologia proof-of-concept, mentre stanno emergendo alternative migliori, avvertono, mentre le ZK-VM basate su WASM come Ligetron di Ligero stanno già dimostrando vantaggi che le ISA basate su hardware potrebbero non essere in grado di eguagliare.

el frattempo, il costo della proof-of-concept ZK è sceso a circa 0,025 dollari per blocco di Ethereum e continua a diminuire, rendendo meno prioritaria l’ottimizzazione mirata all’efficienza della proof-of-concept, dicono i ricercatori.

Anche se L1 richiedesse più prove ZK per blocco, questi costi sarebbero trascurabili rispetto alle commissioni di gas e MEV che un costruttore di blocchi potrebbe ricevere.

, scrivono.

Il team sottolinea il design strutturato di WASM, che rende facile apportare modifiche e ottimizzare il codice senza interrompere la compatibilità con i contratti esistenti. Inoltre, WASM funziona bene su hardware standard, mentre la maggior parte dei nodi Ethereum non dispone di processori RISC-V, che richiedono l’emulazione.

Le capacità di convalida di WASM garantiscono la sicurezza del tipo e prevengono le vulnerabilità, e il suo toolkit maturo è stato testato in miliardi di scenari di esecuzione.

Crediamo che WASM possa diventare una sorta di protocollo Internet per i contratti intelligenti, agendo come una via di mezzo ideale tra i vari linguaggi di codice sorgente utilizzati per creare contratti intelligenti e le varie soluzioni server utilizzate per eseguirli e convalidarli.