L2 網路安全性發展階段探析

以太坊 rollup 安全性的演進可分爲三個關鍵階段，主要取決於安全委員會對無信任組件的控制程度：

1. 階段 0：安全委員會擁有全面控制權。盡管可能存在證明系統，但僅具有諮詢性質，安全委員會可通過簡單多數表決推翻其決定。

2. 階段 1：需要75%（至少6/8）安全委員會成員批準才能覆蓋運行系統。要求在主要組織外有一定數量的成員以阻止操縱。

3. 階段 2：安全委員會僅能在明確的錯誤情況下採取行動，如兩個冗餘證明系統相互矛盾時。此時，安全委員會只能在提出的答案中選擇，而非任意決定。

這三個階段反映了安全委員會投票權重的逐步降低。從一個階段過渡到下一個階段的最佳時機取決於對證明系統的信任程度以及對安全委員會的信心。

爲了量化這一過程，我們可以建立一個簡化的數學模型，基於以下假設：

• 每個安全委員會成員有10%的獨立故障概率
• 活躍性故障和安全性故障被視爲同等可能
• 階段0採用4/7表決機制，階段1採用6/8機制
• 假設存在單一的整體證明系統

通過二項分布計算，我們可以得出不同階段下系統失敗的概率：

• 階段0：固定0.2728%的失敗概率
• 階段1：失敗概率取決於證明系統的可靠性
• 階段2：失敗概率與證明系統的失敗概率一致

研究表明，隨着證明系統質量的提升，最佳選擇從階段0逐步過渡到階段1，最終達到階段2。然而，這個模型存在一些局限性：

• 現實中，安全委員會成員並非完全獨立，可能存在共同模式故障
• 證明系統可能由多個獨立系統組成，降低了整體崩潰的可能性

考慮到這些因素，階段1和階段2比模型預測的更具吸引力。理論上，階段1的存在似乎不太必要，可以直接從階段0跳至階段2。但爲了應對緊急情況，可以授權單個安全委員會成員延遲提款1-2周，爲其他成員提供足夠的反應時間。

然而，過早進入階段2也存在風險，特別是如果這一過渡以犧牲底層證明系統的增強爲代價。理想情況下，數據提供商應展示證明系統的審計和成熟度指標，同時標明當前所處的階段。

總的來說，L2網路的安全性演進是一個復雜的過程，需要平衡證明系統的可靠性和安全委員會的作用。隨着技術的不斷進步，我們有望看到更安全、更去中心化的L2解決方案的出現。