Je commence à m'inquiéter de la complexité des zkVM. Une chose que j'aime dans la conception de CairoVM, c'est qu'elle est assez simple. Certaines des nouvelles idées peuvent rendre les choses plus rapides, mais elles sont un mélange d'idées très compliquées qui sont difficiles à mettre en œuvre. J'espère sincèrement qu'@ethereum, @leanEthereum et @eth_proofs valorisent la diversité des implémentations mais aussi la simplicité. Si le système de preuve et la VM sont trop compliqués, seules quelques personnes comprendront et il sera plus difficile d'auditer et de coder.