ETH 正面臨 Gas 高昂、擁堵等問題,而 ZK 硬體加速則能在外設條件中,協助 ZKP 證明實現即時證明,即滿足了 ZKRollup 的需求。本文源自「雨中狂睡」所著文章,由 PANews 整理、編譯及撰稿。
(前情提要:詳解Based Rollup:如何解決Optimistic、ZK當前碰到的挑戰)
(背景補充:以太坊Layer2下一步:ZK技術如何釋放市場新動能?)
區塊鏈中的機會往往來源於「解決市場需求」,怎麼理解這個事情呢?舉個例子大家就能理解。在上輪週期中,ETH 上的 DeFi Summer 火熱,但也導致 ETH Gas 高昂、擁堵等問題,BSC 就是在那個時期出現的,相應地也出現了許多財富機會。
除了 BSC 外,為我們熟知的機會還有 Solana、Avalanche 等 Alt-Layer1。
同樣的,NFT Summer 也是如此。隨著 ETH 價格的上漲,市場亟需生態中新的財富機會來賺取 ETH 和積累 ETH,或者說是給 ETH 加槓桿,所以 NFT 就成了風口上的豬。
ZK 硬體加速是什麼?
ZK 硬體加速同樣如此。ZK 硬體加速要解決的是「ZK-SNARK 證明生成效率低下」的問題。
在之前的大會上,V 神提到,ZK-SNARK 證明時間太長(約 20 分鐘),效率過低。理想狀態下,最好是能夠即時證明。因此為了解決這一個問題,V 神給出了三種方案:「並行化與聚合樹」、「使用 SNARK algos 與hash提升效率」、「使用 ASIC 進行 ZK 硬體加速」。
我的理解是,前兩個方案是從技術升級的角度來提升 ZKP 的效率,需要時間來進行提升(說實話我也不太懂,只能粗淺地理解),而使用「ASIC 進行 ZK 硬體加速」就像是遊戲世界中某些人通過給滑鼠裡安裝器靈一樣,用外設的方式來解決 ZKP 效率低下的問題。
ZK 硬體加速可以分為 GPU、FPGA 和 ASIC。為什麼 V 神單獨提到了 ASIC 呢?是因為從靈活性的角度來看,GPU>FPGA>ASIC,而從效能的角度來看,ASIC>FPGA>GPU。
簡單理解,GPU 是通用型,ASIC 是訂製性,專款專用的感覺。通用型就是大家都可以用,但是效能優勢沒有那麼明顯,而 ASIC 晶片只能適配單一的解決方案,FPGA 居於 ASIC 和 GPU 的中間,有一定的靈活性,效能強於 GPU 弱於 ASIC。
整體來看,ASIC 能夠為 ZKP 提供更高的計算效能,因為現在的 ZKP 證明技術相對已經固定。當下 ZKRollup 尋求 ZK 硬體加速的話,GPU 是通用解,在未來訂製化高效能 ASIC 晶片顯然是最優解。
目前 ZK 硬體加速專案的龍頭是由 Polychain 領投的 Cysic 協議。
關於 Cysic 其實很多人都有了很詳細的介紹,我非技術出身,只能和大家分享一下我的理解。對技術本身感興趣的朋友可以去官方頁面/媒體報導檢視。
Cysic 的硬體加速方案由 ZKVM+ 硬體設計(GPU+ASIC)兩部分組成。目前 Cysic 為 Scroll 等 ZKRollup 提供的都是 GPU 加速方案(Cysic 已經儲備了近 10 萬張 GPU 裝置,目前 Cysic 的優勢就是 GPU 算力管夠,未來重心將會向 ASIC 晶片轉移)。
ZKVM 就是支援 ZK 電路的虛擬機器環境,主要優勢是 ZKVM 的延續性和並行性。白話來說就是,原來我們在處理一大塊蛋糕的時候,對計算裝置、頻寬和記憶體的要求高,而 ZKVM 允許我們把大塊的蛋糕切割成一小塊一小塊的蛋糕,這樣我們吃起來就會很方便,可控性/相容性也更高。而並行性又能支援我們同時切割和吃掉蛋糕,提高了效率。
在硬體設計方面,Cysic 是透過將執行器,也就是用來計算的東西,和一定數量的 ZKVM 晶片以及其他必要硬體打包到一個機箱中。這樣處理下來,提升了裝置在計算中的靈活性和在物理世界的便攜性。
簡而言之,Cysic 如此設計是基於價效比和能耗比的考量。
最後說一下我的思路。
為什麼關注 ZK 硬體加速賽道呢?是基於對 ZKRollup 未來發展的看好。而 ZK 硬體加速則能夠在外設條件中,幫助 ZKP 證明實現即時證明,即滿足了 ZKRollup 的需求。
因此,當 ZKRollup 敘事火熱時,我們完全可以去看一下 ZK 硬體相關的專案,屆時可能也會有炒作機會,我個人覺得,等 ZK 敘事開始炒作(估計今年有點難)再去投機炒作也不遲。