AggLayer та Песимістичні Докази

Subscribe to JulyK

<100 subscribers

Subscribe to JulyK

<100 subscribers

З нещодавнім оновленням AggLayer v0.2 було введено песимістичний механізм перевірки транзакцій (Pessimistic Proofs), який пропонує інший підхід до вирішення проблем довіри між блокчейнами.

Більшість крос-чейн рішень покладаються на Оптимістичні Докази, припускаючи, що учасники діють чесно - доки не буде доведено протилежне. Це основа Optimistic Rollups.

Натомість AggLayer приймає песимістичну модель, де кожен блокчейн за замовчуванням вважається потенційно ненадійним. Перед підтвердженням крос-чейн операції система перевіряє всі вхідні дані. Якщо неможливо сформувати дійсний доказ, транзакція не вдається.

Основними цілями Песимістичних Доказів є забезпечення:

➡️ Кожна крос-чейн транзакція забезпечується реальним депозитом.

➡️ Жодна мережа не може зняти більше депозиту.

➡️ Навіть якщо один чейн зламано, інші залишаються незмінними.

Модель побудована навколо Єдиного мосту та дерев станів, які відстежують кожну транзакцію:

1️⃣ Local Exit Tree - кожен блокчейн генерує дерево виходу, у якому записуються всі вихідні транзакції.

2️⃣ Global Exit Root - глобально агрегований стан, що зберігається в Ethereum, об’єднуючи всі локальні дерева виходу.

3️⃣ Nullifier Tree - система контролю, яка запобігає дублюванню запитів на зняття коштів.

Перед виконанням крос-чейн передачі песимістичний доказ перевіряє:

✅ Чи відповідає стан мережі заявленому?

✅ Чи достатньо коштів для виведення?

✅ Чи підтримується цілісність балансу в глобальному мості?

Якщо будь-яка умова не виконується, атомарна транзакція не виконується, фактично зупиняючи атаки на міст, перш ніж їх можна буде виконати.

На практиці це оновлення призвело до кількох ключових покращень:

🔹 Розширена підтримка будь-якого блокчейну.

Раніше лише блокчейни на основі Polygon CDK могли взаємодіяти з AggLayer. Тепер навіть ланцюжки без ZK-доказів можуть до’єднуватися з безпекою, забезпеченою завдяки Песимістичним Доказам.

🔹 Уніфікована ліквідність без обернутих токенів.

На відміну від більшості мостів, які покладаються на обернуті версії активів, AggLayer v0.2 дозволяє передавати власні токени між чейнами без обернення, зменшуючи ризик і спрощуючи крос-чейн операції.

🔹 Гнучкий вибір для блокчейнів.

Блокчейни, які використовують Polygon CDK, можуть продовжувати працювати за старим механізмом розрахунків, а нові мережі отримують додатковий рівень безпеки завдяки Песимістичним Доказам.

Важливий момент: якщо блокчейн спочатку використовує Песимістичні Докази, пізніше він може перейти на перевірку ZK, якщо відповідає критеріям. Однак зворотний перехід неможливий.

Заключні думки

Загалом ми сприймаємо це оновлення позитивно. Триває гонка за розробкою найефективнішого крос-чейн рішення, здатного підключити максимальну кількість блокчейнів. Раніше вимога використовувати лише ZK-Rollups значно обмежувала AggLayer. Цей поворот також може бути мотивований метою інтеграції нативного Ethereum. Ми вважаємо, що AggLayer має хороші можливості для конкуренції в цьому просторі. Haust Network використовуватиме песимістичні докази в структурі AggLayer для підвищення безпеки та надійності своїх крос-чейн операцій.