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

By [JulyK](https://paragraph.com/@julyk) · 2025-03-04

---

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

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

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

![](https://storage.googleapis.com/papyrus_images/169229cbbe9eed777332a3ba88bdfcb23d4f770009f209d92e4f0a191fb6cba3.jpg)

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

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

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

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

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

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 для підвищення безпеки та надійності своїх крос-чейн операцій.

**Більше інформації про проект ви можете знайти за посиланнями нижче:**

**Твіттер:** [https://x.com/HaustNetwork](https://x.com/HaustNetwork)

**Діскорд:** [https://discord.com/invite/QWGxjTXD8N](https://discord.com/invite/QWGxjTXD8N)

**Веб-сайт:** [https://haust.network/](https://haust.network/)

**Телеграм:** [https://t.me/haustnetwork](https://t.me/haustnetwork)

---

*Originally published on [JulyK](https://paragraph.com/@julyk/agglayer)*