盤點區塊鏈達成“免信任性”的六種模型_ROLL

作者:?Vitalik

翻譯&校對:?閔敏?&?阿劍

對于許多區塊鏈應用來說，免信任性?都是最重要的特征之一。所謂的免信任性，就是應用的正常工作不以特定參與者按特定方式行事為前提，即使他們將來會在利益的驅使下做出意料之外的舉動。區塊鏈應用永遠不可能實現完全免信任，但是有一些應用在免信任程度上遠遠高于另一些項目。如果我們想要朝著信任最小化邁出堅實的步伐，就得先辨別出信任程度的高低。

首先，我個人對信任的定義很簡單：信任就是對其他人行為的假設。在疫情爆發前，你不會因為害怕別人突然捅你一刀而與刻意跟他人保持兩米的距離。這就是一種信任：一方面是信任他人不會暴走，另一方面是信任法律制度對違法犯罪行為的約束力。當你運行其他人寫的一段代碼時，你相信他們是誠實的，至少有足夠多的人對這段代碼進行過審計，知道里面沒有bug。不自己種菜也是一種信任：相信會有足夠多的人為了賺錢而生產糧食。你可以信任不同群體，信任的類型也多種多樣。

V神盤點以太坊2020年進步，包括PoS測試網及MakerDAO等:V神在推文中列出以太坊在2017年沒有、但是在2020年擁有的東西： Uniswap；http://Tornado.cash；Status；MakerDAO；ZK Rollups（如Loopring），吞吐量超過2000 TPS；PoS測試網；叔塊率< 10%，區塊Gas上限為1000萬；Gitcoin贈款。[2020/3/28]

為了分析區塊鏈協議，我會將信任拆解成四個維度：

你需要多少人如你預期的那樣行事？

總參與人數有多少？

需要這些人出于什么動機如你預期的那樣行事？需要他們是利他主義者，還是唯利是圖者？是否需要避免他們之間產生協同？

動態 | 區塊鏈未能上榜漢語盤點2019年度國際詞:漢語盤點2019年度候選字詞中，巴黎圣母院、區塊鏈、貿易摩擦、黑洞照片、脫歐上榜國際詞。12月20日，國家語言資源監測與研究中心、商務印書館、央視新聞等單位聯合舉辦的“漢語盤點2018”揭曉儀式在北京舉行。最終，“奮”“改革開放四十年”“退”“貿易摩擦”分別當選年度國內字、國內詞、國際字、國際詞。（央視新聞）[2019/12/21]

如果這些假設被打破了，對系統的破壞有多大？

現在，先讓我們聚焦于前兩個問題。通過下圖，我們可以更加直觀地看出：

分析 | 交易所資金進出量全面下降 市場將迎來變盤點:據合約帝交易所鏈上轉賬報告顯示，截至北京時間7月24日18:00，今日BTC流入交易所15522個，較昨日下降29.2%，流出交易所21563個，較昨日下降13.39%。今日ETH流入交易所299081個，較昨日下降16.34%，流出交易所317349個，較昨日下降11.27%。合約帝入駐實盤分析師天啟資本分析認為，持續多日的震蕩行情依舊接近三角區間的末端，隨著交易所資金進出量和成交量的全方位下滑，近日市場將要迎來變盤點。[2019/7/24]

綠色越深表示越健康。讓我們詳細分析以下幾種情況：

1:1：整個系統只有一個參與者。如果這名參與者確實如你預期的那樣行事，系統就會正常運行。這就是傳統的“中心化”模型，也是我們所要超越的模型。

動態 | 證券日報發布2018年區塊鏈行業焦點盤點:證券日報發布《2018年區塊鏈行業焦點盤點：亂象頻發幣圈狼藉監管筑籬》文章稱，很多人將此輪區塊鏈熱潮與20年前的互聯網泡沫相比。可以確定的是，區塊鏈“泡沫”一定有，但區塊鏈能否如互聯網般改造世界，尚難下定論。監管部門去年以來重拳出擊，規范資本市場“炒鏈”行為，嚴厲懲治ICO。從中央到地方，掀起防范以“區塊鏈”名義進行非法集資的高潮，不斷給區塊鏈“排瘦身”。而瘦身后的區塊鏈也正逐步回歸理性——幣圈蕭條，市場開始重新審視以比特幣為代表的加密數字貨幣的價值與意義；去蕪存菁，越來越多的企業沉下心轉向技術應用開發；人才成本也擠出“泡沫”，回歸同行業正常水平。[2019/1/4]

N:N：“反烏托邦”世界。系統中的所有參與者都要如你預期的那樣行事，系統才能正常運行，如果有任意參與者失敗，那也沒有備份方案。

