Компания по масштабированию 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 стремится децентрализовать основные компоненты своей сети масштабирования

Поддерживаемая совместимость гарантирует безопасность и более быструю реализацию, поскольку байткод остается тем же самым, и не требуется длительное и дорогостоящее аудирование кода. Такой подход также обеспечивает совместимость транзакций и умных контрактов с 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!

Share:

Was this article helpful?

93 out of 132 found this helpful

Discover more