zkVM'lerin karmaşıklığı konusunda endişelenmeye başladım. CairoVM tasarımında sevdiğim bir şey de oldukça basit olması. Bazı yeni fikirler işleri hızlandırabilir ama bunlar çok karmaşık ve uygulanması zor fikirlerin karışımıdır. Dürüstçe umuyorum ki @ethereum, @leanEthereum ve @eth_proofs uygulama çeşitliliğine ve aynı zamanda sadeliğe değer veriyor. Eğer kanıtlama sistemi ve VM çok karmaşıksa, sadece bir grup kişi bunu anlayır ve denetim ile kodlama daha zordur.