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