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

原文連結