Empiezo a preocuparme por la complejidad de las zkVM. Una cosa que me encanta del diseño de CairoVM es que es bastante sencillo. Algunas de las nuevas ideas pueden acelerar las cosas, pero son una mezcla de ideas muy complicadas que son difíciles de implementar. Sinceramente espero que @ethereum, @leanEthereum y @eth_proofs valoren la diversidad de implementación pero también la simplicidad. Si el sistema de demostración y la máquina virtual son demasiado complicados, solo mucha gente lo entenderá y es más difícil auditar y programar.