Автор: Haotian
Чому кажуть, що @ZircuitL2 - це особливий layer2? 1) Він побудований на базі коду OP Stack, але не належить до табору OP суперліги? 2) Він належить до OP-Rollup, але не акцентує увагу на доказах шахрайства, від імені до технічних деталей має дуже сильне враження ZK? 3) Явно не має зв'язку з механізмом безпечного консенсусу AVS, але надала $Eigen стейкерам аеродропи тощо. Далі, я коротко розповім про своє розуміння цього ланцюга Zircuit:
1) OP Stack явно надає швидку основу для створення layer2, але багато ланцюгів, включаючи Metis, Mantle, Zircuit та інші, використовують технологічну основу коду OP Stack, але не входять до стратегічного маршруту Superchain.
Причина проста: хоча суперланцюг користується перевагами ресурсів OP суперліги, він також обмежений у технологічній автономії та гнучкості, наприклад, у доказах шахрайства. Багато Layer2 з табору OP Stack досі не запустили повноцінну систему доказів шахрайства, і залежність від вибору рамок сильно вплине на автономний розвиток.
Zircuit є типовим прикладом: хоча на L2beat його позначено як OP-Rollup Type, його загальна технологічна архітектура та брендовий стиль створюють дуже сильне враження ZK, багато людей відносять його до категорії ZK-Rollup.
Чому віддають перевагу технологічній структурі ZK? Головним чином тому, що підтримка технології ZK може зробити структуру OP-Rollup надійнішою, адже без справжньої роботи системи доказів шахрайства 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. Модульна система доказів: порівняно з OP-Rollup ланцюгами, ZK-Rollup має суттєві переваги у фінальності, проте також викликає додаткові витрати на обчислення, генерацію та верифікацію доказів, які не підпадають під зниження витрат на газ layer2 через блоки Blobs у основній мережі, тому layer2 ZK-Rollup повинна знайти способи зменшити витрати на ZK-докази.
Щоб вирішити цю проблему, ZIrcuit використовує два шляхи для оптимізації витрат: шаблонні докази та агрегування доказів; шаблонні докази є перехідним рішенням, яке використовує спрощений шаблон доказів для підтримки оновлення основного стану без необхідності генерувати повні докази для кожної партії, щоб знизити витрати; агрегування доказів збирає кілька неперевірених доказів, які паралельно генеруються через специфічні та загальні кола, а потім ці докази об'єднуються в один доказ для остаточної верифікації.
Очевидно, що така налаштування специфічних власних кіл для адаптації до різних типів доказів системи Proof може суттєво знизити витрати на генерацію та верифікацію ZK-доказів. Це схоже на Starknet, що використовує систему STARK, zkSync, що використовує рекурсивну систему тощо, що дозволяє зменшити витрати на ZK.
3. AI-Enabled layer2: як новий layer2 ланцюг, Zircuit природно підходить для інтеграції елементів AI, таких як AI-моделі та AI-агенти. Це проявляється в аналізі підозрілих транзакцій AI-моделью в SLS сортувальнику, автоматичному ізоляції або призупиненні протоколів у спеціальних випадках тощо.
Вищевказане.
Щодо того, чому Zircuit вирішила об'єднатися з @Eigenlayer для аеродропу, з технічної точки зору важко це зрозуміти, я б воліла зрозуміти це як стратегічну підтримку Zircuit для забезпечення безпеки AVS Ethereum з боку Eigenlayer.
З точки зору довгострокової перспективи, AVS, як швидка безпечна інфраструктура консенсусу, можливо, зможе допомогти системі SSL Zircuit швидко інтегруватися в інші екосистеми layer2 в певний момент.