以太坊:Vitalik對“信任模型”的思考

許多區塊鏈應用程序最有價值的屬性之一就是去信任：應用程序能夠以預期的方式繼續操作，而不需要依賴特定的參與者以特定的方式進行操作。

即使他們的利益可能會改變，并推動他們在未來以一些不同的意想不到的方式行事。

區塊鏈應用程序從來不是完全去信任的，但是有些應用程序比其他應用程序更接近去信任。如果我們想使信任最小化變成現實，我們需要有能力去比較不同程度的信任。

首先，我對信任的簡單一句話的定義：信任是對他人行為的任何假設的使用。

當我們運行一段別人寫的代碼，是我們相信他們誠實的寫了代碼，或者至少存在足夠多的人檢查了這段代碼。

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

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

Vitalik Buterin：賬戶抽象可為以太坊帶來數十億美元的收益:金色財經報道，最近在巴黎舉行的以太坊社區會議（EthCC）上的一次演講中，以太坊創始人Vitalik Buterin詳細介紹了賬戶抽象升級如何讓用戶用用于交易的代幣支付Gas費，從而吸引數十億人使用以太坊。帳戶抽象使用戶能夠從外部擁有的錢包（EOA）切換到基于智能合約的錢包。如果此次升級成功，錢包管理將比現在更加高效和輕松。Buterin和社區相信，這可以使加密技術得到廣泛采用。

此外，加密貨幣領域充斥著丟失助記詞或助記詞被盜的用戶。通過賬戶抽象，用戶可以創建充當可編程智能合約的非托管錢包。據報道，錢包恢復只是此次新升級帶來的眾多功能之一。Buterin相信此次升級可以給以太坊帶來數十億美元的收益。[2023/7/20 11:05:50]

其中的多少個?

Vitalik Buterin：基于MPC的EOA錢包有根本缺陷，智能合約錢包是唯一選擇:6月29日消息，以太坊創始Vitalik Buterin發推回應如何看待基于MPC（EOA）的錢包與智能合約錢包的優缺點時表示，基于MPC的EOA錢包存在根本缺陷，因為它們無法撤銷密鑰（重新共享不算在內；舊持有者仍然可以恢復密鑰），智能合約錢包是唯一的選擇。[2023/6/29 22:07:37]

這些人的行為需要什么樣的動機?他們需要利他主義，還是僅僅追求利益?

如果違背這些假設，系統會有多糟糕?

現在，讓我們關注前兩個。我們可以畫一個圖：

Vitalik：未來2到3年，以太坊將更便宜、生態系統更有趣:7月24日，“2021世界區塊鏈大會·杭州”在杭州未來科技城學術交流中心開幕。

在今天上午的開幕式上，以太坊創始人Vitalik Buterin受邀出席并發表主題演講《以太坊進入2.0之后，會發生什么？》。他講到，以太坊的基本技術愿景是試圖在短期內快速改進，并在長期內穩定下來。因為從長遠來看，我認為區塊鏈確實需要安定下來，變得更加穩定，確實需要向用戶做出更多的保證，保證事情不會發生變化，這樣用戶才能感到安全并在此基礎上做出發展。但在短期內，這些技術都已經被開發出來了。我認為在未來的2到3年里，我們會看到使用以太坊會變得更加便宜，我們將會看到更多不同種類的應用使用以太坊，以太坊生態系統將變得更加有趣。[2021/7/24 1:12:54]

越綠越好。讓我們更詳細地探討這些類別：

金色財經現場報道 以太坊創始人Vitalik Buterin對Casper與分片技術最新進展做出演講 :金色財經6月3日現場報道，在今天的以太坊技術及應用大會上，以太坊創始人Vitalik Buterin做了題為“Casper與分片技術最新進展”的主題演講。第一步為存款:簽名和公鑰地址不一定是一樣的，可以讓別人為你參加共識機制，能用熱錢包簽名，將資金留在冷錢包中。完成取款，第二步為等待加入，可能需要一天時間（還不完全確定）第三步為參加驗證機制：驗證節點有兩個作用：敲定主鏈的區塊，驗證分片上的區塊。[2018/6/3]

1-of-1：只有一個參與者，當(且僅當)一個參與者執行我們所期望的操作時，系統才會工作。這是傳統的“中心化”模式，也是我們努力做得更好的地方。

Vitalik Buterin提出加密經濟學提案對抗虛假信息:2月25日，在泰國曼谷舉辦的亞太以太坊社區大會上，以太坊創始人Vitalik Buterin進行了題為Cryptoeconomics to Save the Internet的演講。在演講中，他將目光放在了最近推特冒充本人賬號詐騙以太幣的虛假消息事件，提出賦予用戶代幣的提案來審查辨別虛假信息并加以懲罰的加密經濟學提案。Buterin指出，這群狡詐的騙子通過在推特上冒充他本人及其他區塊鏈業內人士，并用虛假的點贊、轉發和評論來偽裝這些虛假賬戶的有效性，以此來騙取個人用戶的虛擬貨幣。他認為，這些虛假新聞引起的詐騙行為能夠以自區塊鏈行業發展起來的加密經濟學來進行對抗。[2018/2/27]