動態 | 老貓盤點2018年個人經歷：披露“李笑來欠3萬個比特幣”事件進展:12月31日訊，硬幣資本（INBlockchain）管理合伙人老貓發文回顧2018年個人經歷。文章中，老貓透露2018年由經濟下行個人資產也縮水一大半，但相對而言可能還說得過去，因為堅持3個投資方法：第一是不加杠桿，第二是主要持有主流品種，第三是配置。 文章中，老貓還就此前外界盛傳的“李笑來欠了3萬個比特幣”事件進行回應，同時披露最近進展。老貓表示，該事件最初源于2013年面向熟人圈開展的代理投資，當時所有合同以人民幣計價投資，每份10萬人民幣，但有的人當時給的是比特幣，“這個事情被一些黑子刻意的改頭換面，最后就變成笑來欠了30000個幣”。老貓透露，此事在2018年8月26日畫上了句號。[2018/12/31]

N/2:N：這是區塊鏈的運作方式——如果大部分礦工是誠實的，區塊鏈就能正常運作。要注意的是，N越大，N/2就越有價值。相比只由少量礦工/驗證者控制的區塊鏈，礦工/驗證者廣泛分布的網絡有趣得多。盡管如此，我們依然想要獲得更高的安全性，因為還有51%攻擊的問題存在。

1:N：在眾多參與者中，只要有一名參與者如你預期的那樣行事，整個系統就能正常運行。任何基于欺詐證明的系統都屬于這一類。可信設置也是如此，不過在可信設置中，N通常較小。要注意的是，N越大越好！

極少數:N：在眾多參與者中，只要有達到固定人數的小部分參與者如你預期的那樣行事，整個系統就能正常運行。數據可用性檢查就屬于這一類。

0:N：系統無需依賴外部參與者即可正常運行。自我驗證區塊有效性就屬于這一類。

盡管除“0:N”之外的模型都是建立在“信任”基礎上的，但是這些模型之間存在巨大差異！相信某個特定的人會如你所預期的那樣行事，和相信任何一個人都會如你所預期的那樣行事，二者之間有著天壤之別。相比“N/2:N”和“1:1”，“1:N”與“0:N”更為接近。或許有人會覺得“1:N”模型與“1:1”模型很像，因為這兩種系統都依賴一名參與者，但實際上它們之間迥然不同：在“1:N”系統中，如果這名參與者消失或作惡，換一名參與者即可；如果是“1:1”系統，你就只能束手無策。

尤其要注意的是，即使是你正在運行的軟件，其正確性通常也取決于“極少數:N”信任模型，以此確保軟件代碼出現bug時，會有人及時發現。在了解這一事實后，你就會發現，努力從“1:N”模型轉向“0:N”模型如同為敞開窗戶的房子安裝防盜門。

另一個重要的區別在于，如果你的信任假設被打破，對系統的破壞有多大？在區塊鏈上，最常見的兩種故障類型是活性故障?和?安全性故障。活性故障就是你暫時無法進行操作。安全性故障就是出現了系統想要預防的情況。

以下列舉了一些區塊鏈Layer2協議所采用的信任模型。我使用“smallN”來指代layer2系統本身的參與者集合，“bigN”來指代底層區塊鏈的參與者。我的假設是Layer2的社區總是小于其底層區塊鏈的社區。另外，我所謂的“活性故障”特指代幣長時間卡住的情況。無法使用系統但能即時提款的情況不算作活性故障。

Channel類：使用“1:1”信任模型來確保活性，“N/2:bigN”模型來確保安全性。

Plasma：使用“1:1”模型來確保活性，“N/2:bigN”模型來確保安全性。

Plasma：使用“N/2:smallN”模型來確保活性，“N/2:bigN”模型來確保安全性。

Optimisticrollup：使用“1:1”或“N/2:smallN”模型來確保活性，“N/2:bigN”模型來確保安全性。

ZKrollup：使用“1：smallN”模型來確保活性；不存在安全性故障風險。

ZKrollup：不存在活性故障風險和安全性故障風險。

最后是關于激勵的問題：為了達到預期的效果，你所信任的參與者需要非常利他主義，一般利他主義，還是理性主義？默認情況下，“欺詐證明”需要參與者是利他主義的，但是程度如何取決于計算的復雜性，而且有很多方法可以修改規則，使之變得理性。

如果我們增加一種方式來支付服務費，那么幫助他人從ZKrollup上取款的行為就是理性的，因此沒必要擔心無法退出rollup的問題。與此同時，如果整個社區都同意?不接受通過51%攻擊創建的區塊鏈，就可以減輕其它系統的風險。

結論：如果你聽到有人說某個系統“依賴于信任”，一定要問清楚！這個系統是“1:1”模型、“1:N”模型還是“N/2:N”模型？這個系統需要參與者是利他主義還是理性主義？如果是利他主義，參與者需要付出多大代價？如果假設被打破，那么你需要等待多久才能取回自己的資金？幾個小時？幾天？還是永遠無法取回？搞清楚了這些問題，你才能決定要不要使用這個系統。

原文鏈接:?https://vitalik.ca/general/2020/08/20/trust.html

Tags：區塊鏈ROLLSMAROL區塊鏈專業是冷門專業嗎BenjiRollssmars幣在哪個交易所roll幣在哪換

XRP