Rollup等用例已開始廣泛應用,然而要讓ZK被主流采用,仍然需要發掘進一步的潛在用例和技術進步。
原文標題:《ZKPsinWeb3:NowandtheFuture》
撰文:MohamedFouda、QiaoWang
零知識技術是一種推動技術,不僅將改變Web3,還將改變其他行業。
作為一種足夠通用的技術,ZK可以擁有多種用例,而我們正處于弄清楚該技術可以實現的所有用例的早期階段。一些明顯的ZK用例已經找到了真正的應用,例如實現交易隱私和數據壓縮,然而要讓ZK被主流采用,仍然需要發掘進一步的潛在用例和技術進步。
本文我們將首先回顧ZKP的不同應用,然后將討論什么可以實現這項技術的下一階段,以及一些可以從這項技術中受益的創業想法。
ZKP的應用地圖
自發明以來,零知識證明已在加密行業站穩腳跟。
ZKP確實存在一些魔力,使這項技術非常令人興奮——它允許實體向世界其他地方證明自己知道一條信息或已經正確完成了一項任務,但卻無需透露該信息或顯示該任務的詳細執行信息。
ZK的數學魔力允許我們通過檢查生成的ZKP來信任該知識或任務已執行完畢,出于這個原因,ZKP的第一個也是最一致的用例就是以隱私為中心的加密網絡,ZKP還被用于提供以太坊L1上關于L2交易的有效性證明,以引入ZKRollup的概念,此外ZKP在不同的項目中也被廣泛應用于其他小眾應用程序。
注重隱私的支付和協議
ZKP自然而然地實現了隱私特性,特別是在去中心化網絡中,人們缺乏可以充當真相來源的中心化權威——ZKP允許Web3用戶向網絡驗證者證明他們的交易是有效的,即他們有足夠的余額可以花費,而無需透露交易細節,例如交易金額、發送者或接收方地址。
ZKP最初是為了支持Zcash網絡中的隱蔽支付而開發的,隨后擴展到了其他網絡,包括:
Web3時尚平臺SYKY推出新興數字設計師孵化器:金色財經報道,數字時尚平臺SYKY推出了為期一年的孵化器項目The SYKY Collective,旨在幫助新興的數字設計師發展自己的品牌。
首批10名設計師包括時裝品牌Pet Liger、時裝藝術家Stephy Fung、攝影師GlitchofMind、數字藝術家Calvyn Dylin Justus、空間計算藝術家Taskin Goec、視覺藝術家孫凡瑞、時尚品牌Nextberries、3D藝術家Gustavo Toledo、鞋類設計師Felipe Fiallo和沉浸式創作者Jacquelyn Assar。[2023/6/27 22:03:54]
注重隱私的L1:Zcash、Horizon、Aleo和IronFish;
一般鏈上的隱私智能合約: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的實施將需要更改比特幣操作碼并進行鏈的硬分叉,這通常不受比特幣社區的歡迎。
ApeCoin社區投票否決“推出Web3流媒體平臺”的AIP-222提案:4月13日消息,Snapshot頁面顯示,ApeCoin社區關于“推出由ApeCoin支持的Web3流媒體平臺”的AIP-222提案投票已結束,未獲得通過。該提案反對率為49.33%,支持率為33.88%。
該提案提議通過推出Web3流媒體平臺,允許內容創作者通過自己的網絡進行傳播,直接到達社區,獲得更大的廣告費份額,保留其知識產權,并與社區分享一定比例的廣告收入。該平臺利用廣告商(AVOD)和FAST渠道,并創建了一個新的三方收入分享選項,以增強全球獨立創作者的能力,并將新的消費者引入APE生態系統的回報中。[2023/4/13 14:01:03]
其他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在支付網絡中的金融應用之外,將它用于創建一個不完全信息游戲的應用,所以這是一個與眾不同的用例。
巴基斯坦旁遮普邦政府啟動“Punjab 3.0” Web 3門戶網站:金色財經報道,巴基斯坦旁遮普邦政府啟動“Punjab 3.0” Web 3 門戶網站 (web3.punjab.gov.pk/)并成立 Web3 高級委員會。該邦信息技術 (IT) 部長 Arslan Khalid 稱,此 Web3 門戶將促進不同用戶和網站之間的更多互動,“Punjab 3.0” 將重點研究 Web3 治理、研發與商業化,并將推出相應政策和監管制度,同時還設定了基于 AR/VR、加密貨幣和區塊鏈的路線圖。(phoneworld)[2022/11/30 21:13: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。
今天的ZKP狀態類似于早期的AI狀態,這是一項有前途的技術,仍在積極開發中,并且因計算密集型特性而導致證明時間很長。從AI的進步軌跡中學習,我們可以確定ZKP技術起飛需要解決的瓶頸。
DeFi新聞媒體平臺The Defiant完成140萬美元Pre-Seed輪融資,將構建Web3金融信息平臺:海外加密媒體The Defiant背后的公司Defiant Media Inc.宣布完成140萬美元Pre-seed輪融資,投資者包括IDEO CoLab Ventures、ParaFi Capital、IOSG Ventures、Blockchange Ventures、Axia8 Ventures、Defiance Capital、Youbi Capital、MetaCartel Ventures、Nima Capital、GBV Capital、Kenetic Capital、Mechanism Capital、Cluster Capital、Serotonin、FreeCo、Morningstar Ventures、Anthony Pompliano、Mariano Conti、Kendall Saville、Clara Bullrich、Will Price、Peter Pan、Andrew Keys、David Nage、Garrett MacDonald和Wong Joon Ian,顧問包括Cooper Turley和DeFi Dad。[2021/4/13 20:13:34]
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計算的證明。
世界教育區塊鏈協會(WEBA)于6月16日在新加坡正式啟動:由EduCoin主辦的首期“教育+區塊鏈”智匯論壇于6月16日在新加坡舉行,世界教育區塊鏈協會(World Education Blockchain Association)也在本次活動中正式啟動。WEBA為非營利性的國際組織,由全球區塊鏈平臺企業、區塊鏈服務機構、金融服務機構、教育服務機構、具備條件轉型升級的傳統企業、相關科研院所、高校及有關專家學者等自愿參加的國際性區塊鏈行業組織。匯集區塊鏈及教育界的資深從業者和興趣愛好者,共同探討區塊鏈教育相關問題,以促進世界區塊鏈教育行業可持續發展。
WEBA將定期舉辦論壇、峰會等業界交流活動,定期和不定期舉辦區塊鏈的技術研討和技術培訓課程,促進區塊鏈的技術交流,應用推廣和資源整合,幫助人們理解區塊鏈技術的特性及培養具有未來視野和歷史使命的區塊鏈專業人才,共建全球教育區塊鏈生態。[2018/6/16]
縮短ZKP驗證時間是將ZKP技術納入主流的關鍵部分,與AI類似,優化軟件執行引擎和使用專用硬件都是實現這一目標的必要條件。
優化的軟件
許多ZKP生成操作都是大規模并行的,這意味著并行處理可以加速ZKP計算。專用的GPU庫可用于加速NvidiaGPU上ZKP的計算,由于每個項目都使用不同的ZKP算法,因此有幾個項目正在嘗試在內部進行開發。
一個值得注意的例子是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?領域最具創新性的技術之一,它為突破性的協議和公司提供了多種機會。
自我托管一直被譽為管理加密資產的最佳實踐。FTX和Celsius的崩潰是一長串事件中的最新一起,這些事件提醒業內“非彼之鑰,則非彼之幣”,引得人們紛紛奔向非托管錢包.
1900/1/1 0:00:00摘要 Cosmoverse大會在9月26–28日召開,主要內容圍繞技術升級和Cosmos2.0的新方案,其中包括Cosmos的鏈間功能和ATOM2.0版本.
1900/1/1 0:00:00在最近的FTX崩盤事件當中,整個幣圈都因為FTX的死亡螺旋和擠兌而震蕩。在關注FTX及其相關方的財務狀況的同時,部分律師正在關注FTX崩盤的法律影響.
1900/1/1 0:00:00金色財經報道,由前Meta工程師創建的LayerOne區塊鏈宣布開放測試網,該團隊表示,測試網Wave1專注于運營商,特別是驗證者和運營全節點的參與者,在Wave1中.
1900/1/1 0:00:00作者:比推JonathanSmith這兩天,趙長鵬和?SamBankman-Fried?(SBF)在社交媒體上隔空對罵、互相拆臺,吸引了一眾加密圈玩家的注意力.
1900/1/1 0:00:00作者:柏亮?? 10月31日,香港財政司正式發布《有關香港虛擬資產發展的政策宣言》。從這份宣言中,我們可以提煉出一些關鍵詞,更清晰地了解香港財政司對虛擬資產市場的認知、態度、監管原則和創新實驗.
1900/1/1 0:00:00