PRO:深度剖析下個萬億賽道：零知識證明和分布式計算結合_WEB

1.分布式計算發展歷史和市場前景

1.1發展歷史

最開始的計算機每臺只能執行一個計算任務，隨著多核心多線程的CPU出現，單個計算機可以執行多個計算任務。隨著大型網站的業務增加，單服務器模式很難進行擴容，又增加硬件成本。面向服務的架構出現，由多臺服務器組成。由服務注冊者、服務提供者和服務消費者，三者組成。但是隨著業務增加和服務器增加，SOA模式下，點對點服務可維護性和可拓展性難度增加。類似微機原理中，總線模式出現，來協調各個服務單元。服務總線通過類似集線器的架構將所有系統連接在一起。這個組件被稱為ESB。作為一個中間角色，來翻譯協調各個不同格式或者標準的服務協議。隨后基于應用程序編程接口的REST模型通信，以其簡潔、可組合性更高的特性，脫穎而出。各個服務以REST形式對外輸出接口。當客戶端通過RESTfulAPI提出請求時，它會將資源狀態表述傳遞給請求者或終端。該信息或表述通過HTTP以下列某種格式傳輸：JSON、HTML、XLT、Python、PHP或純文本。JSON是最常用的編程語言，盡管它的名字英文原意為“JavaScript對象表示法”，但它適用于各種語言，并且人和機器都能讀。虛擬機、容器技術，以及谷歌的三篇論文：2003年，GFS:TheGoogleFileSystem2004年，MapReduce:SimplifiedDataProcessingonLargeClusters2006年，Bigtable:ADistributedStorageSystemforStructuredData分別是分布式文件系統、分布式計算、分布式數據庫，拉開了分布式系統的帷幕。Hadoop對谷歌論文的復現，更快更容易上手的Spark，滿足實時計算的Flink。但是以往都是分布式系統，并不是完全意義上的Peertopeer系統。在Web3領域，完全顛覆以往的軟件架構。分布式系統的一致性，防欺詐攻擊，防粉塵交易攻擊等等一系列問題，都給去中心化計算框架帶來挑戰。將以太坊為代表的智能合約公鏈，可以抽象理解為去中心化的計算框架，只不過EVM是有限指令集的虛擬機，無法做Web2需要的通用計算。而且鏈上資源也是極其昂貴。盡管如此，以太坊也是突破了點對點計算框架的瓶頸，點對點通信、計算結果全網一致性和數據一致性等等問題。1.2市場前景

