Ich mache mir Sorgen über die Komplexität von zkVMs. Eine Sache, die ich am Design von CairoVM liebe, ist, dass es ziemlich einfach ist. Einige der neuen Ideen können die Dinge schneller machen, aber sie sind eine Mischung aus sehr komplizierten Ideen, die schwer umzusetzen sind. Ich hoffe ehrlich, dass @ethereum, @leanEthereum und @eth_proofs die Vielfalt der Implementierung, aber auch die Einfachheit schätzen. Wenn das Beweissystem und die VM zu kompliziert sind, werden nur eine Handvoll Menschen es verstehen, und es ist schwieriger zu prüfen und zu codieren.