Автор: Haotian
Почему говорят, что @ZircuitL2 - это уникальная layer2? 1) Она построена на кодовой базе OP Stack, но не принадлежит к альянсу OP суперцепи? 2) Она относится к цепям OP-Rollup, но не подчеркивает доказательство мошенничества, от названия до технических деталей на ней печать ZK? 3) Хотя и не связана с механизмом безопасного консенсуса AVS, она всё же предоставила держателям $Eigen airdrop и так далее. Далее, вкратце объясню свое понимание этой цепи Zircuit:
1) ОП Stack явно предоставляет базовую технологическую платформу для быстрого запуска layer2, но многие цепи, включая Metis, Mantle, Zircuit и другие, использовали технологическую платформу Codebase OP Stack, но не вошли в стратегический маршрут Superchain.
Причина проста: хотя суперцепь будет пользоваться ресурсами OP суперальянса, она также будет ограничена в технической автономии и гибкости, например, в отношении доказательства мошенничества. Многие проекты layer2 в экосистеме OP Stack до сих пор не полностью внедрили систему доказательства мошенничества, и связь с их зависимостями от выбранной архитектуры будет значительной.
Zircuit является типичным примером, хотя в L2beat она помечена как OP-Rollup Type, её общая техническая архитектура и бренд оставляют сильное впечатление ZK, и многие люди будут относить её к категории ZK-Rollup.
Причина, по которой предпочитается архитектура ZK, в основном заключается в том, что поддержка ZK-технологий может сделать рамки OP-Rollup более надежными. В конце концов, без настоящей работы системы Fraud Proof трудно назвать OP-Rollup безопасной и надежной цепью, но с системой ZK Proof, полагаясь на ZK-технологии для создания доверительной среды изменения состояния, можно значительно компенсировать недостатки в оптимистичных доказательствах. Поэтому в строгом смысле она должна быть отнесена к гибридному Rollup.
На самом деле, такая архитектура гибридного Rollup не нова, как и многие другие новые layer2.
@MetisL2
Также на основе этого акцент на дифференциацию, предлагая пользователям быстрый канал для вывода средств через ZK-Rollup Router без ожидания 7-дневного периода оспаривания.
2) Недавно Виталик похвалил Starknet за оптимизацию механизма ценообразования Blob Gas и сжатие состояния блока, что на самом деле является еще одним направлением оптимизации для layer2 после необходимости улучшить кросс-цепную совместимость: улучшение структуры данных и производительности.
Поскольку будущая дорожная карта обновлений основной сети Ethereum будет стремиться к легковесным ZK-SNARKs, если цепочки layer2 смогут эффективно применять ZK-технологии на базовом уровне, улучшая такие аспекты, как структура данных, сжатие состояния, обмен сообщениями и т.д., они будут ближе к будущей стратегии Rollup-Centric.
Поэтому, как новичок, Zircuit с самого начала сделала много технических оптимизаций в деталях, например:
1. Усиление безопасности на уровне Sequencer (SLS): во многих цепях layer2 существуют проблемы с централизацией Sequencer, MEV и другими, что приводит к тому, что такие финансовые приложения, как DeFi, не могут стабильно развиваться в среде layer2.
Исходя из этого, Zircuit уникально разработала превентивную архитектуру безопасности для Sequencer: когда транзакции находятся в Mempool, осуществляется мониторинг злонамеренных транзакций, и злонамеренные транзакции помещаются в изолированную область с множеством условий выпуска, чтобы гарантировать безопасное выполнение нормальных транзакций; такой подход с добавлением уровня предварительной проверки безопасности в компонент Sequencer может выявлять потенциальные действия MEV, обеспечивая более справедливую среду исполнения для приложений DeFi.
2. Модульная система доказательства: цепи layer2 с парадигмой ZK-Rollup имеют явные преимущества по окончательности по сравнению с цепями OP-Rollup, но в то же время они могут создавать дополнительные расходы на вычисление, генерацию и проверку доказательств. Эти затраты не входят в категорию снижения затрат на газ layer2 через блоки Blobs в основной сети, поэтому ZK-Rollup layer2 должна найти способы снизить затраты на ZK-доказательства.
В связи с этим, ZIrcuit использует два пути для оптимизации затрат: шаблонные доказательства и агрегацию доказательств. Шаблонные доказательства - это переходное решение, которое использует упрощенные шаблоны доказательств для поддержания актуальности базового состояния без необходимости генерировать полные доказательства для каждой партии, чтобы сократить затраты; агрегация доказательств собирает несколько неподтвержденных задач доказательства и параллельно генерирует доказательства через специальные и универсальные схемы, в конечном итоге объединяя эти доказательства в одно общее доказательство для заключительной проверки.
Очевидно, что такая настройка специальных закрытых схем для адаптации различных типов доказательств в системе доказательств может значительно снизить затраты на генерацию и проверку ZK-доказательств. Это похоже на Starknet, который использует систему STARK, и zkSync, который использует рекурсивную систему и т.д., что также может существенно снизить затраты ZK.
3. Layer2 с поддержкой ИИ: как новая цепь layer2, Zircuit естественным образом подходит для интеграции элементов ИИ, таких как моделирование推理 и AI-агенты. Это проявляется в том, что AI-модели в SLS-упорядочивателе анализируют подозрительные транзакции, а специальные ситуации автоматически изолируются или приостанавливаются протоколами ИИ и т.д.
Выше.
Что касается того, почему Zircuit решила объединиться с @Eigenlayer для airdrop, с чисто технической точки зрения трудно увидеть что-либо, я предпочитаю понимать это как стратегическую поддержку Zircuit этой layer2 для безопасности Ethereum AVS.
С широкой перспективы, AVS как быстрая безопасная инфраструктура консенсуса, возможно, поможет системе SSL Zircuit быстро интегрироваться в другие экосистемы layer2 в какой-то момент времени.