淺析BOLD驗證協議：如何使Arbitrum更去中心化？

作者：@francescoweb3 / 來源：

翻譯：火火/白話區塊鏈

**Arbitrum正在變得更加去中心化：使用BOLD進行無需許可的驗證。 **儘管這可能不是一個適合取名類似於BALD的周，但這是Arbitrum設計的重大更新⬇️

BOLD代表有限流動性延遲，正如其名所示，它是一種“爭議協議”，為Arbitrum提供了無需許可的驗證功能。

1、為什麼需要BOLD呢？

簡單來說，所有樂觀Rollup 都在以太坊上結算它們的狀態。 **他們如何確保交易是有效的？通過所謂的欺詐證明系統。 **

在實際操作中，這是通過一組名為驗證者的實體進行的。這些驗證者發布關於L2狀態的聲明，並通過智能合約確認這些聲明是真實的。

然後，會有一個為期7天的挑戰期（或冷卻期），在這期間其他驗證者可以實際上對這些聲明提出質疑，如果存在差異，就會啟動解決爭議的過程。

如果一項聲明得到確認，L2狀態就被視為正確，並在以太坊上結算完成。

正是通過欺詐證明的驗證過程導致在Arbitrum 和以太坊之間本地橋接需要大約7天的延遲⏰。

爭議協議涉及各方向以太坊提交欺詐證明，以確定L2 交易的有效結果。

**問題在於什麼呢？目前，通過欺詐證明的驗證在Arbitrum One和Nova上都是需要權限的。 **

這樣做的原因是為了保護爭議協議免受拒絕服務攻擊。如果一個惡意的驗證者不斷地花費資金來阻止聲明被確認，那麼L2到以太坊的提現就會被阻滯，而他們擁有足夠的資金，這個過程幾乎可以持續很長時間。

這被稱為延遲攻擊，它試圖通過“試圖阻止或延遲確認任何結果”來阻止Rollup 協議的進展。這種攻擊旨在阻礙驗證者提交欺詐證明，從而使L2狀態無法被確認和結算到以太坊。

實際上，轉向無需許可的驗證需要一個能夠抵禦延遲攻擊的協議，就像BOLD一樣。

BOLD是一種新的無需許可的L2驗證方法。

它使Arbitrum能夠：

• 💓 保證鏈的安全性和活躍性
• 🛰️ 將狀態結算的延遲降到最低
• ✋ 防止不誠實的參與方增加誠實參與方的成本。

事實上，BOLD能夠提供“固定的、上限為7天的額外延遲確認”，並且不會受到延遲攻擊的影響，從而有助於實現對Arbitrum鏈的去中心化。

它通過支持高效的“全對全爭議”實現這一目標，即即使只有一個誠實的驗證者，也可以在與任意數量的惡意聲明的爭議中獲勝。

因此，BOLD可以在一個過程中高效地解決多方之間的爭議，而不需要依賴之前的一對一挑戰。

BOLD要求所有支持特定聲明的各方“作為一個團隊”共同對抗。

因此，BOLD中的任何爭議都與L2狀態的“確定性”執行相關，而不是與特定的質押者或實體相關。

這意味著任何同意某個狀態的人都可以在找到單一不一致點之前為其辯護。

因此，由於BOLD中的爭議是作為整個團隊的一部分而進行的，任何代表團隊採取的協議行動都得到每個誠實團隊成員的支持。

正確的L2狀態的確定性特性意味著如果誠實的參與方參與其中，他們將始終獲勝，因為惡意方無法偽造交易執行的證明

這種設計更高效，因為每個參與方都可以“悄無聲息地依賴其他人代表其立場，而不必擔心該方會故意失敗挑戰”。

對BOLD的深入了解⬇️

與其被視為不同參與方之間的挑戰協議，BOLD協議應被理解為“邊緣”之間的競爭，參與者的目標是選擇正確的邊緣作為獲勝者。

在後台，這個過程是如何工作的呢？

1. "邊緣"是挑戰協議中的主要數據結構。
2. BOLD的目標是確認與正確計算相對應的邊緣，並防止確認任何不正確的邊緣。
3. BOLD跟踪邊緣的狀態，但不會將邊緣與任何特定的參與方聯繫起來。
4. 邊緣根據它們與正確執行的關係進行分類。
5. 協議不知道邊緣屬於哪個類別，但誠實的參與者可以判斷出來。
6. 邊緣具有“起始歷史承諾”和“終止歷史承諾”。
7. 如果邊緣的起始和結束都是正確的，則邊緣是可證明的；如果只有起始是正確的，則邊緣是偏離的；如果兩者都是錯誤的，則邊緣是無關的。
8. 為了證明該協議是正確的：8.1 安全性定理：不能確認任何偏離的邊緣。 8.2 完成時間定理：誠實的邊緣可以在某個截止日期之前被確認。

BOLD 基礎架構

2、結論

BOLD在確認結果方面實現了最佳的延遲邊界，並且還在對抗方沒收的利益上線性限制了誠實方所需的工作。