=nil; Foundation представляет автоматизированный компилятор zkEVM для повышения безопасности масштабирования Ethereum
Summary:
=nil; Фонд создал компилятор с нулевым разглашением типа 1 для виртуальной машины Ethereum (zkEVM) для решения выявленных проблем безопасности в аналогичных решениях для масштабирования Ethereum. В интервью генеральный директор Миша Комаров рассказал, что технология позволяет автоматически компилировать высокоуровневый программный код в схему zk-SNARKS. Этот метод обеспечивает прямую совместимость с виртуальной машиной Ethereum для транзакций и смарт-контрактов. Подход Фонда автоматизирует компилятор zkEVM из EVM Ethereum с помощью компилятора схем двухлетней давности. Это обеспечивает повышенную безопасность, эффективную реализацию и адаптируемость к обновлениям EVM. 12 декабря Фонд поделился своим репозиторием кода прототипа и спецификациями.
=nil; Foundation, фирма, специализирующаяся на технологии нулевого разглашения, представила новый компилятор 1-го типа с нулевым разглашением для виртуальной машины Ethereum (zkEVM). Эта разработка является ответом на выявленные проблемы безопасности в аналогичных решениях для масштабирования Ethereum на основе нулевого разглашения. В эксклюзивном интервью Cointelegraph Миша Комаров, генеральный директор и соучредитель =nil; Foundation, подчеркнул, что эта недавно разработанная технология делает акцент на безопасности и облегчает автоматическую компиляцию высокоуровневых программных кодов в схемы Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS). zkEVM организации предназначен для синхронизации с evmone, версией корневой среды выполнения Ethereum на C++.
Примечательной особенностью является то, что код приложения обрабатывается и упаковывается в доказательства, которые представляются Ethereum в формате, похожем на его EVM. Такая совместимость гарантирует повышенную безопасность и более быстрое выполнение, поскольку используется идентичный байт-код, что устраняет необходимость в длительных и дорогостоящих проверках кода. Кроме того, этот метод обеспечивает прямую совместимость с виртуальной машиной Ethereum для транзакций и смарт-контрактов.
В 2023 году в отрасли было запущено несколько известных zkEVM. Эти протоколы уровня 2 предназначены для обработки больших объемов транзакций и помощи в операциях со смарт-контрактами Ethereum. Крупные компании, такие как Consensys, Polygon, StarkWare и Matter Labs, разработали решения ZK-rollup, обеспечивающие высокую пропускную способность и доступные тарифы для децентрализованных приложений, сервисов и сетевых пользователей.
Комаров пояснил, что =nil; Подход Foundation основан на автоматическом компиляторе, что отличает его от других zkEVM, которые вручную очерчивают схемы. Он критиковал существующие стратегии, называя их трудоемкими, чрезмерно сложными и подверженными человеческим ошибкам. Эта проблема проявилась, когда была обнаружена ошибка надежности в ZK-схемах, используемых в основной сети zkSync Era от Matter Labs. ChainLight, фирма по безопасности, обнаружила ошибку и получила вознаграждение в размере 50 000 долларов США (USDC) от Matter Labs в сентябре 2023 года. Уязвимость могла позволить злоумышленнику состряпать доказательства неправильно выполненных блоков, которые были бы приняты верификатором смарт-контрактов основной сети Ethereum.
Размышляя о недавнем открытии, Комаров рассказал: «Виталик Бутерин начал обсуждать опасения по поводу безопасности цепи, например, возможность обрыва цепи». Он продолжил: «При дальнейшем исследовании стало ясно, что эти схемы написаны вручную. Люди тратят годы на их разработку, но, по сути, они вручную воспроизводят то, что делает EVM в своих схемных представлениях».
По мнению Комарова, такой ручной подход усложняет аудит кода. Обнаруженная ошибка в zkSync служит примером таких потенциальных ошибок. Решение, придуманное с помощью =nil; Foundation автоматизирует компилятор из EVM Ethereum с помощью компилятора схем двухлетней давности. Комаров утверждал, что этот метод гарантирует, что «безопасность схемы соответствует безопасности оригинальной реализации Ethereum».
Разработанное решение также предназначено для того, чтобы быть гибким к обновлениям EVM в соответствии с будущими разработками Ethereum, обеспечивая устойчивый компилятор для zkEVM, который, благодаря своему автоматизированному проектированию, не требует значительных затрат времени и ресурсов для обновлений. Следовательно, это позволяет zkEVM принимать последние предложения по улучшению Ethereum по мере их реализации. Фонд поделился своим репозиторием кода прототипа и спецификациями 12 декабря.
Published At
12/12/2023 6:00:00 PM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.