深度探討Web3時代的ZKP如何邁向主流？_ZKP

原文標題：《ZKPsinWeb3:NowandtheFuture》

原文作者：MohamedFouda、QiaoWang

原文編譯：Frank，ForesightNews

作為一種足夠通用的技術，ZK可以擁有多種用例，而我們正處于弄清楚該技術可以實現的所有用例的早期階段。一些明顯的ZK用例已經找到了真正的應用，例如實現交易隱私和數據壓縮，然而要讓ZK被主流采用，仍然需要發掘進一步的潛在用例和技術進步。

本文我們將首先回顧ZKP的不同應用，然后將討論什么可以實現這項技術的下一階段，以及一些可以從這項技術中受益的創業想法。

ZKP的應用地圖

自發明以來，零知識證明已在加密行業站穩腳跟。

ZKP確實存在一些魔力，使這項技術非常令人興奮——它允許實體向世界其他地方證明自己知道一條信息或已經正確完成了一項任務，但卻無需透露該信息或顯示該任務的詳細執行信息。

ZK的數學魔力允許我們通過檢查生成的ZKP來信任該知識或任務已執行完畢，出于這個原因，ZKP的第一個也是最一致的用例就是以隱私為中心的加密網絡，ZKP還被用于提供以太坊L1上關于L2交易的有效性證明，以引入ZKRollup的概念，此外ZKP在不同的項目中也被廣泛應用于其他小眾應用程序。

注重隱私的支付和協議

ZKP自然而然地實現了隱私特性，特別是在去中心化網絡中，人們缺乏可以充當真相來源的中心化權威——ZKP允許Web3用戶向網絡驗證者證明他們的交易是有效的，即他們有足夠的余額可以花費，而無需透露交易細節，例如交易金額、發送者或接收方地址。

ZKP最初是為了支持Zcash網絡中的隱蔽支付而開發的，隨后擴展到了其他網絡，包括：

注重隱私的L1：Zcash、Horizon、Aleo和IronFish；

BK Capital宣布二級市場增持分布式存儲項目CMD，并達成深度戰略合作:近日，BK Capital宣布在二級市場增持CMD項目，未來雙方將在品牌宣傳、技術社區等多維度展開深度合作，共建多元化社區生態，助力CMD領域的生態建設。

CMD是一個具有獨立的、自我修復的內置智能合約的公鏈，CMD生態系統中的空間可以相互通信，交換和互操作，從而提高了節點網絡的健壯性和可用性。CMD目前結合了各種匿名協議，提高了整個交易鏈的安全性和隱私性，同時其獨特的DPOS+POC+POJ應用獎池可以讓更多的礦工參與進來。

BK Capital隸屬必客集團，是集團旗下唯一一支涵蓋投資、孵化的數字貨幣基金，業務包括區塊鏈行業的一級市場的幣權投資和股權投資、二級市場的數字資產資管服務。[2020/10/21]

一般鏈上的隱私智能合約：TornadoCash；

注重隱私的L2：Aztec；

ZKRollups的驗證

ZKP的另一個主要用例是在底層L1上生成Rollup有效性證明，通用Rollup通過不利用ZKP的隱私功能來優化吞吐量，即證明更多的交易，在這種權衡中，ZKP僅用來證明L2交易執行的正確性。

由于一些通用函數不能被有效地證明，因此生成ZKP來證明任意智能合約的正確執行是很困難的，解決這個問題需要實現專門的虛擬機，這些VM可以使用底層ZK電路有效地進行驗證。由于這種復雜性，ZKRollup最初只支持支付或單個應用程序，例如可以很容易地生成ZKP的DEX。

這里的例子包括zkSync1.0和Loopring，之后通用的zkEVM實現開始出現在市場上，包括Starknet、zkSync2.0、PolygonzkEVM和Scroll。目前所有ZKRollup都在以太坊上，但其實也可以在包括比特幣在內的其他鏈上實現ZKRollup。

然而，比特幣Rollup的實施將需要更改比特幣操作碼并進行鏈的硬分叉，這通常不受比特幣社區的歡迎。

