我認為在 L1 上的 zkEVM 努力非常有意義。 即使有多個 zkEVM 也有意義，以增加冗餘。 我不明白的是，為什麼要將正式驗證作為 L1 zkEVM 部署的要求。 不清楚這在安全性上是否有附加價值，而且確實是個耗時的工作。