CEO StarkWare Eli Ben-Sasson telah menyatakan dukungan untuk memperkenalkan mesin virtual (VM) baru ke Ethereum tetapi memiliki keraguan tentang mengadopsi arsitektur RISC-V. Dia menganjurkan untuk menjelajahi VM yang berbasis blockchain yang dioptimalkan untuk bukti pengetahuan nol, seperti Cairo, Valida, Miden, atau Zisc, atau bahkan mengembangkan VM baru yang sepenuhnya disesuaikan dengan kebutuhan Ethereum. Ben-Sasson menekankan bahwa alternatif ini dapat menawarkan skalabilitas dan efisiensi yang lebih baik dibandingkan dengan arsitektur yang umum seperti RISC-V.
Sebagai contoh, Cairo, yang dikembangkan oleh StarkWare, dirancang khusus untuk menghasilkan bukti validitas yang efisien, menyediakan bahasa modern yang mirip dengan Rust untuk menulis program yang dapat dibuktikan. Pendekatan ini memungkinkan untuk bukti validitas yang dioptimalkan, dengan setiap instruksi memiliki representasi aljabar yang efisien, yang sangat penting untuk skalabilitas dalam aplikasi blockchain. 
Posisi Ben-Sasson menyoroti fokus strategis pada pemanfaatan VM yang khusus dan ramah terhadap pengetahuan nol untuk meningkatkan skalabilitas dan kinerja Ethereum, daripada bergantung pada arsitektur umum yang ada.
