Me estoy preocupando por la complejidad de los zkVMs. Una cosa que me encanta del diseño de CairoVM es que es bastante simple. Algunas de las nuevas ideas pueden hacer las cosas más rápidas, pero son una mezcla de ideas muy complicadas que son difíciles de implementar. Honestamente, espero que @ethereum, @leanEthereum y @eth_proofs valoren la diversidad de implementación pero también la simplicidad. Si el sistema de pruebas y la VM son demasiado complicados, solo un grupo de personas lo entenderá y será más difícil de auditar y codificar.