Estou a ficar preocupado com a complexidade dos zkVMs. Uma coisa que adoro no design do CairoVM é que é bastante simples. Algumas das novas ideias podem tornar as coisas mais rápidas, mas são uma mistura de ideias muito complicadas que são difíceis de implementar. Espero sinceramente que @ethereum, @leanEthereum e @eth_proofs valorizem a diversidade de implementação, mas também a simplicidade. Se o sistema de prova e a VM forem demasiado complicados, apenas um punhado de pessoas irá compreendê-lo e será mais difícil de auditar e codificar.