🧵 @Agglayer версії 0.3 вийшло.
Більшість мостів все ще покладаються на атмосферу «просто довіртеся нам».
Цей реліз нарешті перевертає модель:
«Не довіряйте мосту, перевіряйте державу».
Дозвольте мені розповісти вам, що змінилося і чому це важливо 👇
Основна мережа Agglayer v0.3 працює.
Це оновлення безпеки закладає основу для приєднання ланцюгів, які не є CDK, починаючи з Polygon PoS до кінця 3 кварталу. Ланцюжки можуть доводити стан і з'єднуватися, безпечно і без переписування архітектури.
Наступна зупинка: швидкий інтероп (кросчейн-транзакції менше 10 секунд)
До версії 0.3 Agglayer зосереджувався в основному на перевірці кросчейн-повідомлень, а не на тому, що відбувалося всередині ланцюгів.
Скажімо, ланцюжок A надсилає 100 USDC на ланцюг B. Стара модель щойно підтвердила, що "повідомлення про відправку 100 USDC" було передано. Але це не довело:
- чи дійсно ланцюжок А списав 100 USDC з вашого гаманця
- або чи правильно ланцюжок B викарбував токени
Ви довіряли секвенсорам або логіці мосту, щоб «зробити правильні речі».
У версії 0.3 Agglayer додає повну перевірку цих внутрішніх кроків. Він перевіряє:
- Що перехід стану в ланцюжку А був дійсним (наприклад, баланс був вирахуваний)
- Що поведінка мосту та претензії до ланцюга B збігаються з тим, що насправді сталося.
Більше ніякої сліпої довіри. Зараз все доведено.
Agglayer v0.3 є серйозним оновленням песимістичного доказу.
Основна ідея? Тепер ланцюжки додають доказ, який показує, що вони належним чином завершили роботу над власним блоком — на основі власних правил.
Думайте про це як про #2FA для врегулювання: один фактор – це різниця в стані, другий – доказ того, що блок був чесно побудований.
Безпека Agglayer v0.3 посилюється за допомогою триетапного потоку:
1️⃣ Доказ переходу стану доводить свій власний перехід станів (за допомогою zk proof або ECDSA)
2️⃣ Доказ AggProver перевіряє доказ переходу стану та обмеження моста (тобто виходи, зміни кореня)
3️⃣ Нарешті, все це виконується заново. Це робить всю систему перевіреною та стійкою до несанкціонованого доступу — жодних ярликів, жодних припущень щодо довіри.
Кожен крок виконується в зкВМ, де ми використовуємо @SuccinctLabs SP1! Це три докази SP1 на кожен стан ланцюга! Потрійна довіра!
Він не потребує довіри, є модульним і набагато безпечнішим.
Давайте пояснимо кожен шар по черзі:
Крок 1 — Доказ переходу до стану: тут кожен ланцюг доводить, що його власний внутрішній перехід станів є дійсним.
Якщо ви є зведеним користувачем zk, ви генеруєте повний доказ валідності (наприклад, Plonky2/3, STARK тощо).
Якщо ні, ви можете підписати новий кореневий статус за допомогою ECDSA.
Мета тут: довести: «Я обробив ці транзакції та чесно оновив свій стан».
Вихід є доказом локального стану — він поки що нічого не говорить про мости, лише внутрішню коректність.
5,31 тис.
29
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.