🧵 @Agglayer вышла версия 0.3. Большинство мостов по-прежнему полагаются на атмосферу «просто доверьтесь нам». Этот релиз наконец-то переворачивает модель: «Не доверяйте мосту, проверьте состояние». Позвольте мне рассказать вам о том, что изменилось и почему это важно 👇

До версии 0.3 Agglayer в основном фокусировался на проверке кроссчейн-сообщений, а не на том, что происходит внутри цепей. Допустим, цепочка А отправляет 100 USDC в цепочку Б. Старая модель только что подтвердила, что «сообщение об отправке 100 USDC» было пройдено. Но это не доказало: - действительно ли Chain A списала 100 USDC с вашего кошелька - или правильно ли Chain B отчеканила токены Вы доверяли секвенсорам или логике моста, чтобы «делать правильные вещи». В версии 0.3 Agglayer добавляет полную проверку этих внутренних шагов. Он проверяет: - Что переход состояния в цепочке A был действительным (например, баланс был списан) - Что поведение моста и утверждение в цепочке B соответствуют тому, что произошло на самом деле Больше никакого слепого доверия. Теперь все доказуемо.

Agglayer v0.3 - это серьезное обновление пессимистичного доказательства. В чем суть идеи? Теперь цепочки прикрепляют доказательство, которое показывает, что они правильно завершили свой собственный блок — на основе своих собственных правил. Подумайте об этом как о #2FA для расчета: один фактор — разница в состоянии, второй — доказательство того, что квартал был честно построен.

Безопасность Agglayer v0.3 усилена с помощью трехступенчатого потока: 1️⃣ Доказательство перехода состояния доказывает свой собственный переход состояния (через zk proof или ECDSA) 2️⃣ Доказательство AggProver проверяет доказательство перехода состояния и ограничения моста (т.е. выходы, корневые изменения) 3️⃣ В конце концов, все это выполняется заново. Это делает всю систему проверяемой и устойчивой к взлому — никаких ярлыков, никаких предположений о доверии. Каждый шаг выполняется в zkVM, где мы используем @SuccinctLabs SP1! Это три доказательства SP1 на обязательство по состоянию цепи! Тройное доверие! Он не требует доверия, имеет модульную конструкцию и гораздо более безопасен. Давайте объясним каждый слой по очереди:

Шаг 1 — Доказательство перехода состояния: Здесь каждая цепочка доказывает, что ее собственный внутренний переход состояния действителен. Если вы используете zk rollup, вы генерируете полное доказательство валидности (например, Plonky2/3, STARK и т. д.). Если вы не являетесь таковым, вы можете подписать новый корневой каталог состояния с помощью ECDSA. Цель здесь: доказать «Я честно обработал эти транзакции и обновил свое состояние». На выходе получается доказательство локального состояния — там еще ничего не говорится о мостах, только внутренняя корректность.