Saya menjadi khawatir tentang kompleksitas zkVM. Satu hal yang saya sukai dari desain CairoVM adalah cukup sederhana. Beberapa ide baru dapat membuat segalanya lebih cepat tetapi merupakan campuran dari ide-ide yang sangat rumit yang sulit untuk diimplementasikan. Saya sejujurnya berharap bahwa @ethereum, @leanEthereum dan @eth_proofs menghargai keragaman implementasi tetapi juga kesederhanaan. Jika sistem pembuktian dan VM terlalu rumit, hanya sekelompok orang yang akan memahaminya, dan lebih sulit untuk mengaudit dan membuat kode.