當前位置：主頁 > 區(qū)塊鏈 > 資訊 > 你對安全委員會越?jīng)]有信心

Vitalik分析：以太坊Rollup L2何時進入階段1和階段2最佳

2025-05-06 23:58:57 | 來源：本站整理 | 作者：佚名

我聽到的主要反對意見是：如果出現(xiàn)嚴重漏洞，讓8個安理會成員中的6個足夠快地簽署修復協(xié)議可能太難了,更多詳細資訊請看下面正文

以太坊Rollup安全性的三個“階段”可以根據(jù)安全委員會何時被允許覆蓋無需信任（即純加密或博弈論）組件來描述：

階段 0：安全委員會擁有完全控制權?？赡艽嬖谝粋€證明系統(tǒng)（樂觀證明或零知識證明），但安全委員會可以通過簡單多數(shù)票推翻該系統(tǒng)。因此，該證明系統(tǒng)“僅供參考”。
階段1：安全委員會獲得 75%（至少 8 人中的 6 人）批準即可推翻。達到法定人數(shù)阻止的子集（即 >= 3 人）必須位于主要組織之外。因此，推翻證明系統(tǒng)的門檻很高，但并非不可逾越。
階段2：只有在存在可證明的漏洞的情況下，安全理事會才能采取行動?？勺C明的漏洞可能是兩個冗余證明系統(tǒng)（例如OP和ZK）彼此不一致的情況。如果存在可證明的漏洞，它只能在提議的答案中選擇一個：它不能隨意回答。

我們可以用一張圖表來模擬這一情況，顯示安全理事會在每個階段的“投票份額”：

一個重要的問題是：L2從階段0進入階段 1，以及從階段1進入階段2何時是最佳的？

不立即進入階段2的唯一正當理由是，你并不完全信任證明系統(tǒng)——這種擔憂是可以理解的：它包含大量代碼，如果代碼被破解，攻擊者就有可能竊取所有用戶的資產(chǎn)。

你對證明系統(tǒng)越有信心（或者，反過來說，你對安全委員會越?jīng)]有信心），你就越想向右走。

事實證明，我們可以用一個簡化的數(shù)學模型來量化這一點。

讓我們列出假設：

每個安理會成員都有 10% 的獨立機會“崩潰”
我們將活躍性故障（拒絕簽名或密鑰無法訪問）和安全故障（簽名錯誤或密鑰被黑客入侵）視為同等可能發(fā)生的情況。實際上，我們只假設一種“故障”情況，即“故障”的安理會成員既簽署了錯誤的內(nèi)容，又未能簽署正確的內(nèi)容。
在階段0，安全理事會是 7 個中的 4 個，在階段1，安全理事會是 8 個中的 6 個。
我們假設一個單一的整體證明系統(tǒng)（而不是像 2/3 的設計那樣，如果雙方意見不一致，安全理事會可以中斷關系）。因此，在階段2，安全理事會根本不重要。

給定這些假設，并且給定證明系統(tǒng)崩潰的特定概率，我們希望最小化 L2 崩潰的概率。

我們可以用二項分布來做到這一點：

如果每個安全理事會成員都有 10% 的獨立崩潰概率，那么 7 個成員中至少有 4 個崩潰的概率是，階段0 Rollup 失敗的概率固定為 0.2728%。
如果證明系統(tǒng)失敗，并且安全委員會出現(xiàn) >= 3 次失敗，則階段1 Rollup可能會失敗，因此它無法覆蓋（概率乘以證明系統(tǒng)失敗率），或者如果安全理事會發(fā)生 6 次以上失敗，并且可以自行強制給出錯誤答案（固定可能性）
階段2 Rollup 崩潰的概率恰好等于證明系統(tǒng)失效的概率

圖表形式如下：

正如推測的那樣，隨著證明系統(tǒng)質量的提高，從階段 0 轉到階段 1，然后從階段 1 轉到階段 2的最佳時機上圖。

使用階段 0 質量的證明系統(tǒng)執(zhí)行階段 2 是最糟糕的。

現(xiàn)在，請注意上述簡化模型中的假設非常不完善：

實際上，安全理事會成員并不是獨立的，并且存在“常見模式故障”：他們可能串通一氣，或者都以同樣的方式受到脅迫或黑客攻擊等。要求在主要組織之外設立一個法定人數(shù)阻止子集是為了緩解這種情況，但這還遠遠不夠完美。
證明系統(tǒng)本身可以是多個獨立系統(tǒng)的組合（這正是我在此前文章中倡導的）。在這種情況下，(i) 證明系統(tǒng)被攻破的概率最終會非常低；(ii) 即使在階段2，安全委員會也發(fā)揮著決定性作用，可以打破僵局。

這兩個論點都暗示階段1和階段2比圖表顯示的更具吸引力。如果你認真計算一下，你會發(fā)現(xiàn)階段0幾乎永遠沒有道理：你至少應該直接進入階段1。但有一個簡單的解決辦法：允許任何一個安理會成員將取款許可推遲1到2周，讓其他所有成員都有足夠的時間采取行動。

但與此同時，過快進入階段2也是錯誤的，尤其是如果進入階段2的工作是以犧牲強化底層證明系統(tǒng)的工作為代價的。理想情況下，像l2beat這樣的數(shù)據(jù)提供商應該在階段推進的同時，展示證明系統(tǒng)審計和成熟度指標（最好是證明系統(tǒng)實現(xiàn)的審計和成熟度指標，而不是整個 rollup 的審計和成熟度指標，以便我們能夠重復使用）。

以上就是Vitalik分析：以太坊Rollup L2何時進入階段1和階段2最佳的詳細內(nèi)容，更多關于你對安全委員會越?jīng)]有信心的資料請關注腳本之家其它相關文章！

免責聲明：本文只為提供市場訊息，所有內(nèi)容及觀點僅供參考，不構成投資建議，不代表本站觀點和立場。投資者應自行決策與交易，對投資者交易形成的直接或間接損失，作者及本站將不承擔任何責任。！

Tag：以太坊