Il CEO di StarkWare Eli Ben-Sasson ha espresso
$ETH #supporto per l'introduzione di una nuova macchina virtuale (VM) su Ethereum ma ha riserve riguardo all'adozione dell'architettura RISC-V. Egli sostiene di esplorare VM native della blockchain ottimizzate per prove a conoscenza zero, come Cairo, Valida, Miden o Zisc, o anche di sviluppare una VM completamente nuova su misura per le esigenze di Ethereum. Ben-Sasson sottolinea che queste alternative potrebbero offrire una migliore scalabilità ed efficienza rispetto alle architetture a scopo generale come RISC-V.
Ad esempio, Cairo, sviluppato da StarkWare, è progettato specificamente per la generazione efficiente di prove di validità, fornendo un linguaggio moderno, simile a Rust, per scrivere programmi dimostrabili. Questo approccio consente prove di validità ottimizzate, con ciascuna istruzione che ha una rappresentazione algebrica efficiente, il che è cruciale per la scalabilità nelle applicazioni blockchain. 
La posizione di Ben-Sasson evidenzia un focus strategico sull'utilizzo di VM specializzate, amichevoli verso la conoscenza zero, per migliorare la scalabilità e le prestazioni di Ethereum, piuttosto che fare affidamento su architetture esistenti a scopo generale.
#starkware #TrumpVsPowell