以太坊:以太坊Layer 2 擴容，V神為什么偏愛ZK rollup ？_ROL

注：原文作者是以太坊聯合創始人VitalikButerin。

很多區塊鏈應用最具價值的特征之一就是信任最小化：應用能夠以預期的方式繼續運行，而無需依賴特定參與者以特定的方式進行操作。區塊鏈應用從來都不是完全無需信任的，但有些應用要比其它應用更接近于無需信任。如果我們朝著信任最小化的方向發展，那我們要能夠比較不同程度的信任。

首先，我對信任的簡單定義是：信任是對他人行為的任何假設的運用。如果在新冠大流行之前，你走在街上而沒有確保與陌生人保持兩米的距離，他們也不會突然掏出刀子來捅你，這是一種信任：雙方都相信人們很少會完全精神錯亂，相信管理法律體系的人會繼續提供強有力的措施來反對這種行為。當你運行由他人編寫的一段代碼時，你可以相信他們誠實地編寫了這段代碼，或者至少是有足夠的人檢查該代碼，并發現到漏洞。不親自去種植自己的食物，也是一種信任的體現：你要相信足夠多的人會意識到種植食物符合他們的利益，以便將其出售給你。你可以信任不同規模的人群，并且有不同種類的信任。

以太坊PoW時代最終區塊由F2Pool挖出，高度為15537393:9月15日消息，據歐科云鏈數據顯示，以太坊于 14：43 達到 58,750,000,000T 終端總難度（TTD），以太坊 PoW 時代最終區塊由 F2Pool 挖出，高度為 15537393[2022/9/15 6:58:01]

為了分析區塊鏈協議，我傾向于將信任分成四個維度：

你需要多少人按照你的期望行事？

有多少人？

這些人的行為需要什么樣的動機？他們是否需要利他主義，還是只是尋求利潤？他們需要協調嗎？

如果違反這些假設，系統的失敗程度會有多嚴重？

現在，讓我們專注于前兩個，我們可以畫一張圖：

EthHub聯合創始人：EIP-1559、EIP-3074、EIP-3675是以太坊的神圣三位一體:EthHub聯合創始人Anthony Sassano在推特上表示，EIP-1559、EIP-3074、EIP-3675是以太坊的神圣三位一體。[2021/7/23 1:11:11]

圖中的顏色越綠，就代表越好。讓我們更詳細地探討信任類別：

1of1：只有一名參與者，并且系統僅當該參與者按照你的期望行事時才能正常工作。這是傳統的“中心化”模型，而這也是我們希望去嘗試替換的。

NofN：“反烏托邦”世界，你需要依靠一大堆參與者，并且所有參與者都需要按照預期的方式工作，才能使所有工作正常進行，而如果其中任何一個失敗，便意味著沒有后備人員。

分析師：基于以太坊的DeFi代幣9月初以來平均下跌30%:數據分析師Ceteris Paribus稱，自9月初以來，基于以太坊的DeFi代幣平均下跌了50%，但此后反彈了35%。其中Yearn.Finance（YFI）、Aave（LEND）和Loopring（LRC）表現最好，而Curve、Meta和Sushi表現最差，降幅均超過50%以上。Paribus表示：“從9月開始，DeFi代幣平均下跌50%。現在反彈了35%，但仍比9月1日下跌了30%。[2020/9/12]

N/2ofN：這就是區塊鏈的工作方式，如果大多數礦工是誠實的，那么區塊鏈便會工作。注意，N越大，N的N/2就變得越有價值。與擁有廣泛分布的礦工/驗證者的區塊鏈相比，具有少量礦工/驗證者主導網絡的區塊鏈就沒有那么有趣。也就是說，我們甚至希望提高這種安全級別，以抵御潛在的51%攻擊。

動態 | 以太坊繆爾冰川硬分叉預計1月2日進行:根據Ethernodes網站最新數據，根據平均出塊時間，繆爾冰川硬分叉預計2020年1月2日下午4:04進行，大約66%的節點已經準備好進行更改；34%的節點尚未做好準備。而大部分交易所、基礎設施提供商和礦池尚未為此次升級做好準備。[2019/12/30]

1ofN:參與者有很多，只要其中至少有一個按照你的期望運作，則系統就會正常工作。任何基于欺詐證明的系統都屬于這一類，可信設置也是如此，盡管在這種情況下，N通常更小。請注意，你確實希望N盡可能地大！

