Я починаю хвилюватися через складність zkVM. Одне, що мені подобається в дизайні CairoVM — це його досить проста. Деякі нові ідеї можуть прискорити процес, але це поєднання дуже складних ідей, які важко реалізувати. Щиро сподіваюся, що @ethereum, @leanEthereum і @eth_proofs цінують різноманітність реалізації, а також простоту. Якщо система доказування і віртуальна машина надто складні, їх розуміють лише багато людей, і аудитувати та кодувати складніше.