“真理”不可能三角。區塊鏈中流傳著一個令許多人津津樂道的“真理”:不可能三角。很多項目方打著“打破不可能三角”、“突破不可能三角”的旗號也不絕于耳。人們始終認為,不可能三角問題就是區塊鏈當前面臨最大的問題,“打破它”是意件極具意義的事情。但是這很矛盾。科學意義上的“不可能”就是指無論如何也不可能,那它怎么可能“被打破”、“被突破”呢?
這不是一篇要蓋棺定論的文章,它的出發點是為了探討,探討區塊鏈領域一個幾乎人人都知曉的概念:不可能三角。
我們要探討它是一個真概念,還是一個偽概念。因為只有當我們分辨出真偽,不再聚焦、不再利用、不再浪費開發能力在偽上,才有可能去探索區塊鏈中真正需要被關注、被解決的問題。
本文分為三個部分,分別是:不可能三角的演變史;對不可能三角的質疑;分布式系統CAP定理是真正的不可能三角。
“以訛傳訛”的不可能三角演變史
區塊鏈不可能三角是指一個區塊鏈系統不可能同時滿足三個角,它必須以部分的犧牲某個角為代價,換取另外角的指標的提升。
1.長鋏版本
在中國,最早提出不可能三角理論的是長鋏。他在2014年發表了一篇名為《不可能三角形:安全,環保,去中心化》的文章,并引起了廣泛的討論。
不過,這篇文章討論的是加密貨幣的不可能三角,結論是“環保型密碼學貨幣”是不存在的。這與我們如今談論的不可能三角的適用領域完全不同。長鋏是這么描述不可能三角的:
數據:6月Solana鏈上NFT銷售額超6500萬美元,較上月增長逾50%:金色財經報道,據CryptoSlam出爐的6月鏈上NFT銷售數據顯示,6月Solana鏈上NFT銷售額達到67,597,357.79美元(交易量為857,917筆),雖然該指標較5月份44,852,015.74美元增長了約50.7%,但相比于年初 1 月超1.5億美元的鏈上NFT銷售額仍有較大差距,跌幅超過57%。[2023/7/1 22:12:00]
在此,我提出一個三元悖論:去中心化、安全、環保構成一個不可能三角形。
設計一個既環保又安全的密碼學貨幣,它必然是中心化的,比如PPcoin、Nextcoin、Ripple,它們要么本身就是中心化的架構,要么其去中心化的架構不可維持,它們本質上仍是和PayPal、網銀一樣的中心化驗證機制。
設計一個既環保又去中心化的密碼學貨幣,它必然是不安全的,比如IP投票制的P2P貨幣,中本聰起初就已排除了這種可能,他認為“如果決定大多數的方式是基于IP地址的,一IP地址一票,那么如果有人擁有分配大量IP地址的權力,比如僵尸網絡,就有可能主宰比特幣網絡”。
設計一個安全的去中心化貨幣,它必然是以付出能源與計算力為代價。工作量證明是以去中心化形式構建安全產權認證系統的第一個解決方案,也可能是唯一解決方案。
長鋏提出的“去中心化”和“安全”在用詞上與現今的流行版本一模一樣,但它們所代表的意義卻截然不同,長鋏版本中指的是貨幣的機制和貨幣的安全。
FTX.US前總裁:ETF的關鍵問題是BTC的受監管市場和重大規模的定義是什么:金色財經報道,FTX.US前總裁Brett Harrison在社交媒體上對外匯ETF的操作和監管與最近的現貨BTC ETF提案進行了比較。Harrison稱,有許多ETF追蹤外國貨幣的價格。這些ETF的結構通常是直接持有相關外匯的信托。其中一個例子是FXY,與BTC一樣,大多數即期外匯交易不受監管,尤其是在美國,市場監管權既不屬于SEC也不屬于CFTC的管轄范圍。雖然CFTC不監管外匯,但它對資產具有某些反欺詐權力,類似于它對現貨商品的權力,這些權力在2010年在當時的主席Gensler的領導下得到加強,以解決他所謂的最大的領域CFTC監管的零售欺詐。在SEC多次拒絕現貨BTC ETF提議中,主要理由是缺乏與標的資產或參考資產相關的具有顯著規模的受監管市場的監督共享協議。
許多人指出,貝萊德最近的現貨BTC ETF申請明確提到了與納斯達克就與現有現貨加密貨幣交易所運營商的監控共享協議進行合作的計劃。一個關鍵問題是BTC的受監管市場和重大規模的定義是什么,特別是當與外匯相似時,現貨商品交易通常不受SEC或CFTC監管。[2023/6/20 21:48:31]
2.VitalikButerin版本
流行版本的不可能三角理論來自“Vitalik”,是指一個區塊鏈系統無法同時兼顧去中心化、可擴展性、安全性,這個三角被廣泛地引用進了各種演講、報告、文章,甚至白皮書中。
Amber Group:Mai Finance金庫曾存在嚴重重入漏洞,項目方已部署新預言機合約:金色財經報道,Amber Group發文稱,其區塊鏈安全團隊于10月18日在零利率貸款協議Mai Finance的兩個金庫(SCSEMVT和YCSEMVT)中發現一個嚴重重入漏洞。該漏洞將允許攻擊者操縱抵押品價格,從池中借入所有資金并提走資金。
Amber Group在10月19日聯系QiDao團隊后,QiDao在10月20日提出解決方案并部署一個新的預言機合約。[2022/12/21 21:57:13]
但它真的是由Vitalik提出來的嗎?
該不可能三角發源于GitHub以太坊目錄下的一篇文章,名為《Onshardingblockchains》,文中首次提出了這個三元悖論。
這篇文章隸屬于以太坊的《ShardingFAQs》系列,由一位名叫JamesRay的團隊成員創建并維護。這個系列用來做什么?用來回答大家關于分片的種種問題。
也就是說,所謂的Vitalik提出的理論,其實只是以太坊團隊成員在一篇回答社區問題的文章中提及,不僅與Vitalik無關,不僅不是論文,它連主題性文章都算不上。但真相還不止于此。
為清晰起見,逐條說明關于“Vitalik”版不可能三角的一些事實。
1.原文用的是“Thissoundslikethere’ssomekindofscalabilitytrilemmaatplay”,再結合上下文,會發現不可能三角這一理論的提出是沒有經過任何邏輯的、系統的論證,作者只是列舉了一些問題后就提出了這個觀點。而且作者在文中用的就是不確定的表達,卻在后來被人們當作了無疑的真理。
BitMEX否認裁員30%,并將重新轉向衍生品交易:金色財經報道,加密貨幣交易所BitMEX的一位發言人表示,隨著重新專注于衍生品交易,它已經減少了其員工隊伍,裁員的程度沒有透露。BitMEX發言人反駁一份報告,該報告稱其30%的員工被解雇。
裁員是在上周首席執行官Alexander Hoeptner離職后發生的。Hoeptner取代了Arthur Hayes,Hayes在交易所任職期間違反美國銀行保密法(BSA),被判處12個月的緩刑令。Hoeptner在加入后宣布一項戰略,希望BitMEX\"不僅僅是一個衍生品交易所\",重點是現貨交易、托管和經紀業務。(coindesk)[2022/11/2 12:10:14]
2.原文的上下文都在討論“scalability”,甚至作者也稱其為“scalabilitytrilemma”,也就是說,這個三角本是針對“區塊鏈可擴展性”的,但卻被擴大到“區塊鏈”,從ScalabilityTrilemma演變成了BlockchainTrilemma。
3.對于三個角:Decentralization、Scalability、Security,作者給出了明確的定義,比如安全是“beingsecureagainstattackerswithuptoO(n)resources”。也就是說,作者的三角是限定狀態下,并基于這種限定狀態進行討論,但卻被擴大到無限定條件的區塊鏈。
歐易OKX推出行業首個透明資管工具:實時監控、權限控制、支持CeFi/DeFi組合:據官方消息,歐易OKX宣布推出行業首個透明資管工具—托管交易子賬戶。該功能為用戶(特別是項目方、資管及高凈值投資者)提供更簡單透明的子賬戶管理功能,可為子帳戶授予不同級別的訪問權限,支持一鍵終止托管,并兼容跨CeFi及DeFi的資產管理操作。 在歐易OKX,我們不會將任何客戶資金用于杠桿或交易。針對近期機構事件,歐易OKX認為目前行業的主要問題是缺乏可信賴的第三方來幫助控制風險、清算和審計,這對于減輕加密行業的系統性風險至關重要。[2022/6/21 4:42:50]
不過,“Vitalik”不可能三角最大的問題還不是上述事實,而是提出這個觀點的環境。它出現在用來介紹以太坊分片技術的文章中。
寫過論文的人知道,為了證明自己的研究解決了問題,第一步就是提出問題;為了證明自己的研究厲害,第一步就是把問題描述的很重要、很難解決。《Onshardingblockchains》這篇文章的結構正是如此。
首先通過對現狀的描述,給出“不可能三角”這個問題;接下來分析多種方法,指出別人無法解決這個問題;最后提出自己的方案,論證該方法可以如何完美地解決問題。
沒錯,如果耐心一些,把“Vitalik”提出不可能三角理論的文章看完,就會發現以太坊已經通過它的分片技術解決掉這個三角難題了。所謂的“不可能”,在它誕生的第一天就被論證為“可能”了。
JamesRay在文章中寫下這個不可能三角,只是為了論證以太坊通過分片技術可以實現可擴展性,只是為了證明wecanbreakthroughscalabilitytrilemma。
關于這個三角,文中定義清晰、描述嚴謹,并無問題,只是在后來被多維度誤解了。下圖是以太坊在這個問題上能實現的解決程度。
立不住腳的不可能三角
不可能三角得到廣泛的認可,除了與長鋏或Vitalik的知名度有關,更多的是因為這個理論看上去是正確的。但它真的經得起推敲嗎?
不妨重新思考三個問題:
什么叫去中心化?什么叫可擴展性?什么叫安全性?能確切的回答它們各自的含義嗎?如果一個理論中的概念都無法準確定義,該理論有什么價值?
把三個角變成兩個角,“不可能”的矛盾關系還存在嗎?把三個角變成四個角,“不可能”的矛盾關系還存在嗎?如果存在,提“不可能”三角的獨特意義何在?
不可能三角對區塊鏈項目的工程實現有什么實際的指導作用?
“可擴展性”在少數版本中被替換成了“性能”,但即使沒被替換,人們在語義上也是用“可擴展性”來指“性能”。但這兩個概念是不具備等價性的,擴展性只是提高性能的方法之一,性能只是擴展性實現的功能之一。下圖是常見的不可能三角的版本。
EOS的21個節點常被用來證明不可能三角的正確性,人們認為它是犧牲了“去中心化”,換來了“性能”,但當我們擔心EOS的“去中心化”時,擔心的是什么?擔心的是EOS因為中心化而不夠“安全”,去中心化與安全是緊密相關的。
“去中心化”和“性能”是不可能兩角的說法反而比不可能三角更為精準,僅僅兩角就能說明區塊鏈現階段的狀況。
另一個角度,犧牲去中心化和可擴展性就能保證區塊鏈系統的安全嗎?顯然不是。安全很大一部分是純技術的解決方案。那么不可能三角中的安全指的是什么?提這種局限的安全的意義又何在?
除了用于“吹牛”,不可能三角似乎對區塊鏈項目的工程實現沒有任何實際的指導作用。我們無法想象一個項目的負責人對團隊成員說,“為了提高性能,我們可以對系統的安全性做一些犧牲”,也無法想象負責人會說“為了去中心化,這個系統不要求高性能”。
事實也正是如此。從來沒有一個項目說自己為了提高不可能三角的某個指標,而犧牲了其他的指標,他們說的是自己“突破了不可能三角”。
如果說不可能三角是真概念,那么它最大的意義恰恰就是告訴項目方,系統必須要在這三個指標間做出取舍,而不是“突破”,可以突破的都不叫“不可能”。
分布式系統CAP定理是真正的不可能三角
追究不可能三角的真偽,一方面是因為偽概念給了偽項目生存的土壤,這很糟糕;另一方面是希望人們能把焦點集中到真正的問題上。
在區塊鏈,有價值的不可能三角是分布式系統CAP定理。它是指分布式系統無法同時確保一致性、可用性和分區容忍性。
EricBrewer在ACMPODC會議上首次提出了CAP猜想,之后,麻省理工學院的SethGilbert和NancyLynch從理論上證明了該猜想,使之成為一個定理。
CAP定理是分布式系統領域最重要的原理之一,深刻影響著分布式計算與系統設計的發展。
CAP定理一致性、可用性和分區容忍性的具體含義如下:
一致性:如果系統對一個寫操作返回成功,那么之后的讀請求都必須讀到這個新數據;如果返回失敗,那么所有讀操作都不能讀到這個數據,對調用者而言數據具有強一致性。
可用性:所有讀寫請求在一定時間內可以得到響應,不會一直等待。
分區容忍性:系統中的網絡可能發生分區故障,即節點之間的通信無法保障,但這不影響系統正常服務。
CAP定理認為分布式系統最多只能同時實現上述三個要素中的兩個。在某時刻如果滿足AP,即分隔的節點對外服務,但不能相互通信,這將導致狀態不一致,不能滿足C;如果滿足CP,那么在網絡分區的情況下為達成C,請求只能一直等待,這將無法滿足A;如果滿足CA,即在一定時間內要達到節點狀態一致,則要求不能出現網絡分區,這將不能滿足P。
這一結論告訴設計者不要浪費時間去研究如何兼顧這三要素,因為根本不可能,在進行分布式架構設計時,必須根據具體系統的需求做出取舍。
不可能三角并不是限制,它反而是在正確的道路上開拓了設計師的思路,讓他們在多樣化的取舍方案下設計出了多樣化的系統。
過去十幾年里涌現出不計其數的分布式的新系統,正是基于數據一致性和可用性的相對關系產生的——對于分布式系統,分區容忍性必須滿足,否則該系統就毫無意義,因此,其實是在一致性和可用性之間做選擇。
區塊鏈系統的設計也正是如此。
在區塊鏈中,C(一致性)是保證各個鏈的各個節點讀出來的數據都一樣,A(可用性)是保證各個鏈的各個節點可以在不同步完全的情況下實現交易,而因為節點是分布的,P(分區容錯性)是必須要保證的。基于這三個要素和對三個要素的取舍,有了BFT類共識、PoW類共識和其他共識算法。
小結
就像沒有一個通用的分布式系統,也沒有通用的共識算法。CAP定理指導著區塊鏈共識和治理的設計,決定著其分布式系統的功能和實現。
不可能三角的迷人之處在于:科學告訴我們什么是不可能的,而工程告訴我們可以付出一些代價,把它變成可行。CAP定理具有這種帶張力的美感,反觀流行版本的不可能三角,似乎并不具備。
尊敬的ZT用戶: ZT即將上線VBC,將于2019年7月12日15:00開放充值,2019年7月17日15:00開放VBC/ETH交易對,2019年7月18日16:00開啟提幣.
1900/1/1 0:00:00文|武旭升 編輯|文刀 7月6日,由蜂巢財經主辦,OKEx、抹茶、CoinAll聯合支持的“BIGGERCHAIN·2019中國區塊鏈領袖峰會”在成都開啟.
1900/1/1 0:00:00近日,MATPool正式上線新版官方網站。內容方面:首頁新增“全網算力”、“當前幣價”、“日理論收益”等,此外還特別添加了“收益計算器”,方便礦工更便捷地計算收益,評估風險;布局方面:對網站主要.
1900/1/1 0:00:00據《華爾街日報》7月11日報道稱,美國證券交易委員會已批準去中心化互聯網協議公司Blockstack根據RegA規則出售價值2800萬美元的代幣.
1900/1/1 0:00:00巴比特現場報道,今日在深圳舉辦的CoinExChain白皮書發布會上,CoinExChain核心開發者王逵在演講中表示,中短期內,基于中繼機制的跨鏈將局限于“小團體”內部.
1900/1/1 0:00:00截至07月10日10時,8BTCCI指數報19,135.54點,遠高于納斯達克綜合指數,自發布日起全球Token市場表現好于證券市場表現.
1900/1/1 0:00:00