Vitalik分析：以太坊Rollup L2何時進(jìn)入階段1和階段2最佳
以太坊Rollup安全性的三個“階段”可以根據(jù)安全委員會何時被允許覆蓋無需信任（即純加密或博弈論）組件來描述：
階段 0：安全委員會擁有完全控制權(quán)?？赡艽嬖谝粋€證明系統(tǒng)（樂觀證明或零知識證明），但安全委員會可以通過簡單多數(shù)票推翻該系統(tǒng)。因此，該證明系統(tǒng)“僅供參考”。
階段1：安全委員會獲得 75%（至少 8 人中的 6 人）批準(zhǔn)即可推翻。達(dá)到法定人數(shù)阻止的子集（即 >= 3 人）必須位于主要組織之外。因此，推翻證明系統(tǒng)的門檻很高，但并非不可逾越。
階段2：只有在存在可證明的漏洞的情況下，安全理事會才能采取行動?？勺C明的漏洞可能是兩個冗余證明系統(tǒng)（例如OP和ZK）彼此不一致的情況。如果存在可證明的漏洞，它只能在提議的答案中選擇一個：它不能隨意回答。
我們可以用一張圖表來模擬這一情況，顯示安全理事會在每個階段的“投票份額”：
一個重要的問題是：L2從階段0進(jìn)入階段 1，以及從階段1進(jìn)入階段2何時是最佳的？
不立即進(jìn)入階段2的唯一正當(dāng)理由是，你并不完全信任證明系統(tǒng)——這種擔(dān)憂是可以理解的：它包含大量代碼，如果代碼被破解，攻擊者就有可能竊取所有用戶的資產(chǎn)。
你對證明系統(tǒng)越有信心（或者，反過來說，你對安全委員會越?jīng)]有信心），你就越想向右走。
事實證明，我們可以用一個簡化的數(shù)學(xué)模型來量化這一點。
讓我們列出假設(shè)：
每個安理會成員都有 10% 的獨立機(jī)會“崩潰”
我們將活躍性故障（拒絕簽名或密鑰無法訪問）和安全故障（簽名錯誤或密鑰被黑客入侵）視為同等可能發(fā)生的情況。實際上，我們只假設(shè)一種“故障”情況，即“故障”的安理會成員既簽署了錯誤的內(nèi)容，又未能簽署正確的內(nèi)容。
在階段0，安全理事會是 7 個中的 4 個，在階段1，安全理事會是 8 個中的 6 個。
我們假設(shè)一個單一的整體證明系統(tǒng)（而不是像 2/3 的設(shè)計那樣，如果雙方意見不一致，安全理事會可以中斷關(guān)系）。因此，在階段2，安全理事會根本不重要。
給定這些假設(shè)，并且給定證明系統(tǒng)崩潰的特定概率，我們希望最小化 L2 崩潰的概率。
我們可以用二項分布來做到這一點：
如果每個安全理事會成員都有 10% 的獨立崩潰概率，那么 7 個成員中至少有 4 個崩潰的概率是，階段0 Rollup 失敗的概率固定為 0.2728%。
如果證明系統(tǒng)失敗，并且安全委員會出現(xiàn) >= 3 次失敗，則階段1 Rollup可能會失敗，因此它無法覆蓋（概率 乘以證明系統(tǒng)失敗率），或者如果安全理事會發(fā)生 6 次以上失敗，并且可以自行強(qiáng)制給出錯誤答案（固定可能性）
階段2 Rollup 崩潰的概率恰好等于證明系統(tǒng)失效的概率
圖表形式如下：
正如推測的那樣，隨著證明系統(tǒng)質(zhì)量的提高，從階段 0 轉(zhuǎn)到階段 1，然后從階段 1 轉(zhuǎn)到階段 2的最佳時機(jī)上圖。
使用階段 0 質(zhì)量的證明系統(tǒng)執(zhí)行階段 2 是最糟糕的。
現(xiàn)在，請注意上述簡化模型中的假設(shè)非常不完善：
實際上，安全理事會成員并不是獨立的，并且存在“常見模式故障”：他們可能串通一氣，或者都以同樣的方式受到脅迫或黑客攻擊等。要求在主要組織之外設(shè)立一個法定人數(shù)阻止子集是為了緩解這種情況，但這還遠(yuǎn)遠(yuǎn)不夠完美。
證明系統(tǒng)本身可以是多個獨立系統(tǒng)的組合（這正是我在此前文章中倡導(dǎo)的 ）。在這種情況下，(i) 證明系統(tǒng)被攻破的概率最終會非常低；(ii) 即使在階段2，安全委員會也發(fā)揮著決定性作用，可以打破僵局。
這兩個論點都暗示階段1和階段2比圖表顯示的更具吸引力。如果你認(rèn)真計算一下，你會發(fā)現(xiàn)階段0幾乎永遠(yuǎn)沒有道理：你至少應(yīng)該直接進(jìn)入階段1。但有一個簡單的解決辦法：允許任何一個安理會成員將取款許可推遲1到2周，讓其他所有成員都有足夠的時間采取行動。
但與此同時，過快進(jìn)入階段2也是錯誤的 ，尤其是如果進(jìn)入階段2的工作是以犧牲強(qiáng)化底層證明系統(tǒng)的工作為代價的。理想情況下，像l2beat這樣的數(shù)據(jù)提供商應(yīng)該在階段推進(jìn)的同時，展示證明系統(tǒng)審計和成熟度指標(biāo)（最好是證明系統(tǒng)實現(xiàn)的審計和成熟度指標(biāo)，而不是整個 rollup 的審計和成熟度指標(biāo)，以便我們能夠重復(fù)使用）。
以上就是Vitalik分析：以太坊Rollup L2何時進(jìn)入階段1和階段2最佳的詳細(xì)內(nèi)容，更多關(guān)于你對安全委員會越?jīng)]有信心的資料請關(guān)注腳本之家其它相關(guān)文章！
你可能感興趣的文章
-
穩(wěn)定幣發(fā)行商Triple-A確認(rèn)國庫錢包嚴(yán)重違規(guī)致1180萬美元虧損，內(nèi)控缺陷
穩(wěn)定幣發(fā)行商Triple-A近日確認(rèn)其國庫錢包存在嚴(yán)重合規(guī)違規(guī)，導(dǎo)致高達(dá)1180萬美元的資產(chǎn)虧損,事件暴露出其資金管理與內(nèi)控機(jī)制的重大缺陷，引發(fā)市場對穩(wěn)定幣儲備透明度的質(zhì)疑,…
2026-07-27 -
Garden Finance屢遭攻擊禁用官方應(yīng)用，Blockaid報告45萬美元智能合約漏
Garden Finance因?qū)以夤粜冀霉俜綉?yīng)用，超七成鏈上交易涉被盜資金,同期Blockaid報告45萬美元智能合約漏洞被利用,兩起事件疊加敲響DeFi安全警鐘，用戶須警惕授權(quán)風(fēng)險、…
2026-07-27 -
受歐盟監(jiān)管升級與DMA落地影響，幣安（binance）應(yīng)用在多個歐盟國家Goog
幣安應(yīng)用在部分歐盟國家Google Play悄然下架,因未獲MiCA牌照，幣安7月起已暫停歐盟服務(wù),疊加歐盟對谷歌DMA重罰8.9億歐元，應(yīng)用商店審核趨嚴(yán)，合規(guī)壓力與渠道收窄雙重夾擊下…
2026-07-27 -
香港加密龍頭HashKey戰(zhàn)略整合：將多家區(qū)域性 交易所合并為統(tǒng)一平臺加速
香港加密龍頭HashKey宣布戰(zhàn)略整合，將旗下多家區(qū)域性 交易所合并為統(tǒng)一平臺，集中資源強(qiáng)化競爭力,此舉旨在優(yōu)化運(yùn)營效率、擴(kuò)大市場覆蓋，加速全球化布局，鞏固其在亞洲加密…
2026-07-27 -
監(jiān)管迷霧籠罩加密行業(yè)：BitMEX業(yè)務(wù)關(guān)閉多起訴訟逼近，《霍德勒文摘》7
《霍德勒文摘》7月26日聚焦加密行業(yè)監(jiān)管不確定性：市場清晰預(yù)期減弱，BitMEX關(guān)閉相關(guān)業(yè)務(wù)，多起訴訟逼近,監(jiān)管風(fēng)暴加劇行業(yè)合規(guī)壓力，法律風(fēng)險成為當(dāng)前市場焦點，投資者信心…
2026-07-27 -
Coinbase CEO力推AI代理金融新時代，Base鏈AI支付額突破1億美元大關(guān)
Coinbase CEO Brian Armstrong力推AI代理金融，稱AI代理需專屬金融體系,Base鏈AI支付額突破1億美元，超九成鏈上AI交易在此完成，x402協(xié)議處理逾億筆，USDC為核心結(jié)算工具，…
2026-07-27 -
巴西警方跨國加密貨幣調(diào)查破獲可走 私案，凍結(jié)數(shù)億美元涉毒加密資產(chǎn)
巴西警方在一項跨國加密貨幣調(diào)查中成功查獲可卡 因 走 私團(tuán)伙，凍結(jié)數(shù)億美元涉毒資產(chǎn),販 毒集團(tuán)利用加密貨幣及空殼公司洗錢，涉案規(guī)模龐大,此次行動彰顯巴西打擊加密洗錢與…
2026-07-27 -
傳統(tǒng)金融加速入場：BNY Mellon注冊MiCA，ESMA擴(kuò)容15家機(jī)構(gòu)
全球托管巨頭BNY Mellon旗下單位正式注冊MiCA合規(guī)框架，傳統(tǒng)金融加速入局,同期ESMA新增15家加密服務(wù)提供者，歐盟持牌機(jī)構(gòu)擴(kuò)容,MiCA全面落地后，合規(guī)競爭加劇，推動加密行業(yè)…
2026-07-27 -
Strategy雙軌資本運(yùn)作：出售MSTR股票募資數(shù)億，同步回購2500萬美元STRC
Strategy（MSTR）近期通過ATM計劃出售MSTR普通股募資約5.45億美元，同步斥資2500萬美元回購STRC優(yōu)先股,此舉優(yōu)化資本結(jié)構(gòu)、增強(qiáng)流動性，核心比特幣持倉84.38萬枚未減，戰(zhàn)略…
2026-07-27 -
穿越周期的確定性：火幣 HTX 構(gòu)建 C2C 全生命周期資產(chǎn)服務(wù)體系的過程
C2C 市場從來不缺流動性，不缺價格競爭,它真正缺的，是一個讓人放心的答案：這筆錢，能安全到賬嗎？火幣 HTX 給出的答案，是行業(yè)里第一個經(jīng)過驗證的“是”…
2026-07-27
