Le PDG de StarkWare, Eli Ben-Sasson, a exprimé $ETH #son soutien à l'introduction d'une nouvelle machine virtuelle (VM) pour Ethereum mais a des réserves quant à l'adoption de l'architecture RISC-V. Il plaide en faveur de l'exploration des VM natives à la blockchain optimisées pour les preuves à connaissance nulle, telles que Cairo, Valida, Miden ou Zisc, ou même le développement d'une toute nouvelle VM adaptée aux besoins d'Ethereum. Ben-Sasson souligne que ces alternatives pourraient offrir une meilleure évolutivité et efficacité par rapport aux architectures à usage général comme RISC-V.
Par exemple, Cairo, développé par StarkWare, est conçu spécifiquement pour la génération efficace de preuves de validité, fournissant un langage moderne, semblable à Rust, pour écrire des programmes vérifiables. Cette approche permet d'optimiser les preuves de validité, chaque instruction ayant une représentation algébrique efficace, ce qui est crucial pour l'évolutivité dans les applications blockchain. 
La position de Ben-Sasson met en lumière un focus stratégique sur l'exploitation de VM spécialisées et adaptées aux connaissances nulles pour améliorer l'évolutivité et les performances d'Ethereum, plutôt que de s'appuyer sur les architectures à usage général existantes.
