“去中心化”是加密經(jīng)濟(jì)學(xué)(加密貨幣)領(lǐng)域使用頻率最高的詞之一,甚至被認(rèn)為區(qū)塊鏈就是為了去中心化而存在,但它卻是一個(gè)基本沒有明確定義的名詞之一。 當(dāng)今世界為了保護(hù)和改進(jìn)去中心化網(wǎng)絡(luò),人們不僅花費(fèi)了成千上萬(wàn)小時(shí)去研究它,同時(shí)也耗費(fèi)了幾十億美元為它產(chǎn)生哈希算力。更有甚者,當(dāng)正反雙方討論變得更加激烈時(shí),對(duì)于某個(gè)協(xié)議的支持者來說打擊提案反對(duì)者的終極秘密武器就是可以說反對(duì)者的論點(diǎn)是”中心化“的。
“去中心化” 這個(gè)名詞的實(shí)際含義確實(shí)也經(jīng)常會(huì)出現(xiàn)很多混淆的情況。 例如,參考下面三個(gè)經(jīng)常被用來解析“去中心化”的圖形:
去中心化的狹義理解
我們先討論一下美國(guó)版知乎(Quora)社交平臺(tái)上關(guān)于“分布式和去中心化之間有什么區(qū)別”的兩個(gè)主要答案。 第一個(gè)基本上模仿了上圖,而第二個(gè)則提出了完全不同的主張,“分布式意味著并非所有交易處理都在同一個(gè)地方完成”,而“去中心化意味著沒有一個(gè)單一實(shí)體可以控制所有會(huì)話”。 同時(shí),“以太坊堆棧”社交論壇上的一個(gè)最佳答案也給出了一個(gè)與上圖非常相似的圖表,只是“去中心化”和“分布式”這兩個(gè)詞互換了位置! 顯然,這樣的解析還是不夠的,我們需要進(jìn)一步澄清一下“去中心化”這個(gè)詞。
三種類型的去中心化
當(dāng)人們談?wù)撥浖ブ行幕瘯r(shí),實(shí)際上他們可能在談?wù)撊N相互獨(dú)立的中心化/去中心化軸。 雖然在某些情況下很難讓一種去中心化中不包括另一種去中心化,但總的來說,它們彼此還是完全獨(dú)立的。 以下是對(duì)三種去中心化的描敘:
· 架構(gòu)(去)中心化——一個(gè)系統(tǒng)由多少臺(tái)物理計(jì)算機(jī)組成? 它可以容忍多少臺(tái)計(jì)算機(jī)在同一時(shí)刻發(fā)生故障?
· 政治(去)中心化——個(gè)人或者公司完全控制的計(jì)算數(shù)量分別是多少臺(tái)?
· 邏輯(去)中心化——系統(tǒng)對(duì)外的接口和數(shù)據(jù)結(jié)構(gòu)看起來更像是一個(gè)單一的整體,還是一個(gè)無特定形式的群體呢? 這里給出一個(gè)簡(jiǎn)單的提示以幫助你理解什么是邏輯(去)中心化:如果你將某個(gè)系統(tǒng)分成兩半,里面都包括服務(wù)和用戶的情況下,在這兩半都各自獨(dú)立時(shí),他們能否可以在不需要對(duì)方的情況下而繼續(xù)獨(dú)立完整的運(yùn)行?或者再舉個(gè)通俗且很有意思的例子,有一種海洋生物,它的名稱是海星,它很有意思。如果你把用刀把海星從中間切成兩半,它的每一半是可以立即獨(dú)立存活下來的,它們都可以再長(zhǎng)成一個(gè)獨(dú)立的海星,這就是我們這里討論的,海星的生物架構(gòu)在邏輯上是去中心化的。
我們可以嘗試把這三種“去中心化”放到三個(gè)維度中來解析,見下圖:
去中心化的三個(gè)維度
注意,上圖很多說明文字的展示位置雖然非常隨意(這個(gè)可以調(diào)整),但卻可以通過當(dāng)中的任意一個(gè)來得出如下結(jié)論:
· 傳統(tǒng)公司在政治上是中心化的(只有一個(gè) CEO),它的架構(gòu)上也是中心化的(一個(gè)總部,很多情況下各部門也在一個(gè)辦公區(qū)),在邏輯上也是中心化的(把公司分成兩半,任何一半將無法正常運(yùn)營(yíng))。
· 民法系依賴于一個(gè)中心化的立法機(jī)構(gòu),而普通法系則建立在許多法官個(gè)人的經(jīng)驗(yàn)之上。但民法系有時(shí)也有一些在架構(gòu)上是去中心化的,即有許多法院仍然有自由裁量權(quán),當(dāng)然普通法系卻擁有比民法系更多的自由裁量權(quán)。兩種法律體系在邏輯上都是中心化的(即“法律它就是指法律”體系)。
· 英語(yǔ)語(yǔ)言在邏輯上是去中心化的;例如愛麗絲和鮑勃他們倆之間說的英語(yǔ)和查理和大衛(wèi)之間說的英語(yǔ)他們不需完全一樣(例如聲音大小等)。某種語(yǔ)言的存在也不需要中心化的基礎(chǔ)設(shè)施來保障,而且英語(yǔ)語(yǔ)法規(guī)則也不是由任何一個(gè)人創(chuàng)建或擁有的(世界語(yǔ)最初是由 Ludwig Zamenhof 發(fā)明的,盡管現(xiàn)在它的功能更像是一種不斷進(jìn)化的活語(yǔ)言且不需要授權(quán))
· BT下載在邏輯上類似于英語(yǔ)語(yǔ)言,它是去中心化的。內(nèi)容傳遞網(wǎng)絡(luò)也類似,但它卻是由一家中心化的公司控制著。
· 區(qū)塊鏈在政治上(沒有人可以控制它們)和架構(gòu)上都是去中心化的(也不會(huì)有中心化那種單點(diǎn)故障),但它們?cè)谶壿嬌蠀s是中心化的(因?yàn)樗泄?jié)點(diǎn)最終都會(huì)達(dá)到一致的狀態(tài)它才是原來的那條區(qū)塊鏈,如果節(jié)點(diǎn)不能全部達(dá)成一致就會(huì)導(dǎo)致區(qū)塊鏈分叉,分叉后它將不再是原來的狀態(tài)了,整個(gè)區(qū)塊鏈系統(tǒng)的這種行為就像在一臺(tái)計(jì)算機(jī)運(yùn)行一樣。)
很多時(shí)候,當(dāng)人們談?wù)搮^(qū)塊鏈的優(yōu)點(diǎn)時(shí),他們描述了擁有“一個(gè)中央數(shù)據(jù)庫(kù)”的便利優(yōu)勢(shì); 這種中央便是邏輯中心化,在許多場(chǎng)景下就可以認(rèn)為它是一種好的中心化。
架構(gòu)中心化通常會(huì)導(dǎo)致政治中心化,盡管并不全部是這樣——在正式的民主場(chǎng)景下,政客們?cè)谀硞€(gè)實(shí)體會(huì)議廳開會(huì)并舉行投票,結(jié)果這個(gè)會(huì)議廳的擁有者卻最終并沒有獲得任何實(shí)質(zhì)性的決策權(quán)。在計(jì)算機(jī)化系統(tǒng)中,如果有一個(gè)在線社區(qū)為了方便而使用了中心化的論壇,則可能會(huì)發(fā)生架構(gòu)中心化但政治卻是去中心化的情況,但是如果存在廣泛同意的社會(huì)契約,如果論壇所有者惡意行事,那么每個(gè)人都會(huì)轉(zhuǎn)移到不同的論壇去(在實(shí)踐中可能展現(xiàn)出這種屬性,在這另一個(gè)論壇上圍繞著他們反對(duì)的審查制度而形成另一個(gè)社區(qū),)。
邏輯中心化后很難使架構(gòu)變成去中心化,但并非不可能——去中心化共識(shí)型網(wǎng)絡(luò)被證明是是成功的,但它比維護(hù) BT下載網(wǎng)絡(luò)要更加困難些。邏輯中心化使政治去中心化更加困難——在邏輯中心化的系統(tǒng)中,通過簡(jiǎn)單地同意“活下去,讓活下去”來解決爭(zhēng)論問題也變得更加困難。
去中心化的三個(gè)理由
下一個(gè)問題是,為什么去中心化首先有用?一般有幾個(gè)論點(diǎn):
· 容錯(cuò)——去中心化系統(tǒng)不太可能意外失敗,因?yàn)樗鼈円蕾嚨脑S多獨(dú)立組件不可能同時(shí)失效。
· 抗攻擊性——想攻擊、破壞或者操縱去中心化的系統(tǒng)成本很高,因?yàn)樗鼈儧]有敏感的可以比周圍系統(tǒng)的經(jīng)濟(jì)規(guī)模低得多的成本進(jìn)行攻擊的關(guān)鍵中心點(diǎn)。
· 抗共謀——去中心化系統(tǒng)中的參與者更難串通一氣以損害其他參與者的利益而使共謀者受益,然而中心化公司中的主管或者政府的領(lǐng)導(dǎo)則可以很方便的串通起來采取有利于自己卻損害其他溝通能力較弱的公民、客戶、員工或者公眾的利益來使自己受益。
這三個(gè)論點(diǎn)都很重要且有效,當(dāng)你開始在腦海里用這三種獨(dú)立且不同的觀點(diǎn)開始考慮協(xié)議決策的時(shí)候,這三個(gè)觀點(diǎn)確會(huì)導(dǎo)致一些有趣且不同的結(jié)論。接下來讓我們嘗試著一一展開和討論一下這些觀點(diǎn)。
關(guān)于容錯(cuò)的核心論點(diǎn)很簡(jiǎn)單。 一臺(tái)計(jì)算機(jī)和十分之五的計(jì)算同時(shí)出現(xiàn)故障的概率相比,哪種情況更少? 該結(jié)論應(yīng)該是無可爭(zhēng)議且在現(xiàn)實(shí)生活的許多場(chǎng)景中都在使用,例如備用發(fā)電機(jī)在醫(yī)院、軍事基礎(chǔ)設(shè)施、多樣化的金融投資組合、也包括計(jì)算機(jī)網(wǎng)絡(luò)等地方都被采用。
然而,雖然這種去中心化的方式仍然效且也非常重要,但事實(shí)證明它往往還不如一個(gè)幼稚的數(shù)學(xué)模型能更準(zhǔn)確的預(yù)測(cè)出故障所在。原因是存在共模故障。 當(dāng)然,四臺(tái)噴氣發(fā)動(dòng)機(jī)同時(shí)發(fā)生故障的可能性會(huì)比一臺(tái)噴氣發(fā)動(dòng)機(jī)發(fā)生的可能性更小,但如果所有四臺(tái)發(fā)動(dòng)機(jī)都是在同一廠家制造的且這四臺(tái)發(fā)動(dòng)機(jī)都由同一個(gè)流氓員工植入了相同的缺陷怎么辦?
區(qū)塊鏈像現(xiàn)在這樣是否都已經(jīng)設(shè)法預(yù)防了這種共模故障了呢?我看不見得,看看以下的情況:
· 區(qū)塊鏈中的所有節(jié)點(diǎn)都運(yùn)行相同的客戶端軟件,而這個(gè)客戶端軟件有錯(cuò)誤。
· 區(qū)塊鏈中的所有節(jié)點(diǎn)都運(yùn)行相同的客戶端軟件,但開發(fā)該軟件的團(tuán)隊(duì)被證明是有社會(huì)腐敗問題。
· 提議升級(jí)協(xié)議的科研團(tuán)隊(duì)被證明有社會(huì)腐敗問題。
· 在工作量證明區(qū)塊鏈中,70% 的礦工都在同一個(gè)國(guó)家,這個(gè)國(guó)家的政府出于國(guó)家安全的目的決定搶奪沒收所有的礦場(chǎng)。
· 大多數(shù)挖礦硬件都是由同一家公司制造的,這家公司被證明被迫賄賂且強(qiáng)制增加后門允許隨意關(guān)閉該硬件。
· 在權(quán)益證明區(qū)塊鏈中,70% 的權(quán)益代幣在一個(gè)交易所持有。
為了容錯(cuò)而設(shè)計(jì)的去中心化應(yīng)用,整體上會(huì)著重于考慮所有這些問題,并且很清楚該如何把他們的影響降到最低程度。 一些自然而然就會(huì)得出的結(jié)論就很明顯了:
· 確保多個(gè)方案相互競(jìng)爭(zhēng)就相當(dāng)重要。
· 協(xié)議升級(jí)背后所需要要的技術(shù)功底知識(shí)必須要大眾化,以便更多的人可以無障礙地放心參與研究討論和批評(píng)明顯不當(dāng)?shù)膮f(xié)議修改。
· 核心研發(fā)人員應(yīng)同時(shí)為多家公司或組織工作(備選方案也可以是確保他們中的許多人員是志愿參與者)。
· 挖礦算法的設(shè)計(jì)應(yīng)盡量避免中心化風(fēng)險(xiǎn)
· 理想情況下,我們使用權(quán)益證明來完全擺脫硬件中心化的風(fēng)險(xiǎn)(雖然我們也應(yīng)該警惕由于采用權(quán)益證明算法而可能導(dǎo)致新風(fēng)險(xiǎn)的出現(xiàn))。
注意最簡(jiǎn)單的容錯(cuò)設(shè)計(jì)要求主要是側(cè)重于架構(gòu)去中心化,但是,一旦您開始考慮管理協(xié)議持續(xù)發(fā)展的社區(qū)也需要擁有容錯(cuò)能力時(shí),那么政治去中心化也同時(shí)變得非常重要了。
接下來,讓我們看看攻擊抗性。在一些純粹的經(jīng)濟(jì)模型中,你會(huì)得到這樣的結(jié)果,去中心化壓根就不重要。假如你設(shè)計(jì)了一個(gè)協(xié)議,當(dāng)發(fā)生 51% 攻擊(即確定性反轉(zhuǎn)),區(qū)塊鏈驗(yàn)證者100%會(huì)損失 5000 萬(wàn)美元,那么這這些區(qū)塊鏈驗(yàn)證者是否是由一家公司或 100 家公司控制其實(shí)都不重要了——5000 萬(wàn)美元的經(jīng)濟(jì)安全保證金它就是 5000 萬(wàn)美元的經(jīng)濟(jì)安全保證金。事實(shí)上,中心化甚至可以最大限度地提高經(jīng)濟(jì)安全的觀點(diǎn)也有很深的博弈論的原因(現(xiàn)有區(qū)塊鏈的交易選擇模型會(huì)反映這種內(nèi)幕,由于存在很深層的博弈考量,這就是為什么中心化可以甚至放大這樣的經(jīng)濟(jì)安全,其實(shí)通過礦工/區(qū)塊創(chuàng)建者將交易包含在區(qū)塊中的操作,實(shí)際上是一種非常快速輪換的獨(dú)裁統(tǒng)治)。
然而,一旦你采用更加豐富的經(jīng)濟(jì)模型,尤其是承認(rèn)可能存在強(qiáng)制(或者更溫和的事情,例如針對(duì)特定節(jié)點(diǎn)的 DoS 攻擊)的經(jīng)濟(jì)模型,去中心化就變得更加重要。如果你用死亡威脅一個(gè)人,突然間 5000 萬(wàn)美元對(duì)他們來說就不再那么重要了。但是如果把這 5000 萬(wàn)美元分?jǐn)偨o十個(gè)人,那么你必須同時(shí)威脅十倍的人。一般來說,現(xiàn)代世界在許多情況下的特點(diǎn)是攻擊/防御不對(duì)稱,有利于攻擊者——建造成本為 1000 萬(wàn)美元的建筑物可能只需花費(fèi)不到 10萬(wàn) 美元來摧毀,攻擊者的杠桿力度通常是次線性的:如果一座建筑成本是1000萬(wàn)美元,只需10萬(wàn) 美元來摧毀,那么造成本為 100 萬(wàn)美元的建筑物實(shí)際上可能只需要花費(fèi) 3萬(wàn)美元來摧毀。小的值會(huì)得出更好的比率。
這種推理會(huì)導(dǎo)致什么? 首先會(huì)導(dǎo)致更強(qiáng)烈支持權(quán)益證明而不是工作量證明的觀點(diǎn),因?yàn)橛?jì)算機(jī)硬件易于檢測(cè)、調(diào)節(jié)或攻擊,而代幣更容易隱藏(在其他原因方面權(quán)益證明也有很強(qiáng)的抗攻擊性)。 其次,有利于擁有廣泛分布的,包括地理分布的開發(fā)團(tuán)隊(duì)。 第三,這意味著在設(shè)計(jì)共識(shí)協(xié)議時(shí)需要同時(shí)考慮經(jīng)濟(jì)模型和容錯(cuò)模型。
最后,我們討論這三個(gè)論點(diǎn)中最復(fù)雜的論點(diǎn),即抗共謀。共謀很難定義;也許唯一真正有效的且簡(jiǎn)單地解析共謀就是“大家并不喜歡的惡意合作”。現(xiàn)實(shí)生活中有很多情況,即使每個(gè)人之間都有完美的合作也是一種理想的情況,如有團(tuán)隊(duì)中一個(gè)小組能夠合作但其他小組又不能合作也是很危險(xiǎn)的。
一個(gè)簡(jiǎn)單的例子是反壟斷法——故意設(shè)置監(jiān)管障礙,以使市場(chǎng)一方的參與者更難團(tuán)結(jié)起來,像壟斷者一樣行事,以犧牲市場(chǎng)另一方的利益為代價(jià)獲得外部利潤(rùn)市場(chǎng)和一般社會(huì)福利。另一個(gè)簡(jiǎn)單的例子是美國(guó)反對(duì)候選人和超級(jí)政治行動(dòng)委員會(huì)之間積極協(xié)調(diào)的規(guī)則,盡管這些規(guī)則在實(shí)踐中被證明難以執(zhí)行。一個(gè)更小的例子是一些國(guó)際象棋錦標(biāo)賽中的一條規(guī)則,該規(guī)則禁止兩名棋手進(jìn)行多次對(duì)戰(zhàn)以試圖提高一名棋手的分?jǐn)?shù)。無論你在哪里看,在復(fù)雜的場(chǎng)景中防止惡意的合作的嘗試無處不在。
在區(qū)塊鏈協(xié)議的情況下,共識(shí)安全性背后的數(shù)學(xué)和經(jīng)濟(jì)推理通常主要依賴于不使用的選擇模型,或者假設(shè)游戲是由許多獨(dú)立做出決策的個(gè)體參與者組成。如果任何一個(gè)參與者在工作量證明系統(tǒng)中獲得超過 1/3 的算力,他們就可以通過自我挖礦獲得巨額利潤(rùn)。然而,當(dāng)比特幣網(wǎng)絡(luò)擁有 90% 的算力者合作到足以同時(shí)出現(xiàn)在同一個(gè)會(huì)議上時(shí),我們真的可以說選擇不合作模型是最理想的嗎?
海星的“邏輯去中心化”
區(qū)塊鏈倡導(dǎo)者認(rèn)為區(qū)塊鏈的架構(gòu)相對(duì)來說更加安全,因?yàn)樗麄儾荒茈S心所欲地隨意更改規(guī)則。但是卻很難預(yù)防這種情況 ,區(qū)塊鏈軟件和協(xié)議的開發(fā)人員都是為一家公司工作,屬于一個(gè)家庭,坐在一個(gè)房間里。總而言之就是這些系統(tǒng)不應(yīng)該壟斷且自私的只服務(wù)一個(gè)對(duì)象。在這樣的情況下,您就可以說,區(qū)塊鏈間各方越不合作就區(qū)塊鏈就越安全。
然而,這是一種悖論。包括以太坊在內(nèi)的許多社區(qū)因具有強(qiáng)烈的社區(qū)精神,它們因能夠在幾天內(nèi)快速實(shí)施合作、發(fā)布和激活硬分叉以解決協(xié)議中的DDoS問題而經(jīng)常受到稱贊。我們?cè)鯓硬拍芄膭?lì)和促進(jìn)這種良好的合作,同時(shí)防止類似礦工試圖反復(fù)合作來達(dá)到 51% 攻擊目的的這種“惡意合作”來?yè)p害其他人的利益?
有三種答案可以回答這個(gè)問題:
· 不要刻意費(fèi)力去阻止惡意合作; 相反應(yīng)該是想辦法構(gòu)建可以抵制它的協(xié)議。
· 嘗試找到一種更受歡迎的方式,它允許足夠的合作以推動(dòng)協(xié)議向前發(fā)展,卻不致于會(huì)形成攻擊條件。
· 盡量區(qū)分有益合作和有害合作,讓前者更容易,后者更難。
第一種方法是卡斯帕設(shè)計(jì)哲學(xué)的主要組成部分。 然而,依靠它自己是不夠的,因?yàn)閱为?dú)依靠經(jīng)濟(jì)激勵(lì)是無法解決其他兩種去中心化類型的。 第二種很難從工程角度明確下來,特別是從長(zhǎng)遠(yuǎn)來看更是如此,可是它確實(shí)經(jīng)常在意外情況下發(fā)生。 例如,比特幣的核心開發(fā)人員大部分說英語(yǔ)而礦工卻一般說中文這一事實(shí)可以被視為是很好的意外,因?yàn)樗鼊?chuàng)造了一種“兩院制”治理,使兩種社區(qū)彼此在一起合作更加困難,但是它確實(shí)降低了開發(fā)者和礦工他們共謀導(dǎo)致比特幣失敗的風(fēng)險(xiǎn),主要因?yàn)樗麄冇捎诰嚯x上和溝通方面的困難,英語(yǔ)和中文社區(qū)至少會(huì)在某些程度上會(huì)分開進(jìn)行分析和推理相關(guān)的問題,因此這兩種社區(qū)就不太可能同時(shí)犯同樣的錯(cuò)誤。
第三種方法的社會(huì)挑戰(zhàn)性遠(yuǎn)大于其他一切; 可能有以下的解決辦法:
· 施加社會(huì)干預(yù)試圖提高參與者對(duì)整個(gè)區(qū)塊鏈社區(qū)的忠誠(chéng)度,同時(shí)替代或阻止市場(chǎng)一方的參與者直接彼此相互忠誠(chéng)的可能性。
· 在同一背景下促進(jìn)不同“市場(chǎng)方”之間的交流,以盡可能減少驗(yàn)證者、開發(fā)人員或礦工三方共同把他們自己視為一個(gè)“階級(jí)”,聯(lián)合起來捍衛(wèi)自己的利益免受其他階級(jí)侵害的可能性。
· 設(shè)計(jì)協(xié)議時(shí)應(yīng)該盡量減少驗(yàn)證者/礦工形成一對(duì)一的“特殊關(guān)系”、中心化形態(tài)的中繼網(wǎng)絡(luò)和其他類似超級(jí)協(xié)議機(jī)制。
· 明確協(xié)議應(yīng)該具有哪些基本特性,哪些事情不應(yīng)該做,或者至少應(yīng)該只在非常極端的情況下才能做。
因此,這第三種去中心化,即避免惡意合作的去中心化,可能是最難實(shí)現(xiàn)的,因此必須要折衷考慮。 也許最可靠的方法是去重度依賴一個(gè)100%去中心化的群體:即使用協(xié)議的用戶。