Виталик Бутерин: zkEVM может решить проблемы с верификацией в Ethereum

[Alex077]

Ethereum, платформа смарт-контрактов, поддерживающая децентрализованные финансы (DeFi), операции с невзаимозаменяемыми токенами (NFT) и многое другое, имеет проблему, которую нельзя решить исключительно с помощью платформ масштабирования уровня 2, как недавно заявил ее соучредитель Виталик Бутерин.
В своем блоге Бутерин сказал, что хотя сеть широко используется и в ней есть пользователи, проверка транзакций основной сети является сложной задачей. Проблемы, связанные с этим, означают, что не многие люди могут управлять своими узлами и вместо этого полагаться на доверенных третьих лиц, включая легкие клиенты. Хотя облегченные кошельки необходимы, соучредитель отмечает, что проверка того, соответствует ли конкретный валидатор Ethereum установленным правилам протокола, является сложной задачей.
Чтобы решить эти проблемы, Бутерин предлагает два варианта решения проверки уровня 1 в сети при одновременном улучшении масштабируемости.

Решение проблем с верификацией в блокчейне​

В первом варианте он предлагает ограничить основную сеть и перевести активность на второй уровень. Это потребует снижения целевого количества газа в основной сети на блок с 15 миллионов до 1 миллиона, при этом единственной функцией уровня 1 будет проверка протоколов уровня 2.
Хотя это решение может работать, в нем могут быть недостатки. Во-первых, это сделало бы многие существующие приложения на основе L1 экономически нецелесообразными, а средства пользователей могли бы застрять из-за чрезвычайно высоких комиссий. Возможен массовый переход на проект уровня 2, но это еще больше усложнит процесс.
Бутерин отмечает, что в идеале протокол Ethereum должен легко проверяться на различных устройствах, включая ноутбуки, телефоны и расширения для браузеров. Тем не менее, индивидуальная синхронизация данных в сети в первый раз или после длительного автономного использования может занять до 54 секунд. Это может быть связано с выполнением задач в браузере устройства или привести к быстрой разрядке аккумулятора портативных устройств.
Другой альтернативный вариант, который предлагает Бутерин, включает в себя краткий неинтерактивный аргумент знаний (SNARK) — проверку основной сети с использованием виртуальной машины Ethereum с нулевым разглашением (zkEVM), которую можно использовать для проверки выполнения виртуальной машиной Ethereum (EVM) блока Ethereum. .

При таком подходе будет написано больше кода SNARK для проверки консенсусной стороны блока. Однако генерация доказательств в режиме реального времени потребует значительных улучшений за счет специализированного оборудования или архитектурных усовершенствований.
Если будет выбран этот вариант, потребуется выбрать тип zkEVM для проверки. Существуют три варианта: одиночный zkEVM, закрытый мульти-zkEVM и открытый мульти-zkEVM.
Хотя у каждого варианта есть свои преимущества и недостатки, Бутерин считает, что открытый вариант с несколькими zkEVM — лучший путь. Этот подход будет включать в себя разные клиенты, имеющие разные реализации zkEVM, при этом каждый клиент ожидает совместимого подтверждения, прежде чем принять блок как действительный.
В то время как идеально, это не будет без проблем. Очевидно, что это потребует значительных улучшений эффективности и распараллеливания Ethereum. Однако он считает, что этот путь можно исследовать и он практичен благодаря технологическим достижениям.

Улучшение масштабируемости и доступности в Ethereum​

Предложения Бутерина представляют собой шаг в правильном направлении для решения проблемы верификации в сети. Хотя предлагаемые решения имеют недостатки, они подчеркивают необходимость более масштабируемого и эффективного протокола Ethereum.
Это предложение поступило, когда Polygon запустила бета-версию своей основной сети zkEVM в начале этой недели с планами открыть исходный код технологии, чтобы стимулировать дальнейшие разработки.