Аналіз протоколу верифікації BOLD: як зробити Arbitrum більш децентралізованим?

Автор: @francescoweb3 / Джерело:

Переклад: Huohuo/Blockchain на народній мові

**Arbitrum стає децентралізованішим: використання жирного шрифту для перевірки без дозволу. **Хоча це може бути не тиждень з такою назвою, як БАЛД, це велике оновлення дизайну Arbitrum ⬇️

BOLD означає Bounded Liquidity Delay, і, як випливає з назви, це «протокол суперечок», який надає Arbitrum можливості перевірки без дозволу.

1. Навіщо вам ЖИРЛИВИЙ шрифт?

Простіше кажучи, усі оптимістичні Rollups встановлюють свій стан на Ethereum. **Як вони гарантують дійсність транзакції? Через так звану систему захисту від шахрайства. **

На практиці це відбувається за допомогою набору сутностей, які називаються валідаторами. Ці валідатори видають заяви про стан L2 і підтверджують за допомогою смарт-контрактів, що ці заяви правдиві.

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

Якщо претензію підтверджено, стан L2 вважається правильним, і розрахунок на Ethereum завершено.

Саме процес перевірки за допомогою захисту від шахрайства спричиняє ~7-денну затримку в нативному з’єднанні між Arbitrum та Ethereum ⏰.

Протокол розгляду суперечок передбачає надання сторонами доказів шахрайства в Ethereum для визначення дійсного результату транзакції L2.

**В чому проблема? Наразі перевірка за допомогою доказів шахрайства потребує дозволу як на Arbitrum One, так і на Nova. **

Причиною цього є захист протоколу диспуту від атак на відмову в обслуговуванні. Якщо зловмисний валідатор продовжує витрачати кошти, щоб запобігти підтвердженню претензій, виведення L2 на Ethereum буде заблоковано, і, хоча у нього достатньо коштів, цей процес може тривати майже довго.

Це називається атакою із затримкою, і вона намагається зупинити виконання протоколу Rollup шляхом «спроби запобігти або затримати підтвердження будь-яких результатів». Ця атака розроблена, щоб запобігти валідаторам подавати шахрайські докази, щоб стан L2 не міг бути підтверджений і встановлений для Ethereum.

Дійсно, перехід до перевірки без дозволу потребує протоколу, стійкого до атак із затримкою, наприклад BOLD.

BOLD — це новий метод перевірки L2 без дозволу.

Це дозволяє Arbitrum:

• 💓 Гарантія безпеки та живучості ланцюга
• 🛰️ Мінімізуйте затримку державного розрахунку
• ✋ Запобігайте нечесним сторонам збільшити витрати для чесних сторін.

Насправді BOLD може допомогти децентралізувати ланцюжок Arbitrum, забезпечуючи «фіксоване 7-денне додаткове відкладене підтвердження», яке захищено від атак із затримкою.

Це досягається завдяки ефективним «суперечкам від усіх до всіх», де навіть один чесний валідатор може виграти суперечку з будь-якою кількістю зловмисних заяв.

Таким чином, BOLD може ефективно вирішувати суперечки між кількома сторонами в одному процесі, не покладаючись на попередні виклики один на один.

BOLD просить усі сторони, які підтримують певну заяву, боротися разом «як команда».

Таким чином, будь-які суперечки, виділені жирним шрифтом, пов’язані з «детермінованим» виконанням стану L2, а не з конкретним учасником або організацією.

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

Тому, оскільки суперечки в BOLD ведуться як частина всієї команди, будь-які узгоджені дії, вжиті від імені команди, підтримуються кожним чесним членом команди.

Детермінований характер правильного стану L2 означає, що чесні сторони завжди виграють, якщо вони беруть участь, оскільки зловмисники не можуть підробити докази виконання транзакцій

Цей дизайн більш ефективний, тому що кожна сторона може «мовчки покладатися на те, що інші представляють її позицію, не турбуючись, що сторона навмисно провалить виклик».

Глибоке розуміння BOLD⬇️

Замість того, щоб розглядати його як протокол виклику між різними сторонами, протокол BOLD слід розуміти як змагання між «краями», де мета учасників — вибрати правильний край як переможець.

Як цей процес працює у фоновому режимі?

1. «Край» — основна структура даних у протоколі виклику.
2. Мета BOLD — підтвердити ребра, що відповідають правильним обчисленням, і запобігти підтвердженню будь-яких неправильних ребер.
3. BOLD відстежує стан краю, але не прив’язує його до будь-якої конкретної сторони.
4. Ребра класифікуються відповідно до їх співвідношення з правильним виконанням.
5. Протокол не знає, до якої категорії відноситься ребро, але чесні учасники можуть сказати.
6. Край має «Зобов’язання щодо початкової історії» та «Зобов’язання щодо кінцевої історії».
7. Ребро є доказовим, якщо його початок і кінець є істинними; воно є девіантним, якщо істинним є лише його початок; і воно не має значення, якщо обидва є хибними.
8. Для обґрунтування протоколу: 8.1 Теорема безпеки: не можна виявити відхилення від будь-якого запасу. 8.2 Теорема про час завершення: Чесні краї можуть бути підтверджені до закінчення певного терміну.

СМІЛА Інфраструктура

2. Висновок

BOLD досягає оптимальної межі затримки підтвердження результатів, а також лінійно обмежує роботу, необхідну чесним сторонам з точки зору вигод, конфіскованих протилежною стороною.