我认为在L1上进行zkEVM的努力非常有意义。 即使有多个zkEVM也是有意义的，以增加冗余。 我不明白的是将正式验证作为L1 zkEVM推出的要求。 不清楚这在安全性上是否有附加价值，而且确实是个耗时的工作。