繽果合約（BingoEx）與比特村達成深度戰略合作:據官方消息，繽果合約（BingoEx）與比特村達成深度戰略合作，并簽約成為繽果合約（BingEx）大中華區合約運營商，將享有全球市場運營、渠道商招募及全方面業務拓展等權益。雙方在合約市場展開全方位合作，將在用戶擴展、社區合作、品牌宣傳等進行合作，助力社區人員擁有最佳的合約體驗、建立線上社區以及線下運營中心。

繽果合約（BingoEx）隸屬于BingoEx Capital集團，在美國注冊，截至目前，累計注冊用戶已有42萬以上，50名以上技術和金融安全團隊，系統采用多重底層安全技術，已與多家區塊鏈安全服務平臺達成合作。繽果合約（BingoEx）已正式開啟全球合伙人招募。[2020/7/8]

其他ZKP應用

除了注重隱私的應用程序和Rollup之外，ZKP還在其他區塊鏈協議中進行更廣泛方面的應用。

Mina

Mina使用ZKP將區塊鏈狀態壓縮成很小的規模，為了實現這一點，Mina使用遞歸ZKP，即其他ZKP的ZKP。

當在Mina網絡中生成一個區塊時，zk-SNARKs被用來生成該區塊的證明，以確保其有效性；當新的區塊引用以前的區塊時，新區塊的ZKP會驗證所有以前的區塊，同時保持恒定的大小。

Filecoin

Filecoin使用ZKP來確保存儲提供商正確存儲他們聲稱要存儲的數據，此過程稱為復制證明。

在此過程中，存儲提供程序生成ZKP以證明它們正在存儲數據的唯一副本，即非由其他存儲提供程序維護的副本。ZKP為希望實現一定冗余和可用性水平的Filecoin用戶提供了保證，此外由于證明的大小比存儲的數據小得多，因此使用ZKP可以降低存儲提供程序的帶寬要求。

CeloPlumo

CeloPlumo使用ZKP來創建可在手機和其他資源有限的設備上使用的超輕量級網絡客戶端，盡管客戶端具有輕量級性質，但它可以保證其訪問狀態的正確性。

DarkForest

DarkForest是ZKP在游戲領域最受歡迎的應用。盡管ZKP的使用符合隱私用例，但DarkForest在支付網絡中的金融應用之外，將它用于創建一個不完全信息游戲的應用，所以這是一個與眾不同的用例。

相里朋：區塊鏈技術一定是與傳統產業深度融合才能發揮其技術價值:近日，工業和信息化部電子第五研究所區塊鏈創新團隊負責人、高級工程師相里朋“云連線”有關人員，為武漢支招獻策。對此，金色財經采訪到工業和信息化部電子第五研究所區塊鏈創新團隊負責人、高級工程師相里朋，進一步了解到此次“云連線”的細節。相里朋表示，我單位與中國通信服務股份有限公司區塊鏈研究院（湖北郵電規劃設計有限公司）已有多次合作，此次“云連線”主要是為共同打造區塊鏈產業創新基地，做好請示匯報。擬重點圍繞“區塊鏈融合創新中心”，建設區塊鏈測試驗證平臺、區塊鏈展示和培訓教育平臺、區塊鏈應用創新研究平臺以及區塊鏈技術綜合研究平臺。面向華中地區開展區塊鏈技術融合應用創新，AI區塊鏈、工業區塊鏈等綜合研究，加速關鍵技術突破。協助江漢區打造區塊鏈產業創新發展示范區，不僅是身體力行的支持武漢復工復產，更是看中了江漢區在金融、商貿、醫療等傳統領域的優勢。區塊鏈技術不是特立獨行的，一定是與傳統產業深度融合，才能最大的發揮其技術價值。[2020/6/10]

ZKP的發展軌跡及其應用

2016年之前，ZKP作為一個研究課題，只在少數的學術圈子里討論。當Zcash創始團隊創建第一個ZKP變體以支持Zcash網絡中的屏蔽/私有交易時，一切開始改變。

有了真正的用例，大家對ZKP的興趣就越來越大，這進一步導致了更好的ZKP變體，從而成為第一章節中討論的許多項目的基礎，然而該技術需要進一步的ZKP開發才能被主流采用。

