區塊鏈:以太坊Layer 2 擴容，V神為什么偏愛ZK rollup ？_roll幣可以roll坐騎嗎

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

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

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

以太坊DeFi協議Cream Finance遭受攻擊，損失1.15億美元:金色財經報道，DeFi借貸協議CreamFinance再次遭受攻擊，損失達1.15億美元。被盜的資金主要是CreamLP代幣和其他ERC-20代幣。PeckShield發現了一筆用于實施這一攻擊行為的大額閃電貸。根據區塊鏈記錄，9200萬美元被盜到一個地址，2300萬美元被盜到另一個地址，盡管這些資金現在被轉移到不同的錢包中。根據Rekt的排行榜，這是有史以來第三大DeFi黑客攻擊（盡管兩個更大的黑客攻擊事件都有資金返還）。（TheBlock）[2021/10/28 6:16:25]

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

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

有多少人？

以太坊Layer2總鎖倉量接近50億美元，創歷史新高:11月3日消息，據L2BEAT數據顯示，以太坊Layer2總鎖倉量達49.4億美元，創歷史新高。其中鎖倉量最高的為擴容方案Arbitrum，約27.2億美元，占比59.21%。其次是dYdX，鎖倉量10.1億美元，占比20.41%。Optimism鎖倉量4.74億美元，占比9.61%。[2021/11/3 21:21:49]

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

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

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

以太坊2.0客戶端Nimbus發布v1.4.0版本:以太坊2.0客戶端Nimbus發布v1.4.0版本，改進了證明有效性、CPU使用率、RPC APIs，以及為重構的驗證節點客戶端做準備。[2021/6/23 0:00:22]

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

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

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

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

加拿大首支以太坊ETF已獲監管批準:Purpose Investment Inc.表示，該公司以太坊 ETF（ETHH）已獲得加拿大證券監管部門批準，系加拿大首支以太坊 ETF。[2021/4/17 20:29:43]

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

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

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

以太坊ERC-721智能合約數量創歷史新高:金色財經報道，CoinMetrics周二發布的報告顯示，由于最近的“NFT熱潮”，以太坊上ERC-721智能合約的數量達到了約19000的歷史新高。研究人員指出，NFT市場仍有很大的增長空間。[2021/3/26 19:19:15]

除了"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：以太坊區塊鏈ROLLROL以太坊價格今日行情美元區塊鏈dapp開發一個多少錢roll幣可以roll坐騎嗎roll幣怎么用

FTT