以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 聚幣 > Info

Paradigm:零知識證明挖礦或將成為下一片藍海_ZKP

Author:

Time:1900/1/1 0:00:00

原文作者:GeorgiosKonstantopoulos,Paradigm研究合伙人

原文編譯:DeFi之道

一、簡介

零知識密碼學是過去50年計算機科學領域中最重要的創新之一。零知識證明(ZKP)提供了獨特的屬性,使其成為各種區塊鏈擴容和隱私解決方案的重要組成部分,包括像StarkNet這樣的ZKrollup、像Aztec這樣的隱私ZKrollup,以及像Mina、Filecoin和Aleo這樣的L1公鏈。

由于ZKP涉及到大量昂貴的數學運算,因此它的生產速度很慢并且成本很高。但通過使用FPGA和專用集成電路(ASIC)等專用硬件,ZKP可以加速10-1000倍。

隨著用戶尋求更具表現力、更高性能和更隱私的計算,用ZKP證明的語句復雜性將會增加。這將導致證明生成速度變慢,需要使用專門的硬件才能及時生成證明。

與比特幣礦工類似,硬件運營商的工作是需要得到補償的。最終,一個完整的零知識證明挖礦和驗證行業將會顯現,首先是愛好者在他們的CPU中生成證明,然后是GPU,然后是FPGA。與比特幣相比,我們預計ASIC可能需要很長時間才能被采用。

數據:ParaFi Capital將1萬枚MKR贖回并轉入Coinbase,合約764美元:6月21日消息,據鏈上分析師余燼監測,半個多小時前,ParaFi Capital將地址最后10000枚MKR(約合764美元)贖回并轉入Coinbase。[2023/6/21 21:51:23]

二、為什么零知識證明很重要?

零知識證明有兩個主要用例。

1、可驗證外包計算

假設由于使用的平臺存在的限制,你的計算變得非常昂貴或無法運行。

那么你必須在第三方服務上運行計算,而不是通過你自己的平臺,這種第三方服務可以快速、廉價地向你返回計算輸出。

通常情況下,你需要信任計算已正確執行,而允許提供者輸出無效結果,可能會帶來災難性的后果。

ZKP允許第三方提供商也輸出計算完整性的證明,以保證你收到的輸出是正確的。

2、隱私計算

如果你有一種在本地運行成本不高的計算,但你想隱藏其中的一部分,那該怎么辦?比方說,如果我想告訴你我知道第1000個斐波那契數,而不告訴你這個數,或者要說服你,我在沒有透露金額或身份的情況下支付了款項,那該怎么辦?

歐洲加密風投LeadBlock Partners第二支基金完成1.5億美元募資:金色財經報道,歐洲加密風險投資公司 LeadBlock Partners 完成第二支新基金籌資,該基金的目標籌資額為 1.5 億美元。新基金將投資于 Token 和股票,GSR、Portofino Technologies 和 Woorton 等,以及 Wintermute 聯合創始人 Yoann Turpin 和 SwissBorg 創始人 Cyrus Fazel 投資了該基金。

LeadBlock Partners 由前高盛員工 David Chreng-Messembourg 和 Baptiste Cota 在兩年前創立,首支基金支持過 Yuga Labs、Bitpanda 和 BlockFi 等。[2022/11/8 12:33:58]

ZKP允許你有選擇地隱藏計算語句周圍的部分或全部輸入。

上述兩種用例都以多種形式在加密行業中得到了體現:

Layer2擴容:ZKP的可驗證計算,允許L1將交易處理外包給鏈外高性能系統。這使得區塊鏈可以在不損害安全性的情況下進行擴容。例如,StarkWare正在使用運行ZK友好代碼的專用虛擬機構建一個可擴展的智能合約平臺StarkNet。Aztec還允許他們的Layer2程序私下運行,而不會泄露有關用戶交易的任何信息。

人工智能科技公司rct AI完成超千萬美元A3輪融資,Zonff Partners聯合投資:近日,旨在運用AIGC(AI-generated content)創造真正Metaverse的人工智能科技公司rct AI完成超千萬美元的A-3輪融資,本輪融資由Zonff Partners聯合投資,其他投資機構包括原股東Galaxy Interactive,以及Yuanyuzhou Ventures、Springwind Ventures、Bonfire Union、Everest Ventures Group、FBG Capital、Folius Ventures、HashKey Capital、Hash Global、Mr. Liang Xinjun (復星集團聯合創始人)、Lucid Blue Ventures、Mask Network、PKSHA SPARX Algorithm Fund、SNZ。本輪融資將持續用于AIGC在游戲行業的落地與應用,優化核心技術Chaos Box算法并將標準化產品Meta Being升級為去中心化的新平臺Deterrence以更好地支持智能NFT和GameFi應用。