為了了解如何進一步改進技術，我們可以向人工智能等類似技術學習，因為在許多方面ZKP技術類似于AI技術，所以預計它也將遵循類似的軌跡。

與ZKP一樣，AI最初是一項有前途的技術，可以解決許多問題。然而最初的AI算法在功能上受到限制，并且計算復雜性遠遠超過了可用硬件的能力，這使得AI應用進展緩慢且不切實際，從而主要被局限于研究實驗室。

后續通過發明深度神經網絡等新架構和利用GPU提高執行速度，AI持續實現逐步改進，最終導致了突破，例如2012年的AlexNet在最著名的計算機視覺競賽ImageNet中以巨大的優勢獲勝。AlexNet是AI時代的開始，它導致了當前令人興奮的AI應用程序，如GPT-3、Dall.E2和StableDiffusion。

聲音 | 石家莊市委常委趙文鋒：加快區塊鏈等新興技術與制造裝備等產業的深度融合:石家莊市委常委、秘書長、高新區工委書記趙文鋒在高新區召開工委擴大會議。會議上，趙文鋒表示要聚焦全年目標任務，把推動經濟平穩較快運行作為落實省委、市委全會精神的緊迫任務，全面強化項目保障、手續辦理、服務質量等各項措施，確保經濟運行穩中有進、持續上行。要聚焦產業提質升級，認真落實“4+4”現代產業發展戰略，加快大數據、區塊鏈、人工智能等新興技術與生物醫藥、制造裝備等產業的深度融合，全面加快提質升級步伐，爭當全市改革發展排頭兵。（石家莊日報）[2019/11/15]

今天的ZKP狀態類似于早期的AI狀態，這是一項有前途的技術，仍在積極開發中，并且因計算密集型特性而導致證明時間很長。從AI的進步軌跡中學習，我們可以確定ZKP技術起飛需要解決的瓶頸。

1.算法/電路改進

就像AI從LeNet-5到AlexNet，從Resnet-50到Transformer一樣，ZKP算法也將經歷開發階段以顯著提高性能。我們已經看到這方面的進展，自2011年引入zk-SNARKs以來，行業已經開發了更先進的算法。

譬如2018年Starkware創始人開發的STARK，這是一種不需要可信設置且證明生成時間更短的ZKP方法，這項技術是Starkware旗下StarkNet在內的幾款產品的基礎。

隨著在2019年引入PLONK，ZKP繼續取得進展——PLONK是一種SNARK實現，允許許多應用程序使用單個受信任的設置，而無需重復設置。PLONK刺激了多種ZKP實現的開發，被多個Web3協議使用。

2.執行引擎優化

ZKP的一個主要限制是計算復雜性導致較長的證明時間。例如最近宣布的PolygonzkEVM，需要在64核服務器上運行大約5分鐘才能生成50萬Gas計算的證明。

縮短ZKP驗證時間是將ZKP技術納入主流的關鍵部分，與AI類似，優化軟件執行引擎和使用專用硬件都是實現這一目標的必要條件。

優化的軟件

許多ZKP生成操作都是大規模并行的，這意味著并行處理可以加速ZKP計算。專用的GPU庫可用于加速NvidiaGPU上ZKP的計算，由于每個項目都使用不同的ZKP算法，因此有幾個項目正在嘗試在內部進行開發。

聲音 | 房愛卿：要促進電商技術創新 使區塊鏈等技術電子商務深度融合:據每日經濟新聞報報道，全國政協經濟委員會副主任房愛卿指出，要促進電商技術創新，使物聯網、人工智能、大數據和云計算、區塊鏈等技術與電子商務深度融合，為電商提供更為高效、安全的技術手段和交易方式。[2019/8/24]

一個值得注意的例子是Filecoin對Groth16算法的實現，該算法使用GPU來加速證明過程；另一個例子是Edgeswap使用GPU將PLONK的驗證時間縮短了75%。

專用硬件

由于GPU對ZKP驗證時間的改進通常是有限的，因此另一種選擇就是使用專用硬件，例如FPGA或ASIC。

在制造專用芯片的昂貴努力之前，FPGA通常被認為是硬件原型設計平臺。FPGA或結合GPU和FPGA的混合解決方案，可以在中短期內加速ZKP應用于Rollup和注重隱私的網絡。

