🧵 @Agglayer v0.3 выпущен.
Большинство мостов по-прежнему полагаются на атмосферу "просто доверьтесь нам".
Этот релиз наконец меняет модель:
"не доверяйте мосту, проверяйте состояние."
Позвольте мне рассказать вам, что изменилось и почему это важно 👇
Agglayer v0.3 основной сеть запущена.
Это обновление безопасности закладывает основу для подключения цепочек, не использующих CDK, начиная с Polygon PoS к концу третьего квартала. Цепочки могут подтверждать состояние и подключаться, безопасно и без переписывания архитектуры.
Следующая остановка: быстрая интероперабельность (кроссчейн-транзакции менее 10 секунд)
До версии v0.3 Agglayer в основном сосредоточился на проверке межсетевых сообщений — а не на том, что происходило внутри цепочек.
Предположим, Цепь A отправляет 100 USDC в Цепь B. Старая модель просто проверяла, что "сообщение на отправку 100 USDC" было передано. Но это не доказывало:
- действительно ли Цепь A вычла 100 USDC из вашего кошелька
- или правильно ли Цепь B выпустила токены
Вы доверяли секвенсорам или логике моста, что они "сделают правильное дело".
С версией v0.3 Agglayer добавляет полную проверку этих внутренних шагов. Он проверяет:
- Что переход состояния на Цепи A был действительным (например, баланс был вычтен)
- Что поведение моста и требование на Цепи B соответствует тому, что на самом деле произошло
Больше никакого слепого доверия. Теперь все можно доказать.
Agglayer v0.3 — это крупное обновление пессимистичного доказательства.
Основная идея? Цепочки теперь прикрепляют доказательство, которое показывает, что они правильно завершили свой собственный блок — на основе своих собственных правил.
Думайте об этом как о #2FA для расчетов: один фактор — это разница состояния, второй — это доказательство того, что блок был честно построен.
Безопасность Agglayer v0.3 усилена с помощью трехступенчатого процесса:
1️⃣ Доказательство перехода состояния подтверждает свой собственный переход состояния (через zk-доказательство или ECDSA)
2️⃣ Доказательство AggProver проверяет доказательство перехода состояния и ограничения моста (т.е. выходы, изменения корня)
3️⃣ Наконец, все это выполняется заново. Это делает всю систему проверяемой и устойчивой к подделке — никаких обходных путей, никаких предположений о доверии.
Каждый шаг выполняется в zkVM, где мы используем @SuccinctLabs SP1! Это три доказательства SP1 на каждое обязательство состояния цепи! Тройное доверие!
Это бездоверительная, модульная и гораздо более безопасная система.
Давайте объясним каждый уровень по отдельности:
Шаг 1 — Доказательство перехода состояния. Здесь каждая цепочка доказывает, что ее собственный внутренний переход состояния действителен.
Если вы zk rollup, вы генерируете полное доказательство действительности (например, Plonky2/3, STARK и т.д.).
Если нет, вы можете подписать новый корень состояния с помощью ECDSA.
Цель здесь: доказать "Я обработал эти транзакции и честно обновил свое состояние."
Выход — это доказательство локального состояния — оно пока ничего не говорит о мостах, только о внутренней корректности.
5,31 тыс.
29
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.