Cred că efortul zkEVM pe L1 are o mulțime de sens. Chiar și a avea mai multe zkEVM-uri are sens, pentru redundanță. Ceea ce nu are sens pentru mine este adăugarea verificării formale ca o cerință pentru lansarea L1 zkEVM. Nu este clar că este aditiv din punct de vedere al securității și cu siguranță cheltuieli mari de timp.