Cysic是行業領先的ZK硬件加速項目,致力于設計先進的ASIC芯片來幫助減少ZK證明生成時間。Cysic組建了一流的硬件設計研發團隊,目前已經完成了基于FPGA的POC設計工作。根據POC結果可以證明Cysic的ZK硬件加速能力已經處于行業領先的位置。
ABCDE于Seed輪投資了Cysic,同時本輪的投資機構還有Polychain、A&T、Hashkey,以及Web3.comVenture。
為什么我們需要ZK硬件加速
ZK證明的生成(ZKProofGeneration)是在ZK項目中最核心步驟之一。不幸的是,在現有的ZK證明系統下,生成ZK證明通常需要大量的計算。隨著項目的復雜度的升高,ZK電路規模的增大,ZK證明生成需要的計算量會指數級上升。例如,對于Scroll,zkSync等大型zkEVM/zkVM項目,如果其完全通過CPU來生成ZK證明,可能會需要數小時,甚至數天的計算。在實際業務中,大多數項目需要將ZK證明的生成限制在數秒和數分鐘內。數小時或者更久的計算時間對于大部分ZK項目,尤其是對于zkEVM/zkVM等擴容類項目來說是完全不可接受的。
此外,ZK證明的生成的計算復雜度在未來ZK項目正式上線前的2年左右的時間窗口內,難有從理論層面降低的可能性。因此,為了保證項目的可用性,在項目正式上線前,ZK項目方必須采用「加速ZK證明生成」的技術方案,將ZK證明生成加速到秒級或者分鐘級。而通過高性能硬件加速ZK證明生成的方式是目前的首選。
硬件加速了什么?
在ZK證明生成的過程中,主要耗時的計算可以分為兩種類型,1.基于多項式的NTT(NumberTheoreticTransform)計算和2.在橢圓曲線上進行的MSM(Multi-ScalarMultiplication)計算,如下圖所示。通常來說,在一次ZK證明生成的計算中,NTT類型的計算任務約占到全部計算任務的25%左右,MSM類型的計算任務約占到60–70%?左右。
自2020年初以來有超過52%的財富100強企業已開始實施加密計劃:金色財經報道,The Block的研究團隊與Coinbase合作,揭示美國最大公司和知名消費品牌的加密貨幣和區塊鏈投資及產品計劃的趨勢。Coinbase于6月22日發布了一份名為《加密貨幣現狀:企業采用》的新報告,該研究為該報告提供了依據。自2020年初以來,超過一半(52%)的財富100強企業已經開始實施加密貨幣、區塊鏈或Web3計劃。自2020年以來,在《財富100強》中,科技、金融服務和零售領域的公司在Web3采用率方面處于領先地位。23年上半年,零售業采用率的增長彌補了金融服務公司采用率下降的影響。花旗風投、谷歌風投、微軟風投和高盛的加密貨幣私人投資數量相當于所有其他財富100強公司的總和。[2023/6/27 22:01:36]
幸運的是,這兩種類型的計算任務存在:1.邏輯相對簡單,2.大量重復相同的計算邏輯,3.可并行的特點(類似BitcoinMining計算)。因此,使用高性能硬件加速這兩類計算是理論上可行的。
如下圖所示,我們可以發現NTT計算(左上部分)和MSM計算(右邊)在ZK證明生成的工作流中輕耦合的。因此,ZK項目方可以根據實際需求選:1.單獨加速NTT計算或2.單獨加速MSM計算,或者3.整體加速NTT和MSM,三種方案。
GeneralZK證明生成過程的Workflow
注1:上圖來自于Scrollco-founderZhangYe的論文:PipeZK:AcceleratingZero-KnowledgeProofwithaPipelinedArchitecture。這是行業中最早研究zk硬件加速的論文之一。注2:在某些文獻/文章中聲稱ZK證明生成最耗時的是FFT(FastFourierTransform)和MSM兩種。雖然FFT和NTT原理相似,但是由于ZK的中涉及到的密碼學計算多是在有限域(FiniteField)上進行的,因此在實際中的計算應為NTT。因此我們以多數學術文章中采用的NTT為準。使用什么硬件加速?
世界上第一本關于“比特幣”的雜志將以10BTC起拍:金色財經報道,Bitcoin Magazine在社交媒體上稱,世界上第一本關于“比特幣”的雜志將以1-1序數銘文的形式拍賣,競價從10BTC開始起拍。[2023/4/14 14:04:39]
與挖礦的解決方案相同,目前ZK硬件加速的方案主要通過下面三種硬件實施:
GPUFPGAASIC目前,市面上可用的硬件加速方案主要有GPU和FPGA兩種。使用GPU/FPGA的加速方案相對容易實現。因此,為了更快的搶占市場,大部分廠商都會首先實現GPU/FPGA的方案。由于GPU和FPGA的硬件成本較高,功耗相對大,絕對性能也有限制。因此ASIC方案是ZK硬件加速生態中不可忽視的一環。
硬件加速如何服務ZK項目方
ZK硬件加速提供商可以通過兩種方式提供ZK證明生成加速服務:
通過SaaS?API。通過銷售硬件(整機/芯片)來提供加速服務(類似賣礦機)。正如我們上面提到的,在ZK證明的生成過程中,NTT和MSM計算是輕耦合的。因此,根據服務粒度的不同,硬件加速服務商可以提供下面三種粒度的服務。
專用NTT加速(專用NTT加速API/硬件設備)專用MSM加速(專用MSM加速API/硬件設備)一體化加速方案,同時加速NTT和MSM硬件加速提供商的差異
NTT和MSM計算問題已經被廣泛研究多年。各大廠商難以短時間內在計算理論層面實現突破。因此,各個廠商之間的技術上的差異,更多在于工程實現能力,對算法細節的把控能力,技術棧(硬件)的選擇,硬件生產的成本控制,和產品設計能力。客戶在選擇加速廠商的時候,會重點考慮下面三個因素:
聯想集團 CES 2023 發布 Chronos 設備加碼元宇宙:金色財經報道,聯想集團在CES2023發布了一款可稱為元宇宙“傳送門”,代號為Project Chronos的概念動作捕捉設備,無須通過可穿戴設備便可完成實時動作捕捉,并復制到虛擬人物上,以實現虛擬現實的全沉浸。據悉,Project Chronos可以為消費者進入元宇宙世界提供一個操作更為簡單的入口,同時可以進一步完善聯想的元宇宙生態布局。目前,Project Chronos還處于概念階段,正式的產品名稱將在此后推出完整硬件和功能后揭曉。[2023/1/6 10:58:37]
硬件/服務的性能,同樣的計算任務下,廠商的計算時間。硬件加速成本,同樣的計算任務下,廠商的計算成本。API/設備的易用程度。我們為什么投資Cysic
Cysic由LeoFan和BowenHuang于2022年8月末創辦。Cysic的主要目標是為ZK項目的ZK證明生成過程提供硬件加速服務。美國加州以及中國大陸。這些創始成員的背景主要來自于美國Top20大學計算機系的博士以及中科院計算所的芯片設計團隊。現階段,項目已經實現了基于FPGA的MSM計算的POC驗證,項目代號SolarMSM。在本階段,SolarMSM會通過SaaS的方式對外提供服務。目前Cysic以及與多家頭部ZK項目方達成了合作意向,并會在近期為他們提供測試服務。根據行業多位權威人士的佐證,SolarMSM在加速MSM計算性能處于行業的Top-Tier的位置。
創始團隊概況
兩位創始人擁有極強的技術背景,分別是密碼學和硬件設計方面的專家。Leo博士畢業于康奈爾大學,師從國際著名的密碼學教授ElaineShi。在加入羅格斯大學擔任助理教授之前,Leo曾在Algorand擔任密碼學研究員。
FTX遭受GAS竊取攻擊,黑客0成本鑄造XEN Token 17000次:金色財經消息,據X-explore,黑客利用FTX漏洞正在竊取GAS,0成本鑄造了XEN TOKEN 1.7萬次。
截至目前,FTX交易所因為GAS竊取漏洞共損失超81 ETH,黑客地址已獲得超過1億個XEN Token,并通過DoDo,Uniswap等去中心化交易所將部分XEN代幣換成61個ETH,并入金到FTX以及Binance交易所。[2022/10/13 14:26:06]
另一位創始人BowenHuang,在創辦Cysic之前,曾在中科院計算所工作6年,并赴耶魯大學攻讀博士學位,此前參與過其他若干知名大型科技企業的芯片研發工作,并有多項專利和設計落地。
POC結果
目前,Cysic已經實現了基于賽靈思的公版FPGA的MSM加速方案的POC設計工作,代號SolarMSM。在POC驗證中,對于輸入規模是23?MSM計算任務,SolarMSM可以將其加速到一秒鐘以內。這是目前業界所有公開數據結果中的最強水平,對比ZPrize競賽的冠軍性能還要高1–2個數量級。
SolarMSM的快速實現證明了:
Cysic團隊高效的研發實力和技術能力。可以在短時間內設計并實現了比ZPrize第一名高1–2個數量級的性能,展現了壓倒性的速度優勢。Cysic團隊穩健的供應鏈整合管理能力。可以在PCB,散熱,供電,PCIE連接件,機箱結構全部平行定制設計的情況下,仍然能夠在2–3個月時間里面快速完成交付,這個基本上是行業標準的2–3倍速度。同時,本階段的POC也是對于Cysic硬件設計/研發工作的內部驗證。由于ASIC芯片糾錯成本相比于FPGA方案要高。通過SolarMSM在高帶寬,高功耗,高互聯水平下充分的實機驗證可以大大降低未來ASIC芯片出錯的風險。
國際清算銀行:CBDC測試取得了里程碑式的成功:金色財經報道,國際清算銀行周二表示,涉及多個亞洲央行數字貨幣的項目被認為是成功的,促進了超過2200萬美元的外匯交易。國際清算銀行在LinkedIn的一篇文章中說,這項被稱為有史以來第一次的試驗使用了一個定制的分布式賬本技術平臺,得到了中國、香港、泰國和阿拉伯聯合酋長國的中央銀行的支持,并于9月23日完成。
去年11月發布的一份聲明稱,高盛、匯豐、法國興業銀行和中國六大國有貸款機構是參與該項目(稱為mBridge)的20家商業銀行之一。(coindesk)[2022/9/28 22:35:53]
技術路線圖
Cysic計劃提供包括NTT和MSM計算在內的全套ASIC硬件加速解決方案。目前,項目方采取兩階段研發策略。
第一階段:基于FPGA的POC
項目的第一階段,基于賽靈思的公版FPGA實現MSM和NTT加速的POC版本:SolarMSM。目前,MSM計算加速的模塊已經完成,對于23?規模的MSM計算可以在小于一秒內完成,是目前所有公開的FPGA-MSM硬件加速結果中性能最高,領先競對1–2個數量級以上。如無意外,在ASIC芯片問世前,SolarMSM將一直保持MSM硬件加速的最高性能記錄。Cysic已經和若干頭部的ZK項目達成了合作意向,將會為這些項目首先提供MSM加速服務。
未來幾個月內,Cysic計劃在SolarMSM基礎上,完成NTT計算加速模塊SolarNTT。SolarNTT將和SolarMSM部署在同一臺服務器上,基于同一套大規模FPGA互聯系統進行加速計算。這兩套實現將通過Cysic設計的高速互聯架構整合在一起,成為一體化全套的加速方案SolarZKP。SolarZKP將通過SaaS的方式對外提供API服務。
第二階段:12nmASIC
在POC階段之后,Cysic會開啟12nmASIC研制階段。目標實現單顆ASIC芯片的算力達到整臺SolarZKP的性能(同時支持MSM和NTT計算和項目方指定的其他核心函數),同時單顆芯片功耗降低到兩個數量級。
市場分析
客戶會如何選擇硬件加速方案
在實際生產中,不同的ZK客戶對于硬件加速的需求是不同的,這取決于ZK項目對證明生成時間的敏感程度。例如:
對于基于zkEVM/zkVM的Layer-2項目來說,他們的核心需求是:快速,穩定的生成ZK證明。因此他們會更傾向于選擇更快,更穩定的一體化加速方案。對于一些對ZK證明生成時間不敏感的ZK項目來說,他們不需要以最快的速度生成Proof,例如交易所的財產證明。在這種場景下,客戶可以靈活的選擇例如單獨MSM計算加速,或者可以組合不同服務商提供的MSM計算和NTT計算在可接受的時間內,選擇最優的價格。我們認為市場未來會出現組合不同硬件加速廠商方案來選擇幫助客戶生成最優方案的工具。
項目風險
目前,已經有多家企業參與了ZK硬件加速的賽道的競爭。對于基于ASIC的ZK硬件加速項目存在項目開發延期風險和市場風險。
項目開發延期風險
ZK項目方和ZK硬件加速廠商之間是一種相互合作,相互成就的關系。作為ZK項目方,會首先選擇最先可用的硬件加速方案,來搶占ZK項目自身的市占率。對于zkEVM/zkVM項目來說,能穩定的提供L2的區塊證明是最重要的考量因素之一。因此,某些ZK項目方會在早期就和硬件加速廠商達成長期合作意向。如果項目開發過慢,可能會在前期丟失掉一部分市場占有率。同時,ASIC流片存在失敗風險。受芯片制造商產能限制的影響,流片失敗會使得項目被迫重新進行一輪的流片排期,造成項目延遲。
市場風險
ZK項目方可以分為隱私類,和擴容類兩種。對于隱私類項目,使用硬件加速雖然可能在某種程度上可以減少旁路攻擊的風險,但是考慮到隱私的問題,隱私類的項目會更加謹慎的選擇ZK硬件加速方案,例如選擇直接購買硬件而不是通過SaaS服務。
競品項目
項目頭部競對
目前行業中還有三家有實力的競爭對手,分別Supranational、Ulvantanna以及Auradine。
Supranational
Supranational從2019年就進入了GPU加速ZK賽道,最近開始涉及FPGA/ASIC領域。Supranational已經有非常成熟的開源基于GPU加速方案,性能處于行業前列。同時,我們預計Supranational還有一套性能更好的商業化的閉源方案。Supranational進入的市場較早,有一定的行業資源和很好的現金流。
Ulvantanna
創始團隊來自Jumpcrypto,拿到了paradigm和baincrypto的投資,其實力不容小覷。
Auradine
創始團隊比較Senior,有著豐富的創業經驗,有頂級廠商與資本的站臺。
其他硬件加速團隊
其余的團隊例如:Ingonyama,JumpCrypto,雖然先于他們進入賽道,但是目前在公開數據上看性能不如現階段的SolarMSM。
ZK項目內部硬件加速團隊
目前,除了專門的硬件加速團隊,不少ZK項目方也在內部探索硬件加速的解決方案,例如zkSync和Scroll。
zkSync
zkSync選擇了GPU/FPGA的加速方案。根據ZPrice上公開的結果,zkSync的GPU方案在計算輸入規模是22?MSM時耗費2.528seconds。這個性能不到CysicSolarMSM方案的十分之一(23?MSM計算時耗費小于1second)。
Scroll
Scroll在內部進行了基于GPU的加速研究。同時,Scroll和一些學術機構正在合作探索更優的解決方案,他們最新的學術研究成果在發表計算機體系結構領域的頂級會議ASPLOS2023會議上。作為頭部的zkEVM項目,值得期待和追蹤他們的后續的進展。
ReferencesPipeZK:AcceleratingZero-KnowledgeProofwithaPipelinedArchitecture,Zhang?YeFPGAAccelerationofMulti-ScalarMultiplication:CycloneMSM,Jump?CryptoGZKP:AGPUAcceleratedZero-KnowledgeProof?System
Tags:LARCYSOLASOLASingularityNETcys幣是什么幣solana幣下半年會漲多少Solar Energy
有些協議永遠不會停止擴展——從穩定幣交換開始,擴展到跨鏈橋,現在正在擴展成為第2層?Rollup?跨鏈的執行層.
1900/1/1 0:00:00Gemini聯合創始人CameronWinklevoss認為,下一輪加密貨幣牛市將來自亞洲,而美國有兩個選擇——要么接受加密貨幣,要么被甩在后面.
1900/1/1 0:00:00LanguageModel長期一來,人類一直夢想著讓機器替代人來完成各種工作,其中也包括語言相關工作,如翻譯文字,識別語言,檢索、生成文字等。為了完成這些目標,就需要機器理解語言.
1900/1/1 0:00:00ChatGPT的現象級爆火,讓微軟下定決心全力押注OpenAI,而后者的估值也因此迅速晉升到290億美元,成為了AI領域的超級獨角獸.
1900/1/1 0:00:00DelphiDigitalNFT?研究員yh.ΞTH在社交媒體發文解釋了為什么說現在出售此前從空投中獲得的BLUR代幣是一個“錯誤”.
1900/1/1 0:00:00去年下半年,即便整個加密市場處在深熊困境當中,但Arbitrum生態代表項目GMX和TreasureDAO依然逆勢增長,無論是用戶數據還是Token市場表現都可圈可點,引人注目.
1900/1/1 0:00:00