原文作者:GeorgiosKonstantopoulos,Paradigm研究合伙人
原文編譯:DeFi之道
一、簡介
零知識密碼學是過去50年計算機科學領域中最重要的創新之一。零知識證明(ZKP)提供了獨特的屬性,使其成為各種區塊鏈擴容和隱私解決方案的重要組成部分,包括像StarkNet這樣的ZKrollup、像Aztec這樣的隱私ZKrollup,以及像Mina、Filecoin和Aleo這樣的L1公鏈。
由于ZKP涉及到大量昂貴的數學運算,因此它的生產速度很慢并且成本很高。但通過使用FPGA和專用集成電路(ASIC)等專用硬件,ZKP可以加速10-1000倍。
隨著用戶尋求更具表現力、更高性能和更隱私的計算,用ZKP證明的語句復雜性將會增加。這將導致證明生成速度變慢,需要使用專門的硬件才能及時生成證明。
與比特幣礦工類似,硬件運營商的工作是需要得到補償的。最終,一個完整的零知識證明挖礦和驗證行業將會顯現,首先是愛好者在他們的CPU中生成證明,然后是GPU,然后是FPGA。與比特幣相比,我們預計ASIC可能需要很長時間才能被采用。
比特幣礦企CleanSpark 2月產出576枚BTC,售出778枚BTC:金色財經報道,比特幣礦企CleanSpark發布2023年2月挖礦和運營進展更新,CleanSpark 2月共產出576枚BTC,2023年至今已產出1273枚BTC。截至2月28日,CleanSpark持有100枚比特幣,總算力為6.6EH/s。2月,CleanSpark以2.3萬美元的均價出售了778枚BTC,收益為1790萬美元。(Globenewswire)[2023/3/3 12:40:39]
二、為什么零知識證明很重要?
零知識證明有兩個主要用例。
1、可驗證外包計算
假設由于使用的平臺存在的限制,你的計算變得非常昂貴或無法運行。
那么你必須在第三方服務上運行計算,而不是通過你自己的平臺,這種第三方服務可以快速、廉價地向你返回計算輸出。
通常情況下,你需要信任計算已正確執行,而允許提供者輸出無效結果,可能會帶來災難性的后果。
ZKP允許第三方提供商也輸出計算完整性的證明,以保證你收到的輸出是正確的。
鏈游公會Merit Circle向Web3游戲平臺ParticleInk投資25萬美元:2月28日消息,鏈游公會Merit Circle宣布與Web3游戲平臺ParticleInk達成合作,并向Particle Ink投資25萬美元,并在公司內擔任顧問職位。Particle Ink通過將AR技術、人工智能與Web3技術相結合,旨在帶來全新的游戲體驗。Particle Ink中還包括游戲內NFT資產和支持游戲內交易的社區代幣等。(ForesightNews)[2023/2/28 12:33:12]
2、隱私計算
如果你有一種在本地運行成本不高的計算,但你想隱藏其中的一部分,那該怎么辦?比方說,如果我想告訴你我知道第1000個斐波那契數,而不告訴你這個數,或者要說服你,我在沒有透露金額或身份的情況下支付了款項,那該怎么辦?
ZKP允許你有選擇地隱藏計算語句周圍的部分或全部輸入。
上述兩種用例都以多種形式在加密行業中得到了體現:
Layer2擴容:ZKP的可驗證計算,允許L1將交易處理外包給鏈外高性能系統。這使得區塊鏈可以在不損害安全性的情況下進行擴容。例如,StarkWare正在使用運行ZK友好代碼的專用虛擬機構建一個可擴展的智能合約平臺StarkNet。Aztec還允許他們的Layer2程序私下運行,而不會泄露有關用戶交易的任何信息。
區塊鏈智能情報平臺PARSIQ實時監控功能已上線Solana:區塊鏈智能情報平臺PARSIQ宣布與Solana區塊鏈進行最新的集成,其實時監控功能已上線Solana。PARSIQ集成Solana以后,Solana網絡上的用戶可以享受PARSIQ生態的好處。通過PARSIQ的推式數據流聚合器(該聚合器在實時數據流的基礎上增加可編程性),用戶利用簡單的腳本語言就可以組合獨立的數據流,并編寫任意反應式方案。用戶無需考慮環境、服務器配置和運行時管理。 PARSIQ甚至為用戶提供自己的可編程數據存儲,他們可以在腳本插入輔助數據(例如地址集、屬性等)。[2021/2/28 18:00:56]
隱私L1:Aleo、Mina和Zcash等L1公鏈允許交易者使用ZKP隱藏發送者、接收者或金額。
去中心化存儲:Filecoin使用ZKP來證明網絡中的節點正確存儲數據。
區塊鏈壓縮:Mina和Celo使用ZKP將同步到鏈上最新狀態所需的區塊鏈數據壓縮成一個小證明。
鑒于上述情況,可以肯定地說,隨著加密資產采用率的增加,我們將需要ZKP,以適應用戶對性能和隱私以及新型應用程序和協議日益增長的需求。
上市公司Cleanspark以1940萬美元收購比特幣礦企ATL Data Centers:總部位于內華達州的上市公司Cleanspark Inc.近期宣布,它將以1940萬美元收購美國比特幣礦企ATL Data Centers,交易將以股票形式徹底結算。Cleanspark專門從事微電網能源軟件。該公司聲稱,它可以在ATL設施中使用這項技術來節省能源,擴大總發電能力,并減少溫室氣體排放。
根據一份新聞聲明,Cleanspark打算將ATL運營的ASIC比特幣礦機數量增加到原來的四倍。到2021年4月,該公司將為該設施再增加30兆瓦的電力,使總容量達到50兆瓦。ATL目前有3471臺比特幣礦機,其哈希率為190 PH/s。當新礦機全部安裝完畢后,Cleanspark預計該設施將把比特幣算力提高到0.9至1.4 EH/s。(Bitcoin.com)[2020/12/12 14:59:46]
ZKP從根本上允許可擴展的私人支付和智能合約平臺蓬勃發展,但也帶來了巨大的開銷,這在歷史上阻礙了它們的采用。
三、ZKP為什么慢,以及我們如何讓它們變快?
Decalllet引進加密貨幣稅務會計公司Aerial Partners的財務管理系統:虛擬貨幣稅務管理公司Aerial Partners于3月25日宣布,該公司的財務和會計管理系統“Gtax”已被加密貨幣交易所Decalllet引進。據悉,系統的引進將使交易所將交易數據集中化管理以及快速而準確地掌握資產狀態,并減少會計的工作時間。(CryptoWatch)[2020/3/25]
證明計算需要首先將其從經典程序轉換為ZK友好格式。這可以通過手動重寫代碼以使用Arkworks之類的低級庫來實現,也可以通過使用Cairo或Circom之類的域特定語言來編譯成必要的原語來生成證明。
而更昂貴和更復雜的操作會導致更長的證明生成時間。一些操作對ZK不友好也很常見,這導致在經典計算機上可能是廉價操作的證明生成時間很長。
一旦您的計算采用ZK友好的形式,你就可以選擇一些輸入并將其發送到證明系統。目前已經有很多證明系統,一些以論文作者的名字命名,另一些則以更具創造性的名字命名。它們的共同點是,它們接受一個以ZK友好格式表示的計算,以及一些輸入,并輸出一個證明。
根據證明系統的不同,證明生成過程可能會有所不同,但瓶頸始終是:
對大型數字向量的乘法,特別是可變基數和固定基數多標量乘法;或
快速傅里葉變換和逆快速傅里葉變換;
在同時存在FFT和MSM的系統中,大約70%的生成證明時間都花在MSM上,而其余時間則由FFT主導。
MSM和FFT都很慢,但也都有提高性能的方法:
MSM可以通過在多個線程上運行它們來進行加速。然而,即使在數百個內核上,如果每個元素向量的長度為2^25,那么乘法最終仍然會花費大量時間。這意味著經常重復相同的操作,并且會耗盡設備上的大部分可用內存。簡而言之,MSM需要大量內存,并且即使在高度并行化時仍然會很慢。
FFT嚴重依賴算法運行時數據的頻繁洗牌。這使得它們很難通過在計算集群中分配負載來實現加速,正如DIZK所示。此外,它們在硬件上運行時需要大量帶寬。洗牌意味著你需要“隨機”加載和卸載元素,例如,在內存等于或少于16GB的硬件芯片上,從大于100GB的數據集中加載和卸載元素。雖然硬件上的操作非常快,但通過網絡加載和卸載數據的時間最終會顯著減慢操作速度。
簡而言之:
MSM具有可預測的內存訪問,并允許大量并行化,但由于所需的原始計算量和內存量,它們的成本仍然很高。
FFT有隨機的內存訪問,這使得它們對硬件不友好,而且很難在分布式基礎設施上運行。
在解決大型MSM和FFT的緩慢問題方面,我們看到的最有希望的研究工作是PipeZK。在他們的論文中,作者們描述了一種使用Pippenger算法跳過重復計算的方法來降低MSMs的成本。他們還描述了一種“展開”FFT的方法,這樣它們就可以在不進行重大洗牌的情況下執行,而由于可預測的內存訪問模式,這可以提高硬件的速度。
假設上述方法解決了每種算法的基本瓶頸,那么問題就變成了:使用高度優化的MSM和FFT算法來加速ZKP生成的最佳硬件是什么?
四、硬件很重要
上述加速技術可以在多種硬件技術上實現:GPU、FPGA或ASIC。但是哪一種是最好的選擇呢?
要回答這個問題,我們首先必須承認ZKP仍處于早期發展階段。系統參數或證明系統的選擇,仍然缺乏標準化。
由于這些因素,FPGA有兩個核心特性使其在ZK環境中優于ASIC:
“多次寫入”與“一次寫入”:ASIC上的業務邏輯是一次寫入。如果任何ZKP邏輯發生變化,你需要從頭開始。FPGA可以在1秒內重新刷新任意次數,這意味著它們可以在具有不兼容證明系統的多個鏈上重復使用相同的硬件,并靈活地適應ZK“meta”的變化。
更健康的供應鏈:ASIC從設計、制造到部署,通常需要12到18個月或更長的時間。相比之下,FPGA供應鏈是健康的,Xilinx等領先供應商允許在16周內從網站獲得大量零售訂單。這允許以FPGA為中心的運營商在其產品上有一個更緊密的反饋回路,并通過購買和部署更多FPGA來擴大運營規模。
我們還預計FPGA的性能將優于GPU,原因與它們在機器學習和計算機視覺領域蓬勃發展的原因類似:
1、硬件成本:一流的FPGA比一流的GPU便宜約3倍。此外,全球對GPU的需求進一步加劇了這一問題。
2、能源效率:FPGA的能效比GPU高10倍以上,其中一個重要原因是需要將GPU連接到主機設備,這通常會消耗大量電力。
鑒于上述情況,我們預計市場上的贏家將是專注于FPGA而非ASIC或GPU的公司。然而,如果只有一個或幾個ZKL1或L2項目最終主導了市場,并且ZK證明系統穩定在單個實現附近,那么ASIC勝過FPGA的可能性可能會更高。但這種情況要真的發生,我們可能還需要等待幾年的時間。
五、結論
2021年,比特幣礦工的凈收入超過150億美元,以太坊礦工則剛剛超過170億美元。零知識證明最終成為網絡計算完整性和隱私的事實媒介,這似乎是合理的。在這種情況下,零知識礦工/證明人的機會可能與工作量證明挖礦市場的規模相似。
ZKP很慢,其需要硬件加速才能在復雜的計算中變得可行。我們認為,對ZK硬件加速最重要的技術是FPGA,而不是GPU或ASIC。
如果你是一位硬件、Rust或密碼學專家,并且有興趣進一步討論或合作解決這個問題,請通過與我聯系。
感謝AsimakisKattis、AchalSrinivasan、HowardWu、JimProsser、JustinDrake、KobiGurkan、MattMizbani、PratyushMishra以及RadiavCojbasic對本文早期草稿提供的反饋。
Period:?13:00(UTC)onApr13-13:00(UTC)onApr20,2022HowtoParticipate: ?JoinNow? ●Clickthe?buttonatthe.
1900/1/1 0:00:00尊敬的XT.COM用戶:因BLKC,DINGO,LTNM錢包升級維護,XT.COM現已暫停BLKC,DINGO,LTNM充提業務.
1900/1/1 0:00:00如今,Web3成為熱門話題,逐漸出圈,引起廣泛關注。4月15日下午,Odaily星球日報邀請到四位嘉賓,共同探討在加密浪潮大變革時代,Web3.0公鏈和生態如何乘勢而起?四位嘉賓分別是:Mann.
1900/1/1 0:00:00尊敬的用戶:由於ADA節點維護,Hotcoin現已暫停ADA的充值、提現業務,交易不受影響。待節點維護完成後恢復充值、提現業務,具體恢復時間將以公告另行通知.
1900/1/1 0:00:00尊敬的唯客用戶您好! 活動時間:2022/04/0100:00至2022/04/3023:59 活動三:交易抽蘋果手機 活動期間有進行交易的用戶.
1900/1/1 0:00:00原文作者:Jasur 原文來源:鏈茶館 四月以來,有關NearProtocol的新聞愈發增多,包括前不久完成3.5億美元的融資、以及即將推出穩定幣USN等等.
1900/1/1 0:00:00