Я думаю, що зусилля zkEVM на L1 мають масу сенсу. Навіть наявність кількох zkEVM має сенс для резервування. Що для мене не має сенсу, так це додавати формальну верифікацію як вимогу до розгортання L1 zkEVM. Не зрозуміло, що це адитивно з точки зору безпеки, і def витрачає багато часу.