然而如果ZKP技術發展到我們預期的水平，ASIC最終將贏得這個市場。目前ZKP的硬件加速尚未得到充分解決，這可能是因為ZKP算法的多樣性和碎片化，但是我們相信通過正確的商業模式，一些初創公司可以專注于開發和貨幣化這部分技術堆棧。

3.軟件抽象層

為了釋放ZKP的潛力，需要構建多個抽象層和工具，這些抽象對于簡化ZKP應用程序的開發過程是必要的——允許每組開發人員專注于他們最擅長的事情，例如應用程序開發人員不應該擔心ZK電路的底層細節以及它們是如何工作的。

再次使用AI類比，通過創建多個抽象層，AI可以取得巨大進步。使用這些抽象，AI應用程序開發人員無需擔心NN架構或硬件資源分配，因為TensorFlow和PyTorch等框架抽象出了所有這些底層細節。

ZK開發堆棧還沒有像AI堆棧那么完善，但是仍有一些努力來構建這些抽象層：堆棧的底部存在低級ZKP庫，如PLONK和STARK；在該層之上，諸如Noir之類的高級語言試圖抽象出底層的ZK密碼學，并幫助應用程序開發人員專注于應用程序邏輯；Circom是另一種流行的ZKP語言，位于這兩層之間，因為它既可用于創建復雜的ZK后端，也可用于開發基于ZKP的應用程序。

Web3中ZKP抽象的另一個例子是StarkWare的Cairo語言，它允許開發人員實現在底層使用STARK證明的通用智能合約。為了提供進一步的抽象，Nethermind的Warp工具允許Solidity開發人員將他們的Solidity代碼直接轉換為Cairo。

譬如使用Warp，可以將UniswapV3代碼轉譯為Cairo，且只需對原始Solidity代碼進行最少的更改。

ZKP的創業機會

基于對ZKP可能發展路徑的討論，我們確定了一些與ZKP相關的創業想法，主要理念分為兩類：工具和應用。

ZKP工具

1.高級開發框架

與AI中的Tensorflow和PyTorch類似，高級ZKP開發框架對于在應用程序級別實現創新至關重要。這些框架需要：

將底層ZKP后端的復雜性抽象出來；

支持各種ZKP后端和硬件環境，例如CPU和GPU；

允許高效的調試和測試；

提供包含示例和教程的豐富開發環境；

以太坊生態系統中最接近的例子是Hardhat和Foundry，但它們不太可能很快支持zkEVM或ZKP，相反，像Cairo這樣的現有抽象工作，最終可能會發展到填補這個空間。

2.ZKRollupSDK

ZKRollup越來越受歡迎，可以為游戲或高吞吐量DeFi協議啟用特定于應用程序的L2。在這種情況下，ZKRollup主要負責執行和結算，而共識和數據可用性將由L1處理。

但是啟動特定于應用程序的ZKRollup仍然非常復雜，我們相信提供對開發人員友好的SDK來啟動自定義ZKRollup的初創公司將解決真正的業務需求，并可以通過提供開發工具箱、開發人員服務、排序器服務和支持基礎設施來成為價值業務。

3.ZKP硬件加速器

以特定用例為目標并建立早期市場領先地位的專業硬件公司最終成為具有巨大價值的公司，人工智能就是如此——Nvidia通過專注于人工智能硬件成為最有價值的北美半導體公司。

在比特幣挖礦領域也是如此，當時比特大陸、嘉楠科技和Whatsminer通過專注于ASIC礦機而成為獨角獸，而設計和制造高效ZKP硬件加速器的公司也將遵循相同的軌跡。

ZKPWeb3應用程序

1.ZK跨鏈橋和互操作性

ZKP可用于為跨鏈消息傳遞協議創建有效性證明，其中跨鏈消息可以在目標鏈上快速驗證，這類似于在底層L1上驗證ZKRollup的方式。但是對于跨鏈消息傳遞，復雜性更高，因為要驗證的簽名方案和加密函數在源鏈和目標鏈之間可能不同。

2.ZK鏈上游戲引擎

