Анализ протокола проверки BOLD: как сделать Arbitrum более децентрализованным?

Автор: @francescoweb3 / Источник:

Перевод: Huohuo/Блокчейн на местном языке

**Arbitrum становится все более децентрализованным: использование BOLD для проверки без разрешения. ** Хотя это может быть не неделя с таким именем, как BALD, это серьезное обновление дизайна Arbitrum ⬇️

Жирный шрифт означает задержку ограниченной ликвидности, и, как следует из названия, это «протокол спора», который предоставляет Arbitrum возможности проверки без разрешения.

1. Зачем нужен BOLD?

Проще говоря, все оптимистичные роллапы фиксируют свое состояние на Ethereum. **Как они гарантируют, что транзакция действительна? Через так называемую систему защиты от мошенничества. **

На практике это происходит через набор сущностей, называемых валидаторами. Эти валидаторы выдают заявления о состоянии L2 и подтверждают с помощью смарт-контрактов, что эти утверждения верны.

Затем есть 7-дневный период оспаривания (или период охлаждения), в течение которого другие валидаторы могут фактически оспорить эти претензии, и, если есть несоответствие, инициируется процесс разрешения спора.

Если претензия подтверждена, состояние L2 считается правильным, и расчет в Ethereum завершен.

Это процесс проверки с помощью доказательства мошенничества, который вызывает ~ 7-дневную задержку в изначальном соединении между Arbitrum и Ethereum ⏰.

В протоколе спора стороны представляют доказательства мошенничества в Ethereum, чтобы определить действительный результат транзакции L2.

**В чем проблема? В настоящее время для проверки с помощью доказательств мошенничества требуется разрешение как на Arbitrum One, так и на Nova. **

Это делается для защиты протокола спора от атак типа «отказ в обслуживании». Если злонамеренный валидатор продолжит тратить средства, чтобы препятствовать подтверждению претензий, вывод L2 в Ethereum будет заблокирован, и пока у них достаточно средств, этот процесс может продолжаться почти долгое время.

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

Действительно, для перехода к проверке без разрешения требуется протокол, устойчивый к атакам с задержкой, такой как BOLD.

BOLD — это новый метод проверки L2 без разрешения.

Это позволяет Арбитруму:

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

Фактически, BOLD может помочь децентрализовать сеть Arbitrum, предоставляя «фиксированное 7-дневное дополнительное отложенное подтверждение», которое невосприимчиво к атакам с задержкой.

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

Таким образом, BOLD может эффективно разрешать споры между несколькими сторонами в одном процессе, не полагаясь на предыдущие вызовы один на один.

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

Следовательно, любые споры, выделенные жирным шрифтом, связаны с «детерминированным» выполнением состояния L2, а не с конкретным стейкером или объектом.

Это означает, что любой, кто согласен с состоянием, может обосновать его до того, как найдет хоть одну точку несоответствия.

Поэтому, поскольку диспуты в BOLD ведутся в составе всей команды, любые согласованные действия, предпринятые от имени команды, поддерживаются каждым честным членом команды.

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

Этот дизайн более эффективен, потому что каждая сторона может «незаметно полагаться на других, чтобы они представляли ее позицию, не беспокоясь о том, что сторона преднамеренно не справится с задачей».

Глубокое понимание BOLD⬇️

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

Как этот процесс работает в фоновом режиме?

1. «Грань» — это основная структура данных в протоколе вызова.
2. Целью BOLD является подтверждение ребер, соответствующих правильным вычислениям, и предотвращение подтверждения любых неправильных ребер.
3. Жирный шрифт отслеживает состояние ребра, но не привязывает ребро к какой-либо конкретной стороне.
4. Края классифицируются по их отношению к правильному исполнению.
5. Протокол не знает, к какой категории относится ребро, но честные участники могут сказать.
6. Ребро имеет «Обязательство начала истории» и «Обязательство завершения истории».
7. Ребро доказуемо, если его начало и конец истинны, оно девиантно, если истинно только его начало, и нерелевантно, если оба ложны.
8. Чтобы обосновать протокол: 8.1 Теорема безопасности: никакое отклонение от любого запаса не может быть подтверждено. 8.2. Теорема о времени завершения. Честные ребра могут быть подтверждены до наступления крайнего срока.

BOLD Инфраструктура

2. Заключение

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