Виталик Бутерин, соучредитель Ethereum, опубликовал статью, в которой подробно обсуждается концепция «ZK-EVM» (виртуальная машина Ethereum с нулевым разглашением) и возможные формы ее реализации. В статье указывается, что текущие протоколы EVM уровня 2 (такие как Optimistic Rollups и ZK Rollups) должны полагаться на механизм проверки EVM, но это также означает, что они должны доверять огромной базе кода. Если в базе кода существует уязвимость, эти виртуальные машины могут подвергнуться риску атаки. Кроме того, даже ZK-EVM, которая желает оставаться полностью эквивалентной EVM L1, потребует некую форму механизма управления для репликации изменений EVM L1 в свою собственную реализацию EVM. Концепция ZK-EVM, предложенная Бутериным, направлена на сокращение повторной реализации функций протокола Ethereum проектами уровня 2 и повышение его эффективности при проверке блоков Ethereum уровня 1. Он также предвидит будущее, в котором легкие клиенты станут более мощными и смогут даже использовать ZK-SNARK (доказательства с нулевым разглашением) для полной проверки выполнения EVM L1, и к этому времени сеть Ethereum по существу будет иметь встроенные возможности ZK-EVM. В статье также обсуждаются различные варианты реализации ZK-EVM, в том числе проблемы их проектирования, компромиссы и причины, по которым некоторые направления могут быть не приняты. Подчеркивается, что при реализации функциональности протокола его преимущества следует сопоставлять с преимуществами сохранения простоты базового протокола. Что касается ключевых атрибутов ZK-EVM, Бутерин выделил его базовую функциональность, совместимость с мультиклиентской философией Ethereum, требования к доступности данных, возможность аудита и возможности обновления. Кроме того, он также упомянул поддержку «почти-EVM», которая позволяет виртуальным машинам L2 по-прежнему использовать ZK-EVM внутри протокола с лишь незначительными отличиями от EVM, а также обеспечивает некоторую гибкость настройки EVM.
Все комментарии