N-of-N：“反烏托邦”世界。我們依賴于一大堆參與者，所有參與者都需要按照預期的方式工作，以便使一切正常運行，如果其中有任何一個失敗，則沒有兜底。

N/2-of-N：這就是區塊鏈的工作方式——如果大多數礦工(或PoS驗證者)是誠實的，它們就會工作。注意N/2-of-N的值會隨著N的增大而變大；一個由少數礦工/驗證者控制其網絡的區塊鏈比一個由廣泛分布的礦工/驗證者控制的區塊鏈有趣得多。也就是說，我們想要提高這一級別的安全，就需要擔心如何在51%攻擊中幸存下來。

1-of-N：存在許多參與者，只要其中至少有一個人按照我們的期望行事，系統就會正常運行。任何基于欺詐證明的系統都屬于這一類，可信設置也是如此，盡管在這種情況下，N通常更小。請注意，我們確實希望N盡可能大!

N中的少數：有很多參與者，只要他們中至少有一小部分人按照我們的期望去做，系統就會正常工作。數據可用性檢查屬于這一類。

0-of-N：系統按照預期工作，不依賴任何外部參與者。通過自己檢查來驗證一個區塊就屬于這一類。

上面這些類別彼此之間是非常不同的。

相信某個特定的人(或組織)會按照預期的方式工作，與相信某個地方的某個人會按我們的期望去做是非常不同的。

1-of-N可以說更接近于0-of-N，而不是N/2-of-N或1-of-1。1-of-N模型可能很像是1-of-1模型，但這兩個非常不同：在1-of-N系統中，如果我們參與者此刻突然消失或變邪惡，我們可以切換到另一個，而在1-of-1系統就完蛋了。

特別要注意的是，就算正在運行的軟件的正確性是依賴于“N中的少數”這個信任模型，也要去確保代碼中是否有會被別人找出的bug。

另一個重要的區別是：如果我們的信任假設被違背了，系統將如何失敗？在區塊鏈中，兩種最常見的故障類型是活性故障和安全故障。

活性故障是指我們暫時無法做我們想做的事情。例如，提幣，獲得包含在區塊中的交易，從區塊鏈讀取信息。

安全故障是指系統本想要阻止但卻主動發生了的事件。例如，無效區塊被包含在區塊鏈中。

下面是幾個區塊鏈L2協議的信任模型示例。我用“小N”表示第二層系統本身的參與者集合，用“大N”表示區塊鏈的參與者；通常假設第2層協議的社區比區塊鏈本身更小。

我還將“活性故障”一詞的使用限制在幣被長時間卡住的情況；不再能夠使用系統，但能夠近乎即時地提幣并不算活性故障。

Channels(包括statechannels，閃電網絡)：活性方面是1-of-1的信任模式。

Plasma：活性方面是1-of-1的信任模式(運營商可以暫時凍結我們的資金)，安全方面是N/2-of-大N的信任模式(區塊鏈51%攻擊)。

Plasma：活性方面是N/2-of-小N的信任模式，N/2-of-大N的信任模式。

Optimisticrollup：活性方面是1-of-1或N/2-of-小N的信任模式，N/2-of-大N的信任模式。

ZKrollup：活性方面是1-of-小N的信任模式(如果運營商沒有包含我們的交易，我們也可以提現，如果運營商沒有立即包含我們的提現，他們不能生產更多批次，我們可以借助rollup系統的任何全節點自行提現)；無安全故障風險。

ZKrollup(具有light-withdrawalenhancement功能)：無活性故障風險，無安全故障風險。

最后，還有激勵的問題：我們所信任的參與者需要非常利他才能像預期那樣行事，但是是稍微利他一點，還是需要足夠理性？

如果我們添加一種小額支付的方式，那么幫助他人從ZKrollup中提款是合理的，因此，真的沒有理由擔心我們無法在任何重要的使用中退出rollup。

與此同時，如果我們作為一個社區同意不接受51%的攻擊鏈，那么可以減輕其他系統的風險。

總結

當有人說一個系統“依賴于信任”時，需要更詳細地問他們是什么意思!是指1-of-1，還是1-of-N，還是N/2-of-N??他們要求這些參與者是無私的還是理性的?如果是利他主義，到底是小花費還是一個巨大花費?

如果這個假設被違背了——我們是只需要等幾個小時或幾天，還是我們的資產會永遠被卡住了？根據不同的答案，我們自己是否想要使用該系統的答案可能會非常不同。

Source：https://hackernoon.com/do-trust-models-deserve-their-title

Tags：以太坊區塊鏈TERRIN以太坊最新價格今天區塊鏈技術通俗講解無中介TERK價格Electrinity

SHIB最新價格