解析 Arbitrum 設計的重大更新:使用 BOLD 進行無許可驗證

2023-08-07 13:37 白話區塊鏈


作者:@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在確認結果方面實現了最佳的延遲邊界,並且還在對抗方沒收的利益上线性限制了誠實方所需的工作。

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

標題:解析 Arbitrum 設計的重大更新:使用 BOLD 進行無許可驗證

地址:https://www.sgitmedia.com/article/7146.html

相關閱讀: