Я начинаю беспокоиться о сложности zkVM. Одно, что мне нравится в дизайне CairoVM, это то, что он довольно прост. Некоторые из новых идей могут ускорить процесс, но они представляют собой смесь очень сложных концепций, которые трудно реализовать. Я искренне надеюсь, что @ethereum, @leanEthereum и @eth_proofs ценят разнообразие реализации, но также и простоту. Если система доказательства и ВМ будут слишком сложными, только небольшое количество людей поймет это, и будет сложнее проводить аудит и писать код.