بدأت أقلق بشأن تعقيد أجهزة zkVM. أحد الأشياء التي أحبها في تصميم CairoVM هو أنه بسيط جدا. بعض الأفكار الجديدة يمكن أن تجعل الأمور أسرع، لكنها مزيج من أفكار معقدة جدا يصعب تنفيذها. آمل حقا أن تقدر @ethereum و@leanEthereum و@eth_proofs تنوع التنفيذ ولكن أيضا البساطة. إذا كان نظام الإثبات والجهاز الافتراضي معقدين جدا، فسيفهمه عدد قليل فقط من الناس ويصبح من الصعب التدقيق والبرمجة.