區(qū)塊鏈架構存在的問題和挑戰(zhàn)

　　現(xiàn)實世界不可能是完美的，我們往往在各種三元悖論的權衡之中尋找平衡點。在經濟學上有個“蒙代爾不可能三角”（Mundellian Trilemma），指的是一個國家不可能把獨立貨幣政策（Monetary Policy）、固定匯率（Exchange Rate）和資本自由流動（Capital Mobility）三者兼顧到，往往只能三取二舍一。在分布式計算領域，也有人們認可并熟知的CAP理論，即一致性（Consistence）、可用性（Availability）和分區(qū)容錯性（Network Partitioning）三者不能得兼，只能三選二，如圖10-1所示。

　　蒙代爾不可能三角和CAP理論

　　而在區(qū)塊鏈領域，目前公認的一個“不可能三角”是在去中心化（Decentralization）、安全性（Security）和擴展性（Scalability）上也只能三者選其二，如圖10-2所示。完全去中心的區(qū)塊鏈架構會帶來性能和安全性方面的問題。傳統(tǒng)的分布式架構，例如云計算，是通過把一個任務切片，分發(fā)到多個節(jié)點來并行計算，最后將結果匯總回單一節(jié)點，因此效率很高，但中心化程度也很高。完全去中心的區(qū)塊鏈架構是把同一個任務放在多個節(jié)點同時運行，結果最后進行共識，共識的結果成為最終狀態(tài)?？上攵?，其效率會遠遠低于前者，但在安全性和可信任程度上又遠遠高于前者。

　　區(qū)塊鏈不可能三角理論

　　根據(jù)區(qū)塊鏈的不可能三角理論，很明顯目前以太坊架構是以犧牲擴展性來換取去中心和安全性的。以太坊上平均每秒大約能做15筆交易，所以至今為止，除了ICO或數(shù)字資產發(fā)行這種應用外，以太坊還沒有出現(xiàn)上規(guī)模的應用。2017年出現(xiàn)的一個區(qū)塊鏈養(yǎng)貓游戲“CryptoKitties”就造成了以太坊網絡的擁堵。因此，標榜區(qū)塊鏈3.0的其他各類區(qū)塊鏈平臺項目，紛紛針對比特幣、以太坊的性能問題提出了自己的改進方案。然而，目前區(qū)塊鏈落地應用少，卻不只是因為區(qū)塊鏈性能上的問題。我們首先來看看當前區(qū)塊鏈平臺的問題和痛點。

　　交易性能限制：比特幣的理論設計限制了其每秒只能完成7筆交易，通常每秒只能完成1～2筆；以太坊大約每秒處理10～20筆交易。另外，PoW這種最終一致性共識算法，使得如比特幣的交易需要獲得6個以上的確認才能在很大概率上保證交易的最終確定性，因此交易確認的時間也長

　　擴展性限制：在需要立即交易確定性的場景，例如聯(lián)盟鏈或私有鏈的場景中，一般節(jié)點數(shù)會受限。例如使用基于Paxos或BFT（拜占庭容錯）等基于狀態(tài)機復制（SMR）共識算法的區(qū)塊鏈平臺，參與共識的節(jié)點數(shù)一般不能超過兩位數(shù)。

　　易用性：目前智能合約的開發(fā)、部署和調用都需要由專業(yè)區(qū)塊鏈編程人員進行，區(qū)塊鏈在易用性和對應用的支持上還存在較大障礙。

　　兼容性和互操作性：目前大部分的區(qū)塊鏈平臺都是獨立系統(tǒng)，不支持區(qū)塊鏈上的資產在不同鏈之間的流轉，不同鏈上的應用也沒有辦法做到跨鏈的集成和整合。

　　數(shù)據(jù)存儲：區(qū)塊鏈上數(shù)據(jù)存儲容量有限制，特別是每個全節(jié)點需要存儲的數(shù)據(jù)量越來越大，急需更低成本和高效的分布式存儲方案。

　　智能合約形式化證明：形式化證明（Formal Verification），出于成本的考慮，以前往往只應用在硬件設計中，后來慢慢被引入軟件行業(yè)。形式化證明通過數(shù)學方法來證明代碼中是否存在漏洞或缺陷。與傳統(tǒng)的軟件測試不同，形式化證明能夠證明一個系統(tǒng)沒有任何可以想到的缺陷，這可以從根本上杜絕軟件漏洞。由于區(qū)塊鏈上的智能合約一經部署就不能修改，安全性至關重要，一旦有未被檢測出的漏洞和缺陷，就會給黑客大肆作惡的機會。形式化證明是在未部署合約前對智能合約代碼做邏輯上的證明，證明合約的執(zhí)行具有正確性。形式化的證明一般要求編程語言具備嚴格的邏輯完備性和自動推理能力。目前以太坊的智能合約編程語言Solidity并不具備這種能力，而傳統(tǒng)上的一些形式證明工具和編程語言還沒有和區(qū)塊鏈做有效結合。

