Estou começando a me preocupar com a complexidade das zkVMs. Uma coisa que eu adoro no design do CairoVM é que ele é bem simples. Algumas das novas ideias podem acelerar as coisas, mas são uma mistura de ideias muito complicadas e difíceis de implementar. Sinceramente, espero que @ethereum, @leanEthereum e @eth_proofs valorizem a diversidade de implementação, mas também a simplicidade. Se o sistema de provas e a VM forem muito complicados, só um grupo de pessoas vai entender, e fica mais difícil auditar e programar.