19 世紀中期，加州淘金熱創造了一起又一起的造富神話，販賣淘金工具和設備的 Sam Brannan 成了加州首位百萬富翁。銷售牛仔褲的李維斯已成百億美元市值的百年老品牌。除此之外，在當地提供餐飲和金融等服務的公司也獲利頗豐。

歷史輪迴，相同的場景在百年後又再次上演。加密挖礦的興起也創造了大量財富故事。加密挖礦為英偉達帶來了數十億美元營收貢獻，主營礦機銷售的比特大陸估值近 150 億美元。

當然，加密挖礦的造富神話還未停止，大量的投資機構和企業都在尋找下一個風口。

2022 年，頂級創投 Paradigm 發文表示，ZK 加速的市場規模有望與 PoW 挖礦市場規模相當，達到百億美元。

近期，以太坊創辦人Vitalik 在香港Web3 嘉年華進行「Reaching the Limits of Protocol Design」主題演講時提到，憑藉ASIC 晶片的高效哈希處理速度對ZK 計算進行硬體加速，有助於將以太坊的效率和安全提升到全新的水平。

而 Cysic 正是 ZK 硬體加速賽道的龍頭項目之一，其首款面向個人用戶和商業用戶的產品預計將於 2025 年面世。同時，Cysic 將基於晶片算力+社群 GPU 算力，整合社群海量驗證節點，最終建構 Cysic Network 為全產業提供可信賴的一體化算力+驗證網路。

Cysic，ZK DePIN 硬體加速與算力網路龍頭

Cysic 是以太坊路線圖中的第一個即時ZK 證明產生和驗證層。在提供頂尖硬體的基礎上，Cysic 也將提供算力網路服務。 Cysic 提供的硬體解決方案能夠加速 DePIN 網路中的運算任務。同時，Cysic 算力網路服務將為 DePIN 生態系統中的專案方、算力提供者和社群驗證者之間的協作提供了堅實的基礎。

Cysic 的自研 FPGA、ASIC、CUDA SDK 等為 ZK 專案提供全網最強大，效率最高的硬體加速方案。在目前的路線圖中，Cysic 將發布兩款旗艦產品 ZK AIR 和 ZK PRO，或將在近期開啟礦機預售。

ZK Air 將會是針對一般使用者的產品，這是一款輕量級便攜式ZK DePIN 設備，體積接近筆記型電腦電源，提供大於頂級消費級顯示卡所能提供的算力，ZK Air 算力可媲美10 張RTX 4090。用戶可將 ZK Air 連接到電腦或行動設備，為 ZK Proof 提供加速服務。

ZK Pro 可最大程度的加速 ZK 證明生產，為使用者即時運算 ZK 證明，設計類似傳統的礦機。 ZK Pro 更適合用於大型 ZK 項目，如 zkRollup、zkML 等場景。在性能上，ZK Pro 相較 Air 獲得了巨大的提升，根據 Cysic 官方披露，其算力可媲美 50 張英偉達 RTX 4090 顯示卡。

Cysic 不只在硬體上取得突破，也致力於建構一個軟體生態系統。 Cysic Network 是 Cysic 後續將推出的社群網絡，旨在整合和調度社群資源，連結 ZK 專案方、算力提供者和社群驗證者。這個網路將融合 Cysic 自有的 GPU、ZK DePIN 裝置算力以及第三方算力，打造一個完整、可靠、穩定的算力網路。第三方算力提供者在連接 Cysic Network 後，將能享受到最優的算力收益分成。同時，ZK 專案方透過接取 Cysic Network，能夠及時獲得最可靠且穩健的算力支援。

ZK 很重要，但現階段其受限於處理速度

Vitalik 在香港Web3 嘉年華演講時提到，先前，區塊鏈帶來了許多好處，提供開放性、全球可驗證性，但卻犧牲了隱私和安全。如今，幾乎所有東西都開始建立在 ZK（零知識證明）上，開始多方計算和完全同態加密。

ZK 歷史可追溯至20 世紀80 年代，是一種允許證明者向驗證者證明某個陳述是真實的，而無需透露任何額外信息的技術。這表明，即使在需要共享證明的環境中，個人資訊也可以受到保護。在加密世界，透過 ZK，用戶可以在公開的區塊鏈上進行交易，同時隱藏交易的具體細節，如金額、參與者身分等。

ZK 如今被大規模使用除了隱私方面的因素外，還在於其能夠顯著提高各種區塊鏈平台上的 TPS。