FewofN：參與者有很多，而只要他們當中至少有一小部分固定數量的參與者按照你的期望運作，則系統就會正常工作。數據可用性檢查就屬于這一類。

0ofN：系統始終會按預期工作，其不依賴任何外部參與者。通過自行檢查來驗證區塊就屬于此類。

動態 | 開源銀行Marble在以太坊主網中引入閃電貸款概念:7月17日消息，開源銀行Marble今日在推特上發布公告，根據公告，Marble推出了一個名為“閃存貸款”的新概念，任何人都可以借用以太幣和ERC-20代幣來利用以太坊區塊鏈的套利機會。為了實現這一目標，Marble開發了一個智能合約，可用于貸方的低風險協議。有了閃電貸款，開發商和交易員就可以輕松地從缺乏流動性的以太坊資產中獲利，而無需動用自己的資金。[2018/7/17]

除了"0ofN"之外的所有類別模型，實際上都可以被視為“信任”，但它們彼此之間有很大的不同。信任一個特定的人將按預期工作，與信任任何地方的某個人按你期望的那樣大不相同。可以說，"1ofN"要比"N/2ofN"或者"1of1"更接近于"0ofN"。而“1-of-N”的模型可能會讓人感覺像是“1of1”模型，因為這好像你是在信任一個單一的參與者，但兩者的實際情況卻大不相同：在“1-of-N”模型中。如果你正在與之合作的參與者消失了或者變壞了，你可以切換到另一個參與者，而在"1of1"模型系統中，遇到這種情況就意味著系統完蛋了。

特別要注意的是，即使是你正在運行的軟件的正確性，也通常取決于一個"fewofN"信任模型，以確保如果代碼中存在錯誤，就會有人找到它們并給予修正。

另一個重要的區別是：如果你的信任假設被破壞了，系統將會如何失敗？在區塊鏈中，兩種最常見的失效類型分別是活性失敗和安全性失敗。所謂活性失敗是指你暫時無法做你想做的事情。而安全性失敗是指系統要主動防止的某些活動發生了。

以下是一些區塊鏈Layer2協議的信任模型示例。其中“小N”指的是Layer2系統本身的參與者集合，而“大N”是指區塊鏈的參與者，并且我假設Layer2協議的社區總是比主鏈本身要小。我還將“活性失敗”一詞的使用，限制在幣被卡住很長時間的情況下。而不再能夠使用該系統，但能夠幾乎立刻取出并不算是活性失敗。

通道：活性信任屬于“1of1”模型，安全性信任屬于“N/2of大N”模型；

Plasma：活性信任屬于“1of1”模型，安全性信任屬于“N/2of大N”模型；

Plasma：活性信任屬于“N/2of小N”模型，安全性信任屬于“N/2of大N”模型；

Optimisticrollup：活性信任屬于“1of1”或“N/2of小N”模型，安全性信任屬于“N/2of大N”模型；

ZKrollup：活性信任屬于“1of小N”模型，ZKrollup沒有安全性失敗風險；

ZKrollup：無活性失敗風險，無安全性失敗風險；

最后，還有一個關于激勵的問題：你所信任的參與者，是否要非常利他主義才能按預期行事，或者只需要略微無私，還是足夠理性？尋找欺詐證明“默認”有點利他主義，盡管它的利他主義程度取決于計算的復雜性（參見《

驗證者的困境》一文），并且有多種方法可以修改游戲使其具有理性。

如果我們添加一種服務微支付方式，則協助他人退出ZKrollup總是合理的，因此，幾乎沒有理由去擔心無法退出rollup系統的情況。同時，如果我們作為一個社區同意不接受51%攻擊鏈，則這些攻擊鏈在歷史上要恢復得區塊太多，或者審查區塊的時間太長，則其他系統的更大風險就可得到緩解。

結論：當有人說一個系統“依賴于信任”，請更詳細地詢問他們的意思！他們是指的“1of1”，“1ofN”，還是“N/2ofN”？他們是要求這些參與者是利他主義者還是理性主義者？如果是利他主義，那會涉及一筆微不足道的開支，還是一筆巨大的開支？如果這個假設被違背了，你是需要等待幾個小時或幾天，還是你的資金會永遠被卡住？根據答案的不同，你對是否要使用該系統的答案，可能會大不相同。

Tags：以太坊區塊鏈ROLROLL以太坊幣今日價格行情非小號區塊鏈是什么多選題TrollCoinTROLLBNB價格

PEPE