DarkForest證明了ZKP可以使信息不完全的鏈上游戲成為可能，這對于設計更具互動性的游戲至關重要，在這些游戲中玩家的行為在決定公開之前是保密的。隨著鏈上游戲的成熟，我們預計ZKP將成為游戲執行引擎的一部分，因此對于成功將隱私功能集成到高吞吐量鏈上游戲引擎中的初創公司來說，機會巨大。

3.身份解決方案

ZKP可以在身份領域創建新的機會，譬如用于創建聲譽或連接Web2和Web3身份，目前我們的Web2和Web3身份是分開的，像Clique這樣的項目通過使用預言機連接這些身份。

ZKP可以通過啟用Web2和Web3身份的匿名鏈接來進一步采用這種方法：可以為那些可以使用Web2或Web3特定領域專業知識的人，提供匿名DAO成員資格等場景的用例；另一個用例則是基于借款人的Web2社會地位，提供無擔保Web3貸款。

4.符合法規要求的ZKP

Web3使匿名在線帳戶能夠積極參與金融系統，從這個意義上說，Web3實現了巨大的財務自由和包容性。隨著Web3法規的增加，ZKP可在合規的基礎上不破壞匿名性，譬如ZKP可用于證明用戶不是受制裁國家的公民或居民，ZKP還可用于證明合格投資者身份或任何其他KYC/AML要求。

5.原生Web3私募債務融資

TradeFi債務融資通常用于支持成長中的初創公司加速增長或啟動新的業務線，而無需籌集額外的風險資金。

Web3DAO和匿名公司的興起為Web3原生債務融資創造了機會，例如使用ZKP，DAO或匿名公司可以根據其增長指標的證明，以具有競爭力的利率獲得非抵押貸款，而無需向貸方透露借款人的信息。

6.私有DeFi

金融機構通常會對其交易歷史和風險敞口進行保密，但由于區塊鏈分析的不斷發展，當使用鏈上產品時，要滿足這一點就十分具有挑戰性，一個可能的解決方案是開發以隱私為中心的DeFi產品，以保護協議參與者的隱私。

譬如Penumbra的zkSwap，此外Aztec的zk.money通過模糊用戶參與的DeFi協議操作，也提供了一些私有DeFi賺錢機會。

一般來說，成功實施高效且注重隱私的DeFi產品的協議，可以從機構參與者那里獲得可觀的用戶數量和收入。

7.基于ZKP的Web3廣告

Web3推動用戶對其數據的所有權，例如瀏覽歷史記錄、私人錢包活動等，Web3還可以使這些數據貨幣化以造福用戶。由于數據貨幣化可能與隱私相矛盾，ZKP可以在控制個人數據的哪些方面可以向廣告商和數據聚合商披露方面發揮重要作用。

8.私人數據的共享和貨幣化

如果與正確的實體共享，我們的大部分私人數據可能都會產生很大的影響。譬如個人健康數據可以眾包，以幫助研究人員開發新藥；私人財務記錄可以與監管機構和監管機構共享，以識別和懲罰腐敗等等；ZKP可以實現此類數據的私人共享和貨幣化。

9.去中心化的情報組織

ZKP可以催生去中心化的情報組織。在這些系統中，情報人員、數據偵探和間諜可以成為網絡的一部分，而無需互動或相互了解。參與者可以在接收私人付款以換取該數據之前，使用ZKP來證明對某些情報數據的了解。此類系統還可以促進協作和可組合的方式，以豐富或解釋收集的數據，同時保持參與者的隱私。

10.私人治理

隨著DAO和鏈上治理的激增，Web3正在向直接參與的民主靠攏，當前治理模式的一個主要缺陷是參與的非隱私性。ZKP可能是解決此問題的基礎，治理參與者可以在不透露他們如何投票的情況下投票。此外ZKP可以將治理提案的可見性限制為DAO成員，從而使DAO能夠建立競爭優勢。

結論

ZKP技術是Web3?領域最具創新性的技術之一，它為突破性的協議和公司提供了多種機會。

Tags：ZKPWEB區塊鏈WEB3ZKPEPEcoinweb幣投資機構區塊鏈游戲幣拍賣web3.0幣龍頭

比特幣價格