Vitalik 公開以太坊 Rollup 過渡數學模型:分三階段邁向「完全去中心化」

以太坊創辦人 Vitalik Buterin 再次強調,以太坊 Rollup 去中心化的時機應取決於證明系統(Proof System)的可靠性和安全委員會(Security Council)的風險比較。他通過數學模型分析,隨著證明系統品質提升,最佳階段逐步從第零階段(完全中心化)轉向第一階段(部分去中心化),再到第二階段(完全去中心化)。
(前情提要:Vitalik 數學模型揭秘:Rollup何時邁向「完全去中心化」?系統安全是關鍵
(背景補充:EVM該退場了!Vitalik提案改用RISC-V,ZK證明效能可提升百倍以上

 

太坊創辦人 Vitalik Buterin 近期與 Loopring 協議創辦人 Daniel Wang,在 X 平台討論了 Rollup 去中心化的時機問題,Vitalik 強調,Rollup 去中心化的時機應基於證明系統(Proof System)的可靠性,只有當其故障機率低於中心化風險時才適合進入 Stage 2。

為了進一步解釋自己的觀點,Vitalik 昨(6)日再次撰寫文章,就自己在 X 平台上的回應進行擴展,再次強調以太坊 Rollup 去中心化的時機(從第零階段進展到第一階段,再到第二階段)應取決於證明系統(Proof System)的可靠性和安全委員會(Security Council)的風險比較。

動區將 Vitalik 的原文編譯整理如下。

以太坊 Rollup 階段過渡的數學模型:何時進入第一階段與第二階段

以太坊 Rollup 安全性的三個「階段」(Stages)可根據安全委員會(Security Council)何時能覆蓋無需信任(Trustless,即純粹的密碼學或博弈論)組件來描述:

我們可以用圖表展示每個階段安全委員會的「投票份額」(Share of the Vote):


一個重要問題是: L2 何時應從第零階段過渡到第一階段,再從第一階段過渡到第二階段?

唯一不立即進入第二階段的正當理由是對證明系統缺乏完全信任 —— 這是可以理解的擔憂:證明系統包含大量程式碼,若程式碼出現問題,攻擊者可能竊取所有用戶資產。你對證明系統的信心越高(或者對安全委員會的信心越低),你就越傾向於向右移動(即更去中心化)。

事實上,我們可以用一個簡化的數學模型(Mathematical Model)來量化這一點。首先,列出假設:

在這些假設下,給定證明系統故障的特定機率,我們希望最小化 L2 故障的機率。

我們可以通過二項分佈(Binomial Distributions)進行計算:

以下為圖表形式:

正如預測,隨著證明系統品質提高,最佳階段從第零階段轉向第一階段,再從第一階段轉向第二階段。使用第零階段品質的證明系統進行第二階段是最糟糕的。

需要注意的是,上述簡化模型的假設非常不完美:

這兩個論點表明,第一階段和第二階段比圖表顯示的更具吸引力。若嚴格依據數學模型,第零階段幾乎從未合理:你應至少直接進入第一階段。反對此觀點的主要論點是:若發生關鍵漏洞(Critical Bug),可能難以快速集齊 8 人中 6 人簽署以修復問題。但有一個簡單的解決方法:授予單一安全委員會成員延遲提款(Withdrawals)1 至 2 週的權限,給予其他人足夠時間採取行動。

然而,過快跳到第二階段也是錯誤的,特別是若為了進入第二階段而犧牲了強化底層證明系統的工作。理想情況下,像 L2Beat 這樣的數據提供者應展示證明系統的審計(Audits)和成熟度指標(Maturity Metrics,最好針對證明系統實現,而非整個 Rollup,以便重複使用),並與階段一同顯示。

文章來源