" Технологическая фирма, специализирующаяся на решениях с нулевым разглашением =nil; Foundation разработала новый компилятор виртуальной машины Ethereum с нулевым разглашением Type 1 (zkEVM) для решения проблем безопасности, выявленных в аналогичных решениях масштабирования Ethereum на базе ZK.
Генеральный директор и соучредитель Фонда =nil; Михаил Комаров говорит, что эта технология отдает приоритет безопасности и позволяет автоматически компилировать программный код высокого уровня в схемы сжатого неинтерактивного аргумента знания с нулевым разглашением (zk-SNARKS).
zkEVM компании разработан с учетом совместимости с evmone, версией C++ базовой среды исполнения Ethereum. Ключевой вывод заключается в том, что код приложений обрабатывается и сворачивается в виде доказательств, отправляемых в Ethereum в том же формате, что и его EVM.
Совместимость с EVM необходима для обеспечения большей безопасности и более быстрой реализации, учитывая, что байт-код тот же и устраняет необходимость в длительных и дорогостоящих проверках кода. Этот подход также обеспечивает транзакции и смарт-контракты, напрямую совместимые с виртуальной машиной Ethereum.
В 2023 году на рынок выйдет несколько громких zkEVM. Эти протоколы Layer 2 призваны помочь Ethereum обрабатывать большие транзакционные нагрузки и функции смарт-контрактов. Такие компании, как Consensys, Polygon, StarkWare и Matter Labs, выпускают решения ZK-rollup, обеспечивающие высокую пропускную способность и низкую комиссию для децентрализованных приложений, услуг и пользователей сети.
Как объясняет Комаров, Решение =nil; Foundation основано на автоматизированном компиляторе, в отличие от других zkEVM, которые определяют схемы вручную. Он описывает существующие подходы как «затратные по времени» и «чрезмерно сложные», что также сопряжено с риском человеческой ошибки.
Эти опасения проявились при обнаружении ошибки работоспособности в схемах ZK, используемых в основной сети zkSync Era компании Matter Labs. Компания по безопасности ChainLight получила от фирмы вознаграждение в размере 50 000 долларов США (USDC) за обнаружение уязвимости в сентябре 2023 года.
Эта ошибка позволила бы злоумышленнику предоставить доказательства недействительно выполненных блоков, которые приняли бы верификатор смарт-контрактов в основной сети Ethereum. Matter Labs внедрила исправление и наградила ChainLight за найденную ошибку в программном обеспечении zkSync Era.
«Виталик Бутерин начал говорить о проблемах безопасности, например, о том, что будет, если цепь оборвется», — объясняет Комаров. — Мы начали в этом разбираться. Проблема стала очевидной в том, что эти схемы написаны вручную. Люди потратили годы на их создание, но по сути они воссоздают ту же логику, что и EVM, вручную в схемном представлении».
Комаров добавляет, что этот метод чрезвычайно усложняет аудит кода. Ошибка zkSync является примером потенциальной ошибки, связанной с цепями, определяемыми вручную. Подход Nil Foundation заключается в автоматизации компилятора EVM Ethereum с использованием компилятора схем, разработанного за последние два года.
«Это максимально близко к тому, чтобы схема имела ту же безопасность, что и первоначальная реализация Ethereum. Если он сломан, то и цепь разорвана».
Решение также предназначено для адаптации к изменениям EVM по мере продолжения дорожной карты Ethereum, предоставляя «перспективный» компилятор zkEVM, который не требует значительных ресурсов и времени для обновления, учитывая его автоматизированный дизайн. Это позволяет zkEVM интегрировать последние предложения по улучшению Ethereum по мере их вступления в силу.
12 декабря фонд опубликовал прототип хранилища кода и спецификации.
