Компания по масштабированию Ethereum =nil; Foundation представляет безопасную zkEVM
Масштабирующая компания =nil; Foundation представляет безопасное zkEVM для Ethereum
Компания Zero-knowledge, =nil; Foundation, разработала новый компилятор zero-knowledge Ethereum Virtual Machine (zkEVM) типа-1, чтобы решить проблемы безопасности, выявленные в аналогичных масштабируемых решениях Ethereum, основанных на ZK.
Говоря исключительно для Cointelegraph, CEO и сооснователь компании =nil; Foundation Миша Комаров говорит, что приоритетом технологии является безопасность, и позволяет автоматически компилировать высокоуровневый программный код в “сокращенный непротиворечивый аргумент знаний” (zk-SNARKS).
Компилятор zkEVM фирмы разработан таким образом, чтобы быть совместимым с evmone, который является С++ версией базового исполнительного окружения Ethereum. Главная идея состоит в том, что код приложений обрабатывается и представляется в виде доказательств, отправляемых на Ethereum в том же формате, что и EVM.
Также читайте: Ethereum L2 Starknet стремится децентрализовать основные компоненты своей сети масштабирования
- СтыкВар будет платить 10% сетевых комиссий разработчикам в рамках пилотной программы
- Фонд Nil запускает тип-1 zkEVM для повышения безопасности масштабирования Ethereum
- In Russian Компания Ark Invest Кэти Вуд сбрасывает огромные доли GBTC и акций Coinbase и рассматривает технологию искусственного интеллекта.
Поддерживаемая совместимость гарантирует безопасность и более быструю реализацию, поскольку байткод остается тем же самым, и не требуется длительное и дорогостоящее аудирование кода. Такой подход также обеспечивает совместимость транзакций и умных контрактов с Ethereum Virtual Machine.
В 2023 году на рынке появилось несколько известных zkEVM. Эти протоколы второго уровня помогают 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-rollups оправдала себя
Эта ошибка позволила бы злоумышленнику создавать доказательства для неправильно выполненных блоков, которые бы смарт-контракт на главной сети Ethereum принял. Matter Labs исправили проблему и наградили ChainLight за нахождение ошибки, это первый сообщенный случай получения вознаграждения за ошибку в ZK-схемах zkSync Era.
“Виталик Бутерин начал говорить о проблемах безопасности, таких как возможное разрушение схемы”, – объясняет Комаров.
“Мы начали исследовать. Проблема стала очевидной: эти схемы написаны вручную. Люди потратили годы на их разработку, но по сути они повторяют ту же логику, которую выполняет EVM, самостоятельно в схеме.”
Kомаров добавляет, что данный метод делает аудит кода чрезвычайно сложным. Ошибка в zkSync является примером потенциальной ошибки, связанной с ручным определением цепочек. Подход Фонда = Nil; заключается в автоматизации компилятора из Ethereum’s EVM с использованием его разработанного за последние два года цепочек компилятора.
“Это насколько близко мы можем подойти, чтобы цепочка имела такую же безопасность, как и оригинальная реализация Ethereum. Если это нарушено, то и сама цепочка сломана.”
Это решение также разработано с возможностью адаптации к изменениям в EVM согласно дорожной карте Ethereum, предоставляя “защиту от будущих угроз” компилятора zkEVM, который не требует значительных ресурсов и времени для обновления благодаря своему автоматизированному дизайну. Это позволяет интегрировать последние предложения по улучшению Ethereum Improvement Proposals при их вступлении в силу.
Фонд опубликовал свою репозиторию с прототипом кода и спецификациями 12 декабря.
Журнал: Вот как Ethereum’s ZK-rollups могут стать взаимодействующими
We will continue to update BiLee; if you have any questions or suggestions, please contact us!
Was this article helpful?
93 out of 132 found this helpful
Related articles
- Уровень эфира упал до самого низкого уровня с момента обновления в Шанхае, уменьшившись на более чем 309 500 монет.
- Активные адреса в сети Litecoin достигли исторического максимума через четыре месяца после уменьшения награды за майнинг LTC
- Круг 51% потребителей Латинской Америки используют цифровые активы для покупок
- Oasys использует платформу AltLayer для упрощения развертывания метавселенной
- Планы китайского правительства по использованию блокчейна для проверки личности
- Китай будет проверять удостоверение личности граждан с помощью блокчейна
- FTX противостоит требованию ИРС о уплате налогов в размере $24 млрд, ссылаясь на необоснованные цифры