rct AI 成立于2018年,是一家運用人工智能技術為游戲行業提供完整解決方案的服務商,覆蓋了游戲的全生命周期,包含智能內容生成、智能測試、智能數據運營與智能投放等。[2021/11/2 21:18:39]

隱私L1:Aleo、Mina和Zcash等L1公鏈允許交易者使用ZKP隱藏發送者、接收者或金額。

Cointime TR Partner David Lee:海外市場對Filecoin的參與程度明顯低于中國:在以《IPFS國內市場VS國外市場》為主題的高峰對話中,bitFuri.com exchange CEO & Cointime TR Partner David Lee表示,盡管Filecoin已經被推遲了好幾次,但韓國的熱情并未減弱,反而變得更加熱烈。眾所周知,韓國人對加密貨幣的熱情舉世聞名。韓國加密貨幣市場發展曾經在亞洲排名第三,投資者年齡跨度很大,下至20歲,上至60歲,都有大量投資者。目前韓國市場對Filecoin熱情也是前所未有的,僅此于以太坊和EOS。當然,我認為主要原因是Filecoin 的背后有整個IPFS生態系統來支撐。

現在,大多數韓國投資者共享有關FIL代幣的信息及其相關投資方向,并以極大的興趣和關注。

至于其他海外市場,也有許多投資者可以獲取有關云算力產品的信息。但由于缺乏相應的信息渠道等基礎設施建設,總體參與程度仍明顯低于中國和韓國。[2020/8/3]

去中心化存儲:Filecoin使用ZKP來證明網絡中的節點正確存儲數據。

日本加密貨幣交易所Money Partners發布公告將于6月1日變更“緊急登陸頁面”的URL:據Money Partners官網公告,日本加密貨幣交易所Money Partners將于6月1日變更“緊急登陸頁面”的URL。新URL:https://2ndlogin.moneypartners.co.jp/。與此同時,IE6、Google Chrome 6、Firefox 2、Safari 4、Android瀏覽器2.3.6以下版本的瀏覽器將無法查看此頁面。[2018/5/15]

區塊鏈壓縮:Mina和Celo使用ZKP將同步到鏈上最新狀態所需的區塊鏈數據壓縮成一個小證明。

鑒于上述情況,可以肯定地說,隨著加密資產采用率的增加,我們將需要ZKP,以適應用戶對性能和隱私以及新型應用程序和協議日益增長的需求。

ZKP從根本上允許可擴展的私人支付和智能合約平臺蓬勃發展,但也帶來了巨大的開銷,這在歷史上阻礙了它們的采用。

三、ZKP為什么慢,以及我們如何讓它們變快?

證明計算需要首先將其從經典程序轉換為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對本文早期草稿提供的反饋。

Tags:ZKPPARFPGNERZKPEPEPARK幣FPG價格goldminer幣前景

聚幣
2022/4/14 天王加持好禮多重送周周加碼贈名單【第一周】_DEFI

尊敬的唯客用戶您好! >天王加持好禮多重送< 第五重:周周加碼贈 活動方式: 活動期間每周抽3位有完成合約交易的用戶送168USDT,天天交易獲獎機會越多.

1900/1/1 0:00:00
美國存款信托和清算公司將開發央行數字貨幣實踐運作原型 Project Lithium_區塊鏈

據DTCC消息,4月12日,美國存款信托和清算公司宣布將開發一個以探索央行數字貨幣如何利用分布式賬本技術在美國清算和結算基礎設施中運作的原型ProjectLithium.

1900/1/1 0:00:00
Jack Dorsey第一條推文NFT以4800萬美元掛賣,以僅280美元的最高出價結束_ACK

金色財經消息,加密企業家SinaEstavi于2021年3月以290萬美元的價格購買了Twitter創始人JackDorsey的第一條推文作為NFT.

1900/1/1 0:00:00
Gate.io Daily HODL & Earn USDT No.388, up to 4% APR_GAT

Gate.ioDailyHODL&EarnUSDT#388willlaunchat4:00UTConApr14atGate.io''s“HODL&Earn”.

1900/1/1 0:00:00
超詳細選購指南:如何挑選你人生的第一個NFT?_NFT

原文作者:Dinzz,H.ForestVentures美國當地時間1月18日早晨,微軟宣布,以每股95美元的價格收購游戲開發和互動娛樂內容發行商——動視暴雪,這成為游戲史上的最大一筆交易.

1900/1/1 0:00:00
雪梨交易所:NFT市場NFT.com將于5月份推出_NFT

沒有風險投資、沒有有限合伙人、完全由社區管理的NFT市場NFT.com將于5月份推出,SharkTank明星投資人KevinO''Leary擔任該項目的顧問.

1900/1/1 0:00:00
ads