讀者在上面了解了分布式計算的歷史，但還是會存在很多困惑，我來替讀者列出大家可能存在的潛在疑問，如下：從業務需求出發，為什么去中心化計算網絡很重要？整體市場規模有多大？現在處于什么階段，未來還有多少空間？哪些機會值得關注？怎么去賺錢？1.2.1為什么去中心化計算很重要？在以太坊最初的愿景中，是要成為世界的計算機。在2017年，ICO大爆發之后，大家發現還是主要以資產發行為主。但是到了2020年，Defisummer出現，大量Dapp開始涌現。鏈上數據爆炸，面對越來越多復雜的業務場景，EVM越來越顯得無力。需要鏈下拓展的形式，來實現EVM無法實現的功能。諸如像預言機等等角色，都是某種程度上的去中心化計算。我們再以拓展思路去思考，現在Dapp高速增長，數據量也在爆炸式增長，這些數據的價值都需要更加復雜的算法來去計算，挖掘其商業價值。數據的價值由計算來體現和產生。這些都是大部分智能合約平臺無法去實現的。現在Dapp開發已經過去當初只需要完成0到1的過程，現在需要更加強大的底層設施，來支撐它完成更加復雜的業務場景。整個Web3已經從開發玩具應用階段過去，未來需要面對更加復雜的邏輯和業務場景。1.2.2整體市場規模有多大？如何估算市場規模呢？通過Web2領域的分布式計算業務規模來估算？乘上web3市場的滲透率？把目前市面上相應融資項目的估值相加嗎？我們不能將Web2的分布式計算市場規模照搬到Web3，理由是：1，Web2領域的分布式計算滿足了大部分需求，Web3領域的去中心化計算是差異化滿足市場需求。如果照搬，是有悖于市場客觀背景環境。2，Web3領域的去中心化計算，未來成長出的市場業務范圍是全球化的。所以我們需要更加嚴謹得去估算市場規模。對于Web3領域潛在賽道整體規模預算通過以下幾點出發來進行計算：對行業內，其他可被納入賽道范圍內的項目估值，做為基準市值。依據coinmarketcap網站上數據顯示，在市面上已經流通的分布式計算板塊的項目市值在67億美元。營收模型來自于，代幣經濟模型的設計，例如目前比較普遍流行的代幣營收模型是，代幣作為交易時候支付手續費的手段。所以可以通過手續費收入，間接反映生態的繁榮程度，交易活躍程度。最終作為估值評斷的標準。當然，token還有其他成熟的模型，例如用于抵押挖礦，或者交易的交易對，或者是算法穩定幣的錨定資產。所以Web3項目的估值模型，區別于傳統股票市場，更像是國家貨幣。代幣可以被采用的場景會有多樣性。所以對于具體項目具體分析。我們可以嘗試探索Web3去中心化計算場景中，代幣模型應該如何進行設計。首先我們假定自己去設計一個去中心化計算框架，我們會遇到什么樣的挑戰？a).因為完全去中心化的網絡，在這樣不可信的環境中完成計算任務的執行，需要激勵資源提供者保障在線率，還要保障服務質量。在博弈機制上，需要保證激勵機制合理，還要如何防止攻擊者發起欺詐攻擊、女巫攻擊等等攻擊手段。所以需要代幣作為質押手段參與POS共識網絡，先保障所有節點的共識一致性。對于資源貢獻者，需要其貢獻的工作量來實施一定的激勵機制，代幣激勵對業務增加和網絡效率提升，必須要有正向循環增長的。b).相較于其他layer1，網絡本身也會產生大量交易，面對大量粉塵交易，每筆交易支付手續費，是經過市場驗證的代幣模型。c).如果代幣只是實際用途化，市值是很難再進一步擴大。如果作為資產組合的錨定資產，進行幾層資產嵌套組合，極大擴張金融化的效果。整體估值=質押率*Gas消耗率*(流通量的倒數）*單個價格1.2.3現在處于什么階段，未來還有多少空間？2017年到現在，很多團隊都在嘗試去中心化計算方向上發展，但是都嘗試失敗，后面會具體解釋失敗的原因。探索路徑由最初類似外星人探索計劃的項目，后來發展到模仿傳統云計算的模式，再到Web3原生模式的探索。當前整個賽道的現狀，處于在學術層面已經驗證0到1的突破，一些大型項目在工程實踐上，有了較大的進展。例如當前的zkRollup和zkEVM實現上，都是剛剛發布產品的階段。未來還有很大空間，理由如下：1，還需提升驗證計算的高效性。2，還需要補充豐富更多指令集。3，真正不同業務場景的優化。4，以往用智能合約無法實現的業務場景，可以通過去中心化計算實現。我們通過一個具體案例來解釋，完全去中心化的游戲。目前大部分Gamefi需要一個中心化服務做為后端，其后端作用在于管理玩家的狀態數據和一些業務邏輯，其應用前端在于用戶交互邏輯和事件觸發后傳遞到后端。當前市面上還沒有完整的解決方案，可以支撐Gamefi的業務場景。但是可被驗證的去中心化計算協議出現，后端替換為zkvm。可以真正實現去中心化的游戲。前端將用戶事件邏輯，發送到zkvm執行相關業務邏輯，被驗證后，在去中心化數據庫記錄狀態。當然這只是提出的一個應用場景，而Web2有很多業務場景需要計算的能力。1.2.4哪些機會值得關注？怎么去賺錢？

安寧工業園區管委會將與阿里云在區塊鏈等領域業務深度合作:昨日，安寧工業園區管委會與阿里云計算有限公司簽訂推進智慧園區及數字經濟合作框架協議。根據框架協議，安寧工業園區管委會與阿里云將在云計算、大數據、人工智能、區塊鏈等相關業務領域的業務進行深度合作，共同打造以“云制造”區塊鏈為核心的工業互聯網，致力于園區“數字經濟”迅速發展。（昆明日報）[2020/12/24 16:20:33]

2.去中心化的分布式計算嘗試

2.1云服務模式

目前以太坊有如下問題:整體吞吐量低。消耗了大量的算力，但是吞吐量只相當于一臺智能手機。驗證積極性低。這個問題被稱為Verifier’sDilemma。獲得打包權的節點得到獎勵，其他節點都需要驗證，但是得不到獎勵，驗證積極性低。久而久之，可能導致計算得不到驗證，給鏈上數據安全性帶來風險。計算量受限(gasLimit)，計算成本較高。有團隊嘗試采用，被Web2廣泛采用的云計算模式。用戶支付一定費用，按照計算資源使用時間來計算費用。采取這樣模式，其根本原因是因為其無法驗證計算任務是否被正確執行，只能通過可檢測的時間參數或者其他可控的參數。最終這個模式沒有廣泛應用，沒有考慮人性的因素。大量資源被用于挖礦，以謀取最大利益。導致真正可被利用的資源較少。這是博弈系統內，各個角色謀求利益最大化的結果。最終呈現的結果，和最開始的初衷完全背離。2.2挑戰者模式

而TrueBit則利用博弈體系，達到全局最優解，來保障下發的計算任務是被正確執行。https://www.aicoin.com/article/256862.html我們快速這種計算框架的核心要點：角色：問題解決者、挑戰者和法官問題解決者需要質押資金，才可以參與領取計算任務挑戰者作為賞金獵人，需要重復驗證問題解決者的計算結果，和自己本地的是否一致挑戰者會去抽取與兩者計算狀態一致的最近時間的計算任務，如果出現分歧點，提交分歧點的默克樹hash值最后法官評判是否挑戰成功但是這個模式存在以下幾點缺陷：挑戰者可以晚時間提交，只需要完成提交任務就行。這樣導致結果是，缺少及時性。2.3利用零知識證明驗證計算

所以如何實現，既保證計算過程可被驗證，又能保障驗證的及時性。例如zkEVM的實現，每個區塊時間，需要提交可被驗證的zkProof。這個zkProof包含邏輯計算業務代碼生成的字節碼，再由字節碼執行生成電路代碼。這樣實現了計算業務邏輯是被正確執行，而且通過較短和固定時間來保障驗證的及時性。雖然zkEVM只是針對智能合約執行的場景，本質還是在計算業務框架下面。如果我們將EVM邏輯順延到其他通用類型的虛擬機，例如WASM虛擬機，或者更加通用的LLVM高性能虛擬機。當然在具體落實到工程實踐上會有諸多挑戰，卻給我們更多的探索空間。在假定條件下，有足夠高性能的零知識證明加速硬件和足夠被優化的零知識證明算法，通用計算場景可以得到充分發展。大量Web2場景下的計算業務，都可以被零知識證明通用虛擬機進行復現。就如前文所提到可賺錢的業務方向。3.零知識證明和分布式計算的結合

BitMax將與Linear Finance進行深度合作并上線LINA:據官方消息，BitMax交易所將于10月6日22:00（北京時間）上線Linear Finance（LINA），并開放LINA/USDT?，充提已開放。

同時，BitMax宣布與Linear Finance在合成資產領域進行深度合作。未來BitMax會成為Linear Finance平臺的流動性提供者，并為其用戶提供參與Lineae Finance合成資產的一系列服務：包括合成資產的生成、LINA Token的質押生息等，并還將在Linear Finance平臺主網正式上線后上線其LUSD穩定幣，進一步扶持其生態。更多詳情請至BTMX官網查詢。[2020/10/6]

3.1學術層面

我們回看一下零知識證明算法歷史發展演進的路線：GMR85是最早起源的算法，來源于Goldwasser、Micali和Rackoff合作發表的論文：TheKnowledgeComplexityofInteractiveProofSystems，該論文提出于1985年，發表于1989年。這篇論文主要闡釋的是在一個交互系統中，經過K輪交互，需要多少知識被交換，從而證明一個證言是正確的。姚氏混淆電路。一種著名的基于不經意傳輸的兩方安全計算協議，它能夠對任何函數進行求值。混淆電路的中心思想是將計算電路分解為產生階段和求值階段。每一方都負責一個階段，而在每一階段中電路都被加密處理，所以任何一方都不能從其他方獲取信息，但他們仍然可以根據電路獲取結果。混淆電路由一個不經意傳輸協議和一個分組密碼組成。電路的復雜度至少是隨著輸入內容的增大而線性增長的。在混淆電路發表后，Goldreich-Micali-Wigderson將混淆電路擴展使用于多方，用以抵抗惡意的敵手。sigma協議又稱為誠實驗證者的零知識證明。即假設驗證者是誠實的。這個例子類似Schnorr身份認證協議，只是后者通常采用非交互的方式。2013年的Pinocchio(PGHR13)：Pinocchio:NearlyPracticalVerifiableComputation，將證明和驗證時間壓縮到適用范圍，也是Zcash使用的基礎協議。2016年的Groth16：OntheSizeofPairing-basedNon-interactiveArguments，精簡了證明的大小，并提升了驗證效率，是目前應用最多的ZK基礎算法。2017年的Bulletproofs(BBBPWM17)Bulletproofs:ShortProofsforConfidentialTransactionsandMore，提出了Bulletproof算法，非常短的非交互式零知識證明，不需要可信的設置，6個月以后應用于Monero，是非常快的理論到應用的結合。2018年的zk-STARKs(BBHR18)Scalable,transparent,andpost-quantumsecurecomputationalintegrity，提出了不需要可信設置的ZK-STARK算法協議，這也是目前ZK發展另一個讓人矚目的方向，也以此為基礎誕生了StarkWare這個最重量級的ZK項目。Bulletproofs的特點為：1）無需trustedsetup的shortNIZK2）基于Pedersencommitment構建3）支持proofaggregation4）Provertime為：O(N?log(N))O(N\\cdot\\log(N))O(N?log(N))，約30秒5）Verifiertime為：O(N)O(N)O(N)，約1秒6）proofsize為：O(log(N))O(\\log(N))O(log(N))，約1.3KB7）基于的安全假設為：discretelogBulletproofs適用的場景為：1）rangeproofs2）innerproductproofs3）MPC協議中的intermediarychecks4）aggregatedanddistributed(withmanyprivateinputs)proofsHalo2主要特點為：1）無需trustedsetup，將accumulationscheme與PLONKisharithmetization高效結合。2）基于IPAcommitmentscheme。3）繁榮的開發者生態。4）Provertime為：O(N?logN)O(N*\\logN)O(N?logN)。5）Verifiertime為：O(1)>O(1)>O(1)>Groth16。6）Proofsize為：O(logN)O(\\logN)O(logN)。7）基于的安全假設為：discretelog。Halo2適于的場景有：1）任意可驗證計算2）遞歸proofcomposition3）基于lookup-basedSinsemillafunction的circuit-optimizedhashingHalo2不適于的場景為：1）除非替換使用KZG版本的Halo2，否則在以太坊上驗證開銷大。Plonky2主要特點為：1）無需trustedsetup，將FRI與PLONK結合。2）針對具有SIMD的處理器進行了優化，并采用了64byteGoldilocksfields。3）Provertime為：O(logN)O(\\logN)O(logN)。4）Verifiertime為：O(logN)O(\\logN)O(logN)。5）Proofsize為：O(N?logN)O(N*\\logN)O(N?logN)。6）基于的安全假設為：collision-resistanthashfunction。Plonky2適于的場景有：1）任意可驗證計算。2）遞歸proofcomposition。3）使用自定義gate進行電路優化。Plonky2不適于的場景為：1）受限于其non-nativearithmetic，不適于包含橢圓曲線運算的statements。目前Halo2成為zkvm采用的主流算法，支持遞歸證明，支持驗證任意類型的計算。為零知識證明類型虛擬機做通用計算場景，奠定了基礎。3.2工程實踐層面

微機科技崔傳榮：未來能源管理或將與數字貨幣深度結合:在今晚由嘉楠區塊鏈主辦，金色財經獨家支持直播的2020礦業新勢力AMA上，微機科技運營總監崔傳榮發言指出：減產長期肯定是有利于整體幣價的，但是減半發生的時機，最終漲幅由于金融工具和商業模式的變化，越來越難以預測。

整個幣圈市值已經到達萬億市值，而且行業的從業人員整體都比較年輕和富有冒險性，一定會存在許多新機會，實際上整個礦機芯片賽道就是礦幣的新生態。

另外，礦幣引發人們對電力的追逐和深度思考，重構人們對能源的思考維度，未來能源管理也可能會和數字貨幣深度結合。[2020/2/28]

既然零知識證明在學術層面突飛猛進，具體落地到實際開發時候，目前進展是怎樣的呢？我們從多個層面去觀察：編程語言：目前有專門的編程語言，幫助開發者不需要深入了解電路代碼如何設計，這樣就可以降低開發門檻。當然也有支持將Solidity轉譯成電路代碼。開發者友好程度越來越高。虛擬機：目前有多種實現的zkvm，第一種是自行設計的編程語言，通過自己的編譯器編譯成電路代碼，最后生成zkproof。第二種是支持solidity編程語言，通過LLVM編譯成目標字節碼，最后轉譯成電路代碼和zkproof。第三種是真正意義的EVM等效兼容，最終將字節碼的執行操作，轉譯成電路代碼和zkproof。目前是zkvm的終局之戰嗎？并沒有，不管是拓展到智能合約編程之外的通用計算場景，還是不同方案的zkvm針對自身底層指令集的補齊和優化，都還是1到N的階段。任重而道遠，大量工程上的工作需要去優化和實現。各家在學術層到工程實現上實現了落地，誰能最終成為王者，殺出一條血路。不僅需要在性能提升有大幅進展，還要能吸引大量開發者進入生態。時間點是十分重要的前提要素，先行推向市場，吸引資金沉淀，生態內自發涌現的應用，都是成功的要素。周邊配套工具設施：編輯器插件支持、單元測試插件、Debug調試工具等等，幫助開發者更加高效的開發零知識證明應用。零知識證明加速的基礎設施：因為整個零知識證明算法中，FFT和MSM占用了大量運算時間，可以GPU/FPGA等并行計算設備來并行執行，達到壓縮時間開銷的效果。不同編程語言實現：例如采用更加高效或者性能表現更好的編程語言：Rust。明星項目涌現：zkSync、Starkware等等優質項目，相繼宣布其正式產品發布的時間。說明了，零知識證明和去中心化計算結合不再是停留在理論層面，在工程實踐上逐漸成熟。4.遇到的瓶頸以及如何解決

4.1zkProof生成效率低

前面我們講到，關于這塊市場容量、目前行業發展情況、在技術上的實際進展，但是沒有存在一點挑戰嗎？我們對整個zkProof生成的流程進行拆解：

貴陽高新區黨工委副書記黃昌祥：深入推進區塊鏈等技術與實體經濟深度融合:貴陽網6月4日報道， 日前，高新區黨工委副書記、管委會主任黃昌祥率隊對區內大數據創新平臺進行調研。黃昌祥要求，大力實施“千企引進”“萬企融合”“千企改造”等工程，推進“智力收割機”計劃，深入推進物聯網、人工智能、區塊鏈以及大數據與實體經濟深度融合，引領大數據技術創新、加快大數據產業聚集，構筑大數據產業生態體系，以大數據引領全區經濟實現高質量發展。[2018/6/4]

在邏輯電路編譯數值化r1cs的階段，里面80%的運算量在NTT和MSM等計算業務上。另外對邏輯電路不同層級進行hash算法，隨著層級越多，Hash算法時間開銷線性增加。當然現在行業內提出時間開銷減少200倍的GKR算法。但是NTT和MSM計算時間開銷，還是居高不下。如果希望給用戶減少等待時間，提升使用體驗效果，必須要在數學實現上、軟件架構優化、GPU/FPGA/ASIC等等層面進行加速。下圖為各個zkSnark家族算法的證明生成時間和驗證時間的測試：

既然我們可以看到缺陷和挑戰，同時也意味著其中深藏著機會：設計針對特定zkSnark算法加速或者通用zkSnark算法加速的芯片。相比其他類型的加密算法，zkSnark產生較多臨時文件，對于設備的內存和顯存存在要求。芯片創業項目，同時也面臨大量資金投入，還不一定能保障最后可以流片成功。但是一旦成功，其技術壁壘和IP保護都將是護城河。芯片項目創業，必須要足夠議價能力的渠道，拿到最低成本。以及在整體品控上做到保障。顯卡加速的Saas服務，利用顯卡做加速，是支出代價小于ASIC設計，而且開發周期也較短。但是軟件創新上，在長周期上最終會被硬件加速所淘汰。4.2硬件資源占用大

麥迪森控股：推進區塊鏈深度合作，加快驅動戰略轉型:繼4月3日，麥迪森控股發布日本著名虛擬貨幣交易平臺BIT Point股權收購計劃后，又有重大動作。今天上午8點，集團再發公告，就此次交易合作事項進一步做出補充說明，根據公告顯示，集團與BIT Point已就虛擬貨幣交易平臺以及相關業務的投資布局與發展具體計劃簽署一致協議。麥迪森控股集團借助BitPoint在虛擬貨幣業務的技術積累以及在海外市場的資源優勢，完成業務戰略加速轉型，并實現自身快速發展盈利可期。[2018/4/17]

目前和一些zkRollup項目接觸，最終發現還是大內存和大顯存顯卡比較適合他們用于軟件加速。例如在Filecoin挖礦中，大量閑置的數據封裝機成為了現在熱門zkRollup項目的目標設備。在Filecoin挖礦中，在C2階段，需要將生成的電路代碼文件，生成并緩存在內存中。如果業務代碼邏輯十分復雜，其對應生成的電路代碼規模也會非常大，最終呈現形式就是體積大的臨時文件，特別涉及對電路代碼進行Hash運算，需要AMDCPU指令來加速。因為直接CPU和內存之間高速交換，效率非常高。這里面還需要涉及到NVME的固態硬盤，都會是對zkSnark運算起到加速作用。以上我們對可能存在加速實現的可能性進行探討，發現對資源要求還是非常高的。在未來，如果想大規模普及zkSnark應用，通過不同層面優化，勢在必行。4.3Gas消耗成本

我們觀察到所有zkRollupLayer2需要將zkProof傳遞到layer1進行驗證和存儲，因為ETH鏈上資源十分昂貴，如果大規模普及后，需要為ETH支付大量Gas。最終由用戶承擔這個成本，和技術發展的初衷。所以很多zkp項目提出，數據有效層、利用遞歸證明壓縮提交的zkProof，這些都是為了降低Gascost。4.4虛擬機的指令缺失

當前大部分zkvm面向智能合約編程的平臺，如果要更加通用的計算場景，對zkvm底層指令集有大量的補齊工作。例如zkvm虛擬機底層支持libc指令，支持矩陣運算的指令，等等其他更加復雜的計算指令。5.結語

因為智能合約平臺更多面向資產進行編程，如果我們希望更多真實業務場景可以接入到Web3，零知識證明和去中心化計算的結合帶來了契機。我們相應零知識證明將會成為主流賽道，不再是細分領域的技術。

Tags：PROProofROOWEBProvenance BlockchainzkProofProof Of Pepeweb3游戲是什么意思

波場