儘管如此，ZK 依舊有其限制。任何想要透過 ZKP 證明的計算，都需要從傳統程式轉換成 ZK 友善的格式。這個轉換過程可能需要手動重寫程式碼，以適應像 Arkworks 這樣的低階函式庫，或使用特定領域的語言，如 Cairo 或 Circom，這些語言能夠編譯成產生證明所需的基本原語。這一步驟本身就是一項耗時的工程，因為它要求開發者深入理解 ZKP 的內部工作機制，並將其應用於實際的運算任務中。

同時，更昂貴和複雜的操作會導致證明生成時間的延長。有些操作並不是 ZK 友善的，例如在 SHA-3 中使用的位元操作，這些操作在傳統電腦上可能是廉價的，但在 ZK 中卻導致了長時間的證明產生。

從GPU 到FPGA 和ASIC

於ZK 而言，證明系統的不同，證明生成過程可能有所不同，但瓶頸通常存在於大型數字向量的乘法和數論變換(NTT) 與逆數論變換。大型數位向量的乘法主要是兩種特定類型的乘法，可變基數和固定基數多標量乘法 (MSM)。

在 ZK 證明產生的計算過程中，MSM 類型的計算任務通常佔據 60-70% 的比例，其餘部分則由 NTT 類型的計算構成。值得注意的是，MSM 和 NTT 都是可以並行化的操作，這意味著它們可以透過在多個執行緒上運行來實現加速。

Cysic 已經在基於賽靈思公版 FPGA 的 MSM 加速方案上取得了突破，並將其命名為 SolarMSM。在概念驗證（POC）中，SolarMSM 能夠將 2³⁰規模的 MSM 運算任務加速至僅需 195 毫秒。而對於 Scroll 等級的 MSM 計算，Cysic 的處理時間僅為 1 毫秒左右。這項成績在業界所有公開數據中處於最強水平，比 ZPrize 競賽的冠軍表現高出 1-2 個數量級。

基於 SolarMSM 的成功，Cysic 也完成了 NTT 運算加速模組 SolarNTT 的設計。面對 Scroll 等級的 NTT 計算，Cysic 的方案同樣只需要 1 毫秒左右的計算時間。

SolarNTT 和 SolarMSM 將部署在同一台伺服器上，基於同一套大規模 FPGA 互聯繫統進行加速運算。 Cysic 將這項整體加速方案稱為 SolarZKP，並計劃透過 SaaS 模式提供 API 服務。

值得注意的是，在 ZK 領域，Partial Acceleration（部分加速）和 End to End Acceleration（端對端加速）是兩種不同的硬體加速方法。部分加速指的是加速一些特定的運算模組，例如 NTT 和 MSM。端到端加速主要做的是加速所有運算過程以及減少各個模組之間的資料互動開銷。部分加速因為有加速模組和其他模組的資料通訊問題，加速效果往往不如端對端加速。 Cysic 的 FPGA MSM 解決方案已經從部分加速迭代到端對端加速。

在設計與發展策略上，Cysic 遵循經濟性與技術性並重的原則，而非力大飛磚的方式。

Cysic 採取了類似比特幣礦機的發展路徑，首先從GPU 開始，等到FPGA 在每單位美元性能和每單位能耗性能上超過GPU 後，再推出FPGA 產品。同時，考慮到不同專案可能採用不同的 ZK 證明系統，Cysic 也在進行 ASIC 設計，預計 2025 年推出礦機。

根據官方的說法， SolarMSM 的優勢將維持到ASIC 礦機的問世。這也意味著 Cysic 無疑是當前市場的領頭羊。

一體化算力與ZK+DePIN 驗證網路

正如Paradigm 所指出的， ZK 加速市場的潛在價值將超過百億美元。而目前市場正處於發展初期，從歷史經驗來看，現在是佈局產業上下游、賦能產業同時擴展業務範圍的最佳時機。

Cysic 的願景不僅限於提供硬體加速，它還著眼於建立一體化的算力與驗證網絡，將社區資源充分整合，為整個業提供可信賴的服務。 Cysic 積極擁抱社區的力量。 Cysic Network 是 Cysic 推出類似礦池的社區網路。

Cysic Network 整合了各種可用於ZK 加速的硬體算力，包括Cysic 自有GPU、Cysic ZK DePIN 設備算力以及第三方算力，建構了一個完備可靠穩定的算力網。 Cysic Network 將作為一個橋樑，連接了 ZK 專案方、算力提供者和社區驗證者。

