Я думаю, что усилия по zkEVM на L1 имеют большой смысл. Даже наличие нескольких zkEVM имеет смысл для резервирования. Что мне не кажется разумным, так это добавление формальной верификации как требования к развертыванию L1 zkEVM. Неясно, добавляет ли это безопасность, и это определенно требует много времени.