以太坊聯(lián)合創(chuàng)始人 Vitalik 在 X 平臺(tái)發(fā)文,就社區(qū)成員 Daniel Wang 提出的 L2 網(wǎng)絡(luò) Stage 2 階段命名標(biāo)簽 #BattleTested 進(jìn)行了詳細(xì)回應(yīng)。他強(qiáng)調(diào),網(wǎng)絡(luò)安全并非僅取決于第二階段,底層證明系統(tǒng)的質(zhì)量同樣關(guān)鍵。
Vitalik 解釋道,這是一個(gè)簡(jiǎn)化的數(shù)學(xué)模型,用于展示何時(shí)進(jìn)入第二階段。模型假設(shè)每個(gè)安全理事會(huì)成員擁有 10% 的獨(dú)立「打破」機(jī)會(huì),并將活動(dòng)失?。ㄈ缇芙^簽名或密鑰不可訪問)與安全失?。ㄈ绾炲e(cuò)東西或密鑰被黑)視為同等可能。目標(biāo)是在此假設(shè)下最小化協(xié)議崩潰的可能性。具體而言,階段 0 安全理事會(huì)為 4/7,階段 1 為 6/8,但需注意這些假設(shè)存在較大局限性。
他進(jìn)一步指出,安理會(huì)成員存在「共同模式故障」風(fēng)險(xiǎn),例如成員可能串通一氣,或同時(shí)遭受脅迫或黑客攻擊。這些因素使得 0 階段和 1 階段實(shí)際安全性低于模型顯示,因此比模型暗示的更早進(jìn)入 2 階段更為穩(wěn)妥。此外,通過將證明系統(tǒng)本身設(shè)計(jì)為多重簽名結(jié)構(gòu),可以顯著降低證明系統(tǒng)崩潰的概率——這也是他在此前提案中提倡的方法。Vitalik 認(rèn)為,未來幾年的所有第二階段部署都可能采用類似設(shè)計(jì)。
他補(bǔ)充了一張圖表,X 軸代表證明系統(tǒng)崩潰的概率,Y 軸代表協(xié)議崩潰的概率。隨著證明系統(tǒng)質(zhì)量的提升,最佳階段會(huì)從階段 0 轉(zhuǎn)移到階段 1,再?gòu)碾A段 1 轉(zhuǎn)移到階段 2。而使用階段 0 質(zhì)量的證明系統(tǒng)進(jìn)行階段 2,則是最不理想的選擇。
最后,Vitalik 建議@l2beat 理想情況下應(yīng)展示證明系統(tǒng)審計(jì)和成熟度指標(biāo),最好針對(duì)證明系統(tǒng)實(shí)現(xiàn)而非整體匯總,以便實(shí)現(xiàn)資源重用,并明確標(biāo)注各階段信息。
本文網(wǎng)址:http://iy168.cn/kuai/3816.html