ZK 專案方透過接取Cysic Network，可以及時獲得最可靠穩健的算力。無論是交易驗證還是智慧合約執行，這些專案方都可以依賴 Cysic 提供的硬體加速服務。作為普通用戶，不僅可以購買 Cysic 的 ZK Air 或 ZK Pro 來為 Cysic Network 提供算力支持，還可以成為社群驗證者。社群驗證者使用自己的電腦或手機，驗證 ZKProof 產生的正確性。這種分散的驗證方式不僅有助於社區的發展，也能獲得驗證者獎勵。

作為最大、最分散的 ZK+DePIN 網絡，Cysic Network 連接了 ZK 運算資源、驗證者和 ZK 開發者。在超過 10,000 張 GPU 卡的支援下，Cysic 提供企業級 ZK 運算即服務，打造無需信任的未來。

名校團隊，獲得Polychain 支持

Cysic 由Leo 和Bowen Huang 於2022 年8月成立。

Leo 在 Cysic 負責系統架構和密碼學研究。他畢業於四川大學，並在中國科學院獲得電腦科學碩士學位後，前往康乃爾大學攻讀電腦科學博士學位。在校期間，他還在 IC3，雅虎、貝爾實驗室和 IBM 等機構擔任研究員。畢業後，加入了 Algorand 負責密碼學研究工作。目前，他同時在羅格斯大學計算機科學系的擔任助理教授。

Bowen Huang 在耶魯大學的博士 Quit 之後，獲得了耶魯大學的碩士學位。目前在 Cysic 主要負責晶片和供應鏈的管理。此前，他曾在中國科學院計算技術研究所擔任研究工程師。

2023 年2 月，Cysic 完成了Polychain Capital 領投，Hashkey、ABCDE、SNZ Holding、Web3.com Venture、A&T、IDG、經緯、 George Lambeth 參與的600 萬美元種子輪融資。其中 George Lambeth 也是 Arbitrum、Celestia 的投資人，分別獲得了 348 倍和 1882 倍回報。

ZK 證明體系繁雜，Cysic 所採用的證明系統則涵蓋了Halo2、RapidSnark、Plonky2x 等多種體系。目前，Cysic 已與 Scroll、Herodotus、Arch Network、Kakarot、Risc0、Talus、Kinetex、Holonym 等多家專案合作，涵蓋 ZK Rollup、ZKML、應用層等多種類型專案。

估值高達20 億美元的知名ZK Layer2 解決方案zkSync 曾宣稱，ZK 技術是區塊鏈技術的最終解決方案（ZK is the Endgame） 。以太坊的發展藍圖已經清楚地表明，其未來將深度依賴 ZK 技術。這預示著，從交易驗證到智慧合約的執行，ZK 技術將成為以太坊生態系統中不可或缺的核心部分。這種全面的「ZK 化」將大幅提升以太坊的處理速度與效率，同時在保障隱私安全的基礎上，拓展其應用至更多領域。

Vitalik 也在多個公開場合強調了 ZK 技術的重要性，並對 ZK 硬體加速的前景表示出了明確的看好。

自從 Paradigm 發表相關文章以來，近兩年的時間裡，ZK 領域的市場規模已經達到了令人期待的百億美元等級。在這個賽道中，多個龍頭項目的估值已經超過了 10 億美元。 Cysic 的成長與其對 ZK 生態計畫價值的捕獲密不可分，ZK 計畫的增加直接推動了 Cysic 的使用率上升。這也意味著，Cysic 的估值潛力將受到整個賽道規模的影響。

如今，ZK 硬體挖礦與 DePIN 正處於爆發前夕。此時此刻，恰如比特大陸成立後，比特幣挖礦進入大爆發時期。錯過了比特幣挖礦的用戶不妨試試 ZK 挖礦。

參考資料：

https://www.paradigm.xyz/2022/04/zk-hardware

https://hackmd.io/@Cysic/BJQcpVbXn

https://www. linkedin.com/in/xiong-leo-fan-76292249/

https://medium.com/@ABCDE.com/cn-abcde-%E4%B8%BA%E4%BB%80%E4%B9%88%E6%88% 91%E4%BB%AC%E8%A6%81%E6%8A%95%E8%B5%84cysic-e171a6101fef

欢迎加入律动 BlockBeats 官方社群：

Telegram 订阅群：https://t.me/theblockbeats

Telegram 交流群：https://t.me/BlockBeats_App

Twitter 官方账号：https://twitter.com/BlockBeatsAsia