Zircuit — это полностью EVM-совместимый накопительный пакет с нулевым разглашением (zk-Rollups), который призван обеспечить безграничный потенциал для Web3. Уникальная гибридная архитектура сети Zircuit, основанная на инновационных исследованиях уровня 2, сочетает в себе проверенную в боевых условиях инфраструктуру на основе доказательства с нулевым разглашение (zk-Proof).
Связанные стать:
- Как добавить сеть Zircuit в Metamask?Обзор Zircuit
Благодаря высочайшей производительности и безопасности на уровне секвенсора, пользователи могут исследовать новые горизонты с более быстрыми транзакциями, меньшими комиссиями и высокой безопасностью. Рассмотрим подробнее ключевые особенности Zircuit:
Инновационные исследования. За последние полтора года, разработчики Zircuit были в авангарде исследований по таким темам, как инструменты безопасности данных в, сжатие данных и масштабируемая криптография в накопительных пакетах. Благодаря этим исследованиям, команда проекта получили несколько грантов от Ethereum Foundation.
Полная EVM-совместимость. Zircuit поддерживает все основные кошельки, такие как MetaMask, а также такие инструменты, как Hardhat. Разработчики могут легко развернуть свои смарт-контракты, предназначенные для Ethereum без необходимо изучения новых языков программирования.
Высокая безопасность. Основной задачей Zircuit является защита пользователей на уровне секвенсора, который отслеживает мемпул на наличие вредоносных транзакций и предотвращая их включение в блоки. В отличии от традиционного подхода к обеспечению безопасности на уровнях приложений и смарт-контрактов, подход в Zircuit направлен непосредственно на базовый уровень секвенсора.
Высокая производительность. Раскладывая схемы на специализированные части и объединяя доказательства, Zircuit достигает большей эффективности при сниженых эксплуатационных расходах. В сочетании с более крупными пакетами транзакций и ускоренной обработкой доказательств пользователи получают выгоду от более быстрых и дешевых транзакций.
Безопасный собственный мост. Собственная инфраструктура межсетевого моста имеет лучшую в своем классе архитектуру и методы обеспечения безопасности. Мост прост с технической точки зрения и удобен в использовании, при этом обеспечивая максимально возможную безопасность для средств пользователей.
Архитектура сети Zircuit
Сеть Zircuit основана на инновационной архитектуре, включающей в себя проверенную в боевых условиях инфраструктуру накопительных пакетов с нулевым разглашением (zk-Rollup) и три типа узлов:
- Секвенсоры — узлы, обрабатывающие транзакции и создающие блоки ну уровне 2.
- Пруверы — узлы, создающие доказательства достоверности для блоков на уровне 2.
- Смарт-контракты — программный код для взаимодействия с уровнем 1 (Ethereum).
Результатом такой архитектуры является накопительный пакет с поддержкой виртуальной машины Ethereum с нулевым разглашением (zkEVM) с быстрой финализацией транзакций, не требующий периода проверки для вывода средств на уровень 1.
Потоки транзакций L1 и L2
Транзакции в накопительном пакете могут исходить как из уровня 1 (Ethereum), так и непосредственно из уровня 2 (Zircuit). Транзакции, которые возникают на уровне 1, могут быть транзакциями депозита, когда ETH или другие токены, такие, как ERC-20 или ERC-721, передаются на L2. Транзакция на L2 могут включать в себя обычную отправку активов между кошельками на L2 или вызов смарт-контракта, развернутого на L2. В любом случае транзакция обрабатывается узлом накопительного пакета, который состоит из секвенсора, механизма выполнения и дозатора (Batcher).
Zircuit использует параллельный механизм генерации доказательств для ускорения процесса создания доказательств, а также объединение доказательств для создания единого доказательства, которое можно проверить в сети Ethereum. Раскладывая схемы на специализированные части и объединяя доказательства, Zircuit достигает большей эффективности при меньших эксплуатационных расходах. Окончательное сгенерированное доказательство достоверности представляет собой объединение доказательств для пакета блоков L2.
Доказательства, созданные для пакетов блоков L2 проверяются в сети Ethereum с помощью специального смарт-контракта. После того, как блок успешно проверен, состояния L2 обновляется в соответствующих контрактах, записывая изменения, содержащиеся в блоках L2, включенных в пакет, доказательство которого было проверено. После этого блоки L2 считаются окончательными и вывод средств из L2 возможен без дополнительной задержки.
Депозиты и транзакции L2
Депозитная транзакция — это транзакция, инициирующая перенос токенов ETH или ERC-20 из сети Ethereum в в сеть Zircuit. Депозитные транзакции инициируются путем вызова смарт-контракта в L1 (Ethereum). Для депозита ETH в Zircuit используются два контракта: L1StandardBridge и OptimismPortal, для токенов ERC-20 используется только L1StandardBridge, а для токенов ERC-721 (NFT) применяется контракт L1ERC721Bridge.
Транзакция L2 — это транзакция, которая происходит в самой сети Zircuit, например, передача ETH или других токенов между кошельками или вызов смарт-контракта в Zircuit. Для транзакций L2 не требуется вызов смарт-контрактов, а вместо этого они отправляются в сеть через удаленный вызов RPC или кошелек и обрабатываются непосредственно узлом накопительного пакета.
Вывод средств в Ethereum
Транзакции вывода средств изымают такие активы, как ETH или другие токены, из сети Zircuit и возвращают их на уровень 1 (Ethereum). Такие транзакции инициируются путем отправки транзакции L2 в контракт L2StandardBridge, который вызывает функцию вывода.
Процесс вывода может быть завершен, когда корень состояния, содержащий транзакцию вывода L2, включен в L1 с соответствующим доказательством достоверности. Для завершения функции вывода средств необходимо доказательство, поскольку оно гарантирует, что на счету, с которого снимаются средства, изначально были средства.
Когда накопительные пакеты подтверждены, полученный корень состояния передается в Ethereum через смарт-контракт L2OutputOracle вместе с доказательством достоверности перехода состояния из последнего корня состояния. Как только прувер проверит доказательство, корень состояния записывается как окончательный.