　　數(shù)據(jù)同步性能限制：鏈上數(shù)據(jù)每時每刻的增長，帶來的問題就是網絡上數(shù)據(jù)同步的負擔越來越大，同步速度也越來越慢。

　　共識機制數(shù)學證明：很多區(qū)塊鏈平臺使用的共識算法并沒有給出嚴格的數(shù)學證明，證明其在假設的網絡通信環(huán)境內，能夠在少數(shù)故障節(jié)點存在的情況下，依然能夠在有限的時間內達成共識，并保證共識結果的正確性。特別是在公有鏈情況下，很多共識算法，特別是基于權益的PoS共識，缺少嚴格的數(shù)學證明。

　　區(qū)塊鏈平臺的典型需求和發(fā)展方向

　　1、區(qū)塊鏈平臺的典型需求

　　區(qū)塊鏈上的應用根據(jù)場景不同，有以下不同維度的需求。

　　隱私保護：交易參與方和交易的細節(jié)不能泄露給交易無關方。目前比特幣、以太坊等只是提供半匿名機制，不能保證在大數(shù)據(jù)分析下隱私交易信息不被泄露。

　　鏈上安全性：在區(qū)塊鏈網絡，特別是公有鏈場景下如何容錯，特別是拜占庭容錯，防止女巫、重放、DDoS等攻擊是一個十分重要的需求。

　　數(shù)據(jù)真實性：雖然在區(qū)塊鏈上的數(shù)據(jù)不可篡改，但現(xiàn)實的數(shù)據(jù)卻沒有辦法防止人為造假。如何保障鏈下數(shù)據(jù)真實上鏈，又不重回到中心化的Oracle（預言機）機制，也是非常關鍵的需求。Oracle是一個連接鏈下鏈上的數(shù)據(jù)真實性保障機制，通常需要由權威性機構來做Oracle，但如何防止Oracle的中心化是未來預言機機制設計的關鍵考慮點。

　　有用工作量證明：比特幣挖礦造成能源的浪費巨大，有人估算目前比特幣一年挖礦所耗費的電量已經相當于愛爾蘭一年的用電量。比特幣的工作量證明只是不停地做哈希運算，計算結果也沒有什么實際用途。如果既能做有用的工作量，又能提供一個比較穩(wěn)定的共識機制，是非常有吸引力，但也是比較難的研究方向。

　　密碼安全性：量子計算目前雖然還是起步的初始階段，離發(fā)展到商用可能還要一大段距離，但量子計算的Shor算法已經在理論上能破解公鑰加密系統(tǒng)，區(qū)塊鏈所基于的公鑰簽名系統(tǒng)都將面臨被量子計算破解的威脅。另一方面，量子計算的Grover算法雖然不能在數(shù)量級上降低破解哈希算法的難度，但也能減少一部分破解哈希算法的計算量。因此，抗量子密碼算法也成為目前區(qū)塊鏈的一個研究方向。

　　治理和監(jiān)管：很多區(qū)塊鏈項目目前都是依靠幾個核心開發(fā)人員維護。一些關鍵參數(shù)的修改和平臺發(fā)展方向的決策還是由幾個人決定，缺少一個比較透明、嚴格的治理架構和監(jiān)管體系。如何設計一套適合于區(qū)塊鏈的治理和監(jiān)管體系，使得區(qū)塊鏈平臺能健康發(fā)展，是當下很多區(qū)塊鏈項目面臨的一個問題。另一方面，一些采用常規(guī)計算的破解現(xiàn)有密碼學技術的算法也會被發(fā)現(xiàn)，像2017年谷歌成功實現(xiàn)對SHA-1的有效碰撞，也說明即使不考慮量子計算的威脅，密碼安全性也是一個需要重點關注的問題。

　　智能合約升級、監(jiān)控：智能合約一經部署就不能更改，但傳統(tǒng)軟件都需要不斷完善和升級。另外在很多場景下，智能合約的邏輯也需要適應需求的變化。因此如何對智能合約升級，以及如何監(jiān)控智能合約的運行，也是一個比較常見的需求，特別是對企業(yè)客戶來說。

