WEEX 唯客博客， 作者：深潮 TechFlow 掉入 Web3 瑰麗虛幻的兔子洞多時，大眾似乎習慣性地忽視一點：本質上我們生活在一個由硬體支撐的世界，不管是元宇宙對於 VR 設備的需求，還是 AI 背後的 CPU、GPU 消耗，乃至於被 Vitalik Buterin 視為「以太坊未來」的 ZK 賽道也不例外。 ZK 雖然擁有嚴謹的數學邏輯，在安全性、隱私性及可拓展性方面存在顯著優勢，但目前 ZK 證明生成存在效率低下問題，在演算法層面無法實現突破性進展的當下，ZK 硬體加速成為賦能 ZK 發展最直接有效的解決方案。Vitalik 在出席今年四月香港 Web3 嘉年華時也曾提及：ZK 硬體加速有助於將以太坊的效率和安全提升到全新的水平。 隨著 ZK 硬體加速賽道潛力日漸重視，即將於 7 月中旬上線測試網的 ZK 硬體加速項目 Cysic 引發廣泛關註：本次測試網上線 Cysic 將分階段開展系列社區激勵活動，現階段 Cysic 將通過白名單機制邀請用戶成為驗證者，參與網路測試並獲得相應獎勵；後期Cysic 也將開放一些證明者角色給到社區。 作為最早一批涉足 ZK 硬體加速賽道的頭部項目，Cysic 此前已完成 600 萬美元的種子輪融資及 1200 萬美元 Pre-A 輪融資，吸引包括 Polychain Capital、Hashkey Capital、OKX Ventures、ABCDE 等一眾行業知名 VC 參與並獲得了 DAO5 合伙人、Celestia 首位投資者 George Lambeth、前 Binance Labs 執行董事 Ken Li 等多名天使投資人的支持。 藉由測試網上線契機，我們與 Cysic 聯合創始人 Leo Fan 進行了一次深度交流，探討 Cysic 對於 ZK 及硬體加速賽道的見解、項目優勢與實現邏輯、ZK 大規模落地應用展望等話題的具體見解。在交流中，Leo Fan 表示：ZK 硬體加速將極大的賦能以太坊、加密行業乃至現實世界，而隨著 ZKVM 的發展以及 Cysic ASIC 硬體即將出貨，我們有理由樂觀預測 ZK 技術將在 2025 年實現真正的大規模採用。 本期內容，讓我們走進 Cysic 的過去、現在與未來，並一起 Cysic 聯合創始人 Leo Fan 對於 ZK 硬體加速賽道的所看、所思、所感。 關鍵論點 隨著 7 月中旬測試網的來臨，系列激勵活動也在籌備中：Cysic 將通過白名單機制邀請用戶成為驗證者，參與測試贏取獎勵，另外測試網後期我們也會面向社區開放一些證明者角色。對於 B 端用戶而言，Cysic 旨在為 ZK 項目方提供高效、低成本、即時的 ZK 服務，專業礦工也可以接入 Cysic 網路實現硬體設備的更高效使用。對於 C 端用戶而言，普通筆記本也是可以接入 Cysic 網路成為驗證者。 作為 ZK 硬體加速賽道的頭部項目，Cysic 項目重點可以總結為三個方面：高效，通過自研的晶元實現實時證明生成；通用，為市面上幾乎所有不同演算法類型的 ZK 提供加速服務；去中心化，構建 ZK DePIN Network 以去中心化的方式為行業提供服務。 ZK 的優勢在於：不需要去相信具體的人，而是通過數學邏輯實現信任建立。另外 ，相對於其他擴容方案，以太坊整個架構對於 ZK 發展更友好，ZK 嚴謹的數學邏輯對於以太坊的安全性和公平性也有更高的保障。 在 Cysic，項目方有根據自身需求選擇合適 Prover 的自主權，進一步提升去中心化程度。 無論是在性價比還是效能功耗比方面，ASIC 的表現都遙遙領先，但由於 ASIC 設計生產過程中可能出現的流片失誤等問題會導致高昂成本，因此大家對於 ASIC 的設計和製造都比較謹慎。 Cysic 採用雙代幣經濟模型：Native Token 具有 Gas 費以及獎勵生態貢獻者等用途，veToken 可通過治理參與網路算力調度決策。 隨著 ZKVM 的發展以及 Cysic ASIC 硬體出貨，ZK 技術或將在 2025 年實現真正大規模採用。 目前行業最快的 ZK 硬體加速服務，Cysic 測試網即將到來 深潮TechFlow：首先請您自我介紹一下。 Leo Fan： 大家好，我是 Cysic 的聯合創始人 Leo Fan。 我先分享一下我的教育經歷，主要圍繞密碼學計算機安全展開：我本科就讀於四川大學數學基地班，2010 年 – 2014 年期間在北京信息安全國家重點實驗室繼續碩士學習，此後便進入Cornell University（康奈爾大學）攻讀密碼學和信息安全方向並於 2019 年獲得博士學位。 然後我分享一下我的從業經歷：在北京讀研期間，我接觸到了比特幣並參與到了比特幣早期挖礦，此後攻讀博士期間，我也曾在 IBM、雅虎等公司有過幾段實習經歷。畢業后，我先是入職了美國國家標準技術研究所（NIST）從事密碼標準化相關工作，然後加入了 Layer 1 項目 Algorand，該項目由 ZK 技術發明者、圖靈獎獲得者以及 MIT 教授 Silvio Micali 創立，我在 Algorand 主要負責設計並實現 Algorand State Proofs 部分，致力於為 Algorand 生態系統帶來了無需信任的互操作性。 一直到 2022 年，我發現 ZK 證明生成的時間很長，最初我想通過演算法和軟體層面入手進行優化，但效果都不太明顯，所以我聯想到了通過硬體方法加速證明生成，由此誕生了 Cysic，旨在通過硬體加速實現 ZK 實時證明生成。 深潮TechFlow：Cysic 測試網將於 7 月中旬上線，可否請您分享一下：站在 B 端和 C 端兩個視角，目前項目方、用戶或者開發者該如何參與 Cysic 生態？ Leo Fan： 站在 B 端角度，Cysic 旨在為 ZK 項目方提供高效、低成本、即時的 ZK 服務。目前 Cysic 開啟了早期訪問計劃（EAP），為有算力需求的 ZK 項目提供企業級端到端硬體加速解決方案，Cysic 支持一系列多重驗證系統，包括 Halo2、STARK、Groth16、Plonky2、ZAMA、GKR 和 RapidSnark。我們強大的網路由超過 10,000 個 GPU 卡支持，確保無與倫比的性能和可靠性。目前已有包括 Scroll、Light protocol、Risc Zero、Inference Labs、Ion Protocol、Aerius Labs、TalusNetworkEAP 在內的 16 家項目加入 EAP 計劃，早期成員還將在未來享受系列生態權益。 此外，這裡的 B 端也可以指一些專業礦工，他們手上有大量顯卡，除了接入其他諸如 AI DePIN 網路，其實也可以在未來接入 Cysic 網路裡面，接入后顯卡絕大多數時間都將會是跑滿任務的狀態，也就是說硬體將進入一個更高效使用的階段。在測試網的後期階段，我們也會面向社區開放證明者角色，對於符合一定硬體條件的用戶可以申請成為證明者，一方面為主網上線貢獻，另一方面獲得測試獎勵。 站在 C 端用戶角度，這裡指的可能是相對小白的用戶，可能沒有強大的硬體，那麼他們也可以通過普通的筆記本接入 Cysic 網路扮演驗證者角色，從而為 ZK 生態做貢獻同時獲得獎勵。Cysic 測試網將於 7 月中旬上線，相關的測試網激勵活動也在籌備之中：屆時我們也將通過白名單機制邀請用戶成為驗證者，參與網路測試並獲得相應獎勵。 深潮TechFlow：如果只用三個詞語描述 Cysic 正在做的事情，您會怎麼描述？ Leo Fan： 我們認為突破效率瓶頸之後，不管是在加密行業也是在 Web2 現實世界，ZK 技術都將迎來大規模採用，而 Cysic 旨在通過提供包括 FPGA、GPU 以及 ASIC 在內的全硬體加速服務，實現 ZK 證明的實時生成，並通過構建 ZK DePIN 網路 Cysic Network 連接 ZK 項目方、算力提供者和社區驗證者，最終為全行業提供高效、高性價比且去中心化的算力+驗證網路。總的來說，Cysic 將在推動 ZK 大規模採用更早到來的道路上扮演不可或缺角色。 回到問題上來，我覺得 Cysic 目前正在做的事情可以用以下三個詞語描述： 高效性：Cysic 旨在通過自研的晶元實現實時證明生成，雖然目前我們仍處於通過 GPU 為項目提供 ZK 加速服務的階段，但現階段我們也是整個行業最快的，未來隨著項目推進以及 ASIC 的實現，我們還會更快。 通用性：其實 ZK 範疇內有各種各樣的演算法，不同演算法間存在區別，Cysic 旨在面向行業提供支持所有演算法的 ZK 加速服務，進一步擴展我們服務範圍並提升可用性。 去中心化：Cysic 目前正在構建 Cysic Network，這是一個 ZK DePIN Network，我們希望通過去中心化 Prover 和 Verifier為整個生態提供服務，參與者通過為 ZK 提供相應貢獻並獲得回報。 深潮TechFlow：目前 ZK 硬體加速解決方案主要有 CPU、GPU、FPGA 以及 ASIC 等方式，這幾種方式有什麼區別？Cysic 更傾向於選擇哪種方式實現 ZK 硬體加速？ Leo Fan： 其實 Cysic 對於這個問題還挺有發言權的，ZK 硬體加速有一個競賽叫 ZPrize。Cysic 錯過了第一屆 ZPrize，但是今年賽事其中一個賽道的設計者和裁判。 在整個 ZK 或者說整個硬體領域裡。有三個比較重要的指標： 首先是 Performance Per Dollar（性價比）：即需要花多少的成本去購置相應的硬體，你得到這些算力需要付出多大的成本，這裡由於 CPU 表現趕不上其他幾種方案，因此我們討論的硬體加速主要以 GPU、FPGA 以及 ASIC 為主。站在性價比的角度：ASIC ＞GPU＞FPGA，這是在 ASIC 出貨量足夠大的情況下，現在的 ZK 可以滿足這個出貨量的條件。 第二個指標是 Performance Per Watt（效能功耗比）：即運行這些硬體所付出的能耗，這方面 ASIC 的表現依舊遙遙領先，GPU 略優於 FPGA 的表現。 最後一個指標是 Go to Market Time（市場進入時間）：我們知道 ASIC 需要去設計晶元，而流片（Tape-out） 是 ASIC 晶元設計流程中的一個重要環節，需要將生成的掩模送到晶圓廠進行晶元製造，流片過程中如果有一些失誤的話就會導致高昂成本，所以目前大家對於 ASIC 的設計和製造都比較謹慎。 短期內 Cysic 也是如此，從去年年底到 2025 年初，我們都將通過 GPU 來為大家提供加速服務，但我們的 ASIC 大概會在明年第二、三季度與大家見面，屆時我們將轉變成以提供 ASIC 服務為主。這是一個必然的過程，Cysic 致力於實現實時 ZK 證明生成，對於目前主流的 ZK Circuit，我們希望我們的證明時間能實現 1 – 5 秒的速度，想要達到這個目標，只有 ASIC 能夠實現。 深潮TechFlow：Cysic 如何實現 real-time proof generation（實時證明生成）？這將推動 ZK、以太坊乃至整個加密行業帶來哪些變化或者誕生那些創新？ Leo Fan： 我認為這肯定會帶來非常大的創新。讓我們以 ZK 與機器學習（Machine Learning）的結合為例，目前如果你要用 ZK 去跑一個 Machine Learning 的 Circuit 將會非常耗時：如果你去跑一個 GPT2 ，沒有 ZK 的情況下大概需要一秒鐘，但如果要用 ZK 去證明一個 GPT2 的 Circuit，即使是最快的方案也需要好幾分鐘，用 CPU 的話大概要幾個小時，如此漫長的時間是完全沒有用戶體驗可言的。 Cysic 的 ASIC 晶元將能夠實現實時的 ZK 證明生成，這不僅推動了 ZK 與機器學習技術的結合，也能夠給用戶帶來很好的體驗。當然現在 Crypto 與 AI 的結合也非常緊密，因此這個例子也不失為一個非常 Crypto Native 的例子。 另外，我覺得 ZK 加速對於以太坊乃至整個加密行業的賦能也是非常大的，最大的改變是之前需要十幾分鐘才能完成的事情被縮短在幾秒之內，L2 上更多的交易以及跨鏈交易都可以被更快的確認，而且這種確認是基於數學邏輯的，而不是像OP那種通過「疑罪從無」的假設，這對於加密行業而言是一個巨大的進步。 以去中心化的方式實現 ZK 證明實時生成，雙代幣模型激勵 ZK DePIN 網路 深潮TechFlow：在過往的解決方案中，高效和去中心化總是很難兼顧，而 Cysic 在實現實時證明生成的同時，也做到了驗證者/證明者的去中心化，您可以向我們簡單介紹一下 Cysic 是如何實現這一點的嗎？Cysic 所採取的 PoC 共識如何進一步提升去中心化程度？ Leo Fan： 剛才的問題中也有提到，在 Cysic 構建的 ZK DePIN 網路 Cysic Network 中存在兩個重要角色：證明者和驗證者。 驗證者負責驗證證明者生成的證明，驗證者的去中心化比較容易，因為即使是手機、筆記本、平板都能夠參與驗證一個 ZK 證明，它對於硬體的要求非常低，而且驗證時間通常小於一秒。 證明者的去中心化在初期（也就是 GPU 時期）是有一定難度的，因為如果想要提供很好的用戶體驗，也就是說證明生成的時間相對來說較短，也就意味著需要證明者達到較高的硬體要求，對於很多人來說是有一定門檻的。但是在 Cysic 的硬體開始出貨的時候，這種情況會得到極大緩解，因為相比較於目前的主流 GPU 加速，Cysic 的硬體對於 ZK 的加速最高可提升十倍效率，且售價相對於便宜，大家可以以較低的成本購買 Cysic 的硬體從而達到專業礦工的水平。 從軟體角度而言，目前 Cysic 正在做一個 ZK DePIN 網路，我們設計了 PoC（Proof of compute）機制以更契合 ZK DePIN 場景，PoC 實際上更像是 Proof of Stake 與 Proof of Work 的結合，對於每個 epoch，大約是 100 個區塊，根據證明者的算力規模來選出一批節點，再根據這批節點的的質押權重，決定誰來 Propose 這個 epoch 裡面的區塊，這不僅保證了網路處於穩定狀態，也將進一步提升去中心化程度。 深潮TechFlow：我們注意到， Cysic 採取了實用代幣和治理代幣相結合的雙代幣模型設計，您能否向我們介紹一下雙代幣設計的優勢以及 Cysic 如何通過雙代幣實現生態的有效治理與激勵？ Leo Fan： 雙代幣模型中：一個是 Native Token，另一個則是 veToken。 Native Token主要用於 Gas 費、獎勵生態貢獻者等，但如果想要參與治理、決定網路算力分配的情況，則需要參與者質押 Cysic 的 Token 獲得相應的投票權。 我們知道 ZK 有很多項目，不同項目很多都採取不同演算法，所以如何調度 Cysic 網路中的算力就變得至關重要，如果算力調度的好，就將會給 Cysic 網路帶來很高的回報，進而也能更好的賦能網路參與者。有了投票權就相當於擁有了參與算力調度的權利，比如某個項目近期表現非常好，我們是不是應該多提供一些算力等。通過這樣的機制，不僅更有利於捕獲整個 ZK 生態的價值，且 Cysic 的 Token 也能夠更好的在整個 ZK 生態流通。 深潮TechFlow：ZK 硬體加速服務對於硬體方面的要求，很容易讓人聯想到 DePIN 賽道，Cysic 生態建設在 DePIN 方面有哪些延伸？ Leo Fan： 我們是希望更多的硬體加入 Cysic 網路，值得注意的是，Cysic 網路中這些硬體並不是在單純的空轉，而是通過證明生成及驗證，確確實實的在跑服務創造價值，這是我們跟很多 AI、DePIN 項目相比最大的區別。目前 Cysic 網路處於內測階段，幾百台伺服器上面一直都是跑滿了任務的。 另外 Cysic 網路對於傳統用戶也是有一些觸及的，因為 ZK 在隱私計算方面的優勢，我們也將通過 DePIN 網路為傳統用戶提供更優質的服務。 深潮TechFlow：無論是在去年的 EDCON 黑山大會，還是今年的香港 Web3 嘉年華，以太坊聯合創始人 Vitalik Buterin 都明確表達了「ZK 是以太坊的未來」這一觀點。為什麼 Vitalik 如此看好 ZK？您認為相比較其他擴容方案， ZK 技術的優勢以及對於以太坊的賦能是什麼？ Leo Fan： 我覺得原因分為兩個方面： 首先，ZK 並不需要去相信具體的人，不同於 OP 這種「疑罪從無」的信任機制，ZK 的信任建立在嚴謹的數學邏輯之上，且 ZK 這項技術已經發展了三四十年，這種基於數學假設的密碼學系統正在日趨完備。因此相對於其他方案，把信任放在數學上面更保險。 其次，相比較於其他擴容方案，以太坊整個架構對於 ZK 發展更友好，利用 ZK 產生一個證明后，在以太坊中可以很快的被驗證，而所產生的 ZK 證明可以是 L2 的一個 Block，這個 Block 也許對應著 1000 條交易。也就是說，在以太坊上驗證了一個 ZK 證明，相當於驗證了 1000 條交易，在不改動以太坊太多底層的前提下，ZK是一個更優的擴容方案。 最後聊一聊 ZK 技術對於以太坊的賦能：我認為 ZK 的快速發展首先通過 L2 大幅提高了以太坊的結算時間；其次，通過 ZK Bridge，以太坊在提升效率的同時能夠避免很多安全漏洞；此外，ZK 對於以太坊本身如何生成 Block 也有較大的賦能，ZK 有一個 Verifiable Delay Function （可驗證延遲函數）模塊，使用嚴謹的數學函數生成隨機數，也會產生相應 ZK 證明用以驗證是有好好計算 Delay Function，這對於以太坊的安全性和公平性都有很好的保障。 深潮TechFlow：面對 ZK 當前效率低下問題，Vitalik 也重點關注了三個解決方向，分別是：1、并行化與聚合樹；2、使用 SNARK algos 與哈希提升效率；3、使用 ASIC 進行 ZK 硬體加速。Cysic 作為聚焦 ZK 硬體加速賽道項目，您認為 ZK 硬體相比較於另外兩個解決方向的優勢是什麼？ Leo Fan： 其實第一種并行化與聚合樹解決方案與第三種 ZK 硬體加速解決方案，兩者之間是存在合作關係的。并行化與聚合樹解決方案實際上要麼就是做 Parallel EVM（并行EVM），或者是證明的聚合及批量驗證，硬體加速其實也可以加速這一過程。 第二種解決方案是使用 SNARK algos 與哈希提升效率，SNARK （Succinct Non-Interactive Arguments of Knowledge）其實就是 ZK，我們加速的就是 SNARK，很多項目的 SNARK 中有很多參數，如果將參數設置的比較激進，就會對安全性造成一定影響。ZK 硬體加速的優勢在於能夠在不撼動安全性底盤的情況下實現加速。 ZKVM 助力及 Cysic 自研硬體出貨，2025 年 ZK 或將迎來大規模採用 深潮TechFlow：近日，ZK 的風還是吹到了 Solana，…
