Ich denke, dass der zkEVM-Einsatz auf L1 sehr sinnvoll ist. Sogar mehrere zkEVMs zu haben, macht Sinn, um Redundanz zu gewährleisten. Was für mich keinen Sinn macht, ist die Hinzufügung einer formalen Verifizierung als Voraussetzung für die Einführung des L1 zkEVM. Es ist nicht klar, ob es in Bezug auf Sicherheit einen Mehrwert bietet, und es ist definitiv eine große Zeitinvestition.