　　防止算力中心化：由于比特幣的價格攀升，利益驅使比特幣挖礦成為一場算力的軍備競爭。比特幣挖礦的算力不斷趨于中心化，目前五大礦池的算力已經超過全網算力的70%。防止算力集中，目前常用的方法是設計需要存儲量大的工作量證明機制，這樣在成本上抵抗做專門的算力挖礦芯片（ASIC），使得普通人仍然可以用通用處理器，像CPU、GPU來參與挖礦共識。

　　身份認證及權限控制：很多區(qū)塊鏈的應用，特別是企業(yè)級的聯(lián)盟鏈應用，需要確認用戶的身份，并根據(jù)其身份來授予不同的權限。安全高效的身份ID管理、身份認證和權限控制是一個重要的需求。

　　移動區(qū)塊鏈：目前區(qū)塊鏈系統(tǒng)都是運行在服務器節(jié)點上，手機上只是錢包或輕節(jié)點。但未來隨著移動設備算力以及存儲能力的提升，直接在移動設備組成的去中心化網絡成為可能，成為真正意義上的移動區(qū)塊鏈平臺。

　　2、區(qū)塊鏈平臺的發(fā)展方向

　　上述對區(qū)塊鏈平臺的行業(yè)需求，驅動著區(qū)塊鏈向實用性穩(wěn)定性和安全性方向發(fā)展，而具體的技術創(chuàng)新則是在以下一些方向上拓展。

　　區(qū)塊鏈操作系統(tǒng)：類似傳統(tǒng)電腦操作系統(tǒng)給電腦使用者和應用開發(fā)提供底層服務一樣，區(qū)塊鏈操作系統(tǒng)也給上層去中心化應用的開發(fā)和運行提供支撐的功能和環(huán)境，這些功能包括認證、權限控制、數(shù)據(jù)存取、合約編譯、測試級部署等支撐性功能。操作系統(tǒng)提供易用性，降低使用區(qū)塊鏈以及開發(fā)DApp的門檻。

　　區(qū)塊鏈中間件：和傳統(tǒng)中間件一樣，區(qū)塊鏈中間件屏蔽不同區(qū)塊鏈平臺的接口差異，使得應用能夠方便地開發(fā)支持不同區(qū)塊鏈的DApp，另外也提供跨鏈整合功能，使得應用能夠集成整合多個區(qū)塊鏈平臺。

　　區(qū)塊鏈網絡（多鏈）：和比特幣或以太坊的單鏈技術不一樣，區(qū)塊鏈網絡提供一個網絡平臺。在該平臺下有多條鏈，每個鏈上都可以發(fā)行自己的虛擬資產，鏈與鏈之間也可以通過區(qū)塊鏈網絡平臺中的主鏈或中繼來實現(xiàn)跨鏈互連。

　　側鏈技術：側鏈最早來自于一個無須改變主鏈（原指比特幣的主鏈），但又能通過建立一個側鏈來擴展主鏈功能的概念。主鏈的資產可以安全轉移到側鏈上流通，最好也能安全地回到主鏈。

　　區(qū)塊擴容：區(qū)塊容量和能打包的交易多少有關，由于區(qū)塊鏈的出塊頻率相對固定，因此當區(qū)塊擴容之后，每秒交易量（TPS）也會相應提高。

　　鏈下計算：區(qū)塊鏈的鏈上計算雖然能安全可靠，但是共識開銷很大，因此把有些計算移到鏈下來處理，從而提升交易速度是一個必然的選擇。

　　分區(qū)共識、分片：以太坊的性能問題讓以太坊的開發(fā)社區(qū)也意識到，當每個交易、每步智能合約的執(zhí)行都需要在所有的共識節(jié)點去完成的時候，其擴展性是無法支撐應用的。因此，分片處理、采用局部共識代替全局共識不可避免。

　　區(qū)塊鏈存儲：區(qū)塊鏈上能存儲的空間有限，一般來說只是存儲數(shù)據(jù)的哈希值，也就是數(shù)據(jù)的指紋。因此如何解決區(qū)塊鏈數(shù)據(jù)，特別是代碼或狀態(tài)數(shù)據(jù)的存儲是當今區(qū)塊鏈平臺都面臨的一個問題。

　　共識機制：區(qū)塊鏈最核心的部分是其共識機制。不同的共識機制有著不同的共識屬性，同時也決定其每秒交易量，因此共識機制的設計也成為區(qū)塊鏈底層平臺設計的一個關鍵環(huán)節(jié)。