作者：Vitalik，Ethereum創(chuàng)始人；編譯：AIMan@金色財(cái)經(jīng)

本文為在早期草案基礎(chǔ)上進(jìn)行的擴(kuò)展。

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

階段0：安全委員會(huì)擁有完全控制權(quán)。可能存在一個(gè)證明系統(tǒng)（樂觀證明或零知識(shí)證明），但安全委員會(huì)可以通過簡(jiǎn)單多數(shù)票推翻該系統(tǒng)。因此，該證明系統(tǒng)“僅供參考”。

階段1：安全委員會(huì)獲得75%（至少8人中的6人）批準(zhǔn)即可推翻。達(dá)到法定人數(shù)阻止的子集（即>=3人）必須位于主要組織之外。因此，推翻證明系統(tǒng)的門檻很高，但并非不可逾越。

階段2：只有在存在可證明的漏洞的情況下，安全理事會(huì)才能采取行動(dòng)。可證明的漏洞可能是兩個(gè)冗余證明系統(tǒng)（例如OP和ZK）彼此不一致的情況。如果存在可證明的漏洞，它只能在提議的答案中選擇一個(gè)：它不能隨意回答。

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

正如推測(cè)的那樣，隨著證明系統(tǒng)質(zhì)量的提高，從階段0轉(zhuǎn)到階段1，然后從階段1轉(zhuǎn)到階段2的最佳時(shí)機(jī)上圖。使用階段0質(zhì)量的證明系統(tǒng)執(zhí)行階段2是最糟糕的。

現(xiàn)在，請(qǐng)注意上述簡(jiǎn)化模型中的假設(shè)非常不完善：

實(shí)際上，安全理事會(huì)成員并不是獨(dú)立的，并且存在“常見模式故障”：他們可能串通一氣，或者都以同樣的方式受到脅迫或黑客攻擊等。要求在主要組織之外設(shè)立一個(gè)法定人數(shù)阻止子集是為了緩解這種情況，但這還遠(yuǎn)遠(yuǎn)不夠完美。

證明系統(tǒng)本身可以是多個(gè)獨(dú)立系統(tǒng)的組合（這正是我在此前文章中倡導(dǎo)的）。在這種情況下，(i)證明系統(tǒng)被攻破的概率最終會(huì)非常低；(ii)即使在階段2，安全委員會(huì)也發(fā)揮著決定性作用，可以打破僵局。

這兩個(gè)論點(diǎn)都暗示階段1和階段2比圖表顯示的更具吸引力。如果你認(rèn)真計(jì)算一下，你會(huì)發(fā)現(xiàn)階段0幾乎永遠(yuǎn)沒有道理：你至少應(yīng)該直接進(jìn)入階段1。我聽到的主要反對(duì)意見是：如果出現(xiàn)嚴(yán)重漏洞，讓8個(gè)安理會(huì)成員中的6個(gè)足夠快地簽署修復(fù)協(xié)議可能太難了。但有一個(gè)簡(jiǎn)單的解決辦法：允許任何一個(gè)安理會(huì)成員將取款許可推遲1到2周，讓其他所有成員都有足夠的時(shí)間采取行動(dòng)。

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