対話Cysic共同創設者：ZK DePINコンピューティングネットワークがテストネットへ、2025年に大規模採用を実現

2024.07.01

共有先

TechFlow厳選深潮セレクト

対話Cysic共同創設者：ZK DePINコンピューティングネットワークがテストネットへ、2025年に大規模採用を実現

ZKハードウェアアクセラレーション分野のトッププロジェクトとして、Cysicプロジェクトの注目ポイントは、効率性、汎用性、非中央集権性の3つの側面に要約できる。

2024.07.01 - 11:59:59

Cysic

Web3業界の深掘り報道に専念し潮流を洞察

執筆：TechFlow

長時間沉浸在Web3華麗而虛幻的兔子洞中，大眾似乎習慣性地忽略了一點：本質上我們生活於一個由硬體支撐的世界。無論是元宇宙對VR設備的需求，還是AI背後的CPU、GPU消耗，乃至被Vitalik Buterin視為「以太坊未來」的ZK領域也不例外。

儘管ZK擁有嚴謹的數學邏輯，在安全性、隱私性和可擴展性方面具有顯著優勢，但目前ZK證明生成存在效率低下的問題。在算法層面難以實現突破性進展的當下，ZK硬體加速已成為推動ZK發展最直接且有效的解決方案。Vitalik在今年四月出席香港Web3嘉年華時也曾提及：ZK硬體加速有助於將以太坊的效率與安全提升至全新水平。

隨著ZK硬體加速賽道潛力日益受到重視，即將於7月中旬上線測試網的ZK硬體加速項目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）從事密碼標準化相關工作，之後加入由ZK技術發明者、圖靈獎得主暨MIT教授Silvio Micali創立的Layer 1項目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為整個生態提供服務，參與者因貢獻而獲得回報。

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運行ML 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正構建ZK DePIN網絡，我們設計了PoC（Proof of Compute）機制以更契合ZK DePIN場景，PoC實際上類似於Proof of Stake與Proof of Work的結合，每個epoch（約100個區塊），根據證明者的算力規模選出一批節點，再根據其質押金額決定誰來提議該epoch的區塊，這不僅確保網絡穩定，也進一步提升去中心化程度。

TechFlow：我們注意到，Cysic採取了實用代幣與治理代幣相結合的雙代幣模型設計，您能否介紹一下雙代幣設計的優勢以及Cysic如何通過雙代幣實現生態的有效治理與激勵？

Leo Fan：

雙代幣模型包含Native Token與veToken兩種。

Native Token主要用於Gas費、獎勵生態貢獻者等，但若想參與治理、決定網絡算力分配，則需質押Cysic Token以獲得投票權。

我們知道ZK有許多項目，各自採用不同算法，因此如何調度Cysic網絡中的算力變得至關重要，良好的算力調度能為網絡帶來更高回報，也能更好賦能參與者。擁有投票權即意味著可參與算力調度決策，例如某項目近期表現出色，是否應提供更多算力等。透過此機制，不僅更有利於捕獲整個ZK生態價值，Cysic代幣也能更順暢地在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，可能對應上千筆交易。換言之，在以太坊上驗證一個ZK證明，等同於驗證上千筆交易，在不大幅改動底層的前提下，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，隱私協議Light Protocol提出了一項面向Solana的新原語（primitive）：ZK Compression，致力於在Solana上啟用原生ZK計算，使Solana上的代幣與帳戶管理費用降低數個數量級。您如何看待ZK Compression？這為Cysic所處的ZK硬體加速賽道帶來哪些機遇與挑戰？

Leo Fan:

ZK compression是最近興起的一項應用於Solana的ZK技術。它主要利用ZK的簡潔性來壓縮state，從而降低開銷。類似技術也應用於ZK-L2與ZK bridge中。對Cysic而言，此技術核心與我們現有開發技術無異，僅是新場景（Solana）下的ZK應用，Cysic現有技術即可提供良好支持。

TechFlow：您認為ZK技術真正在具體場景中實現大規模採用還需多久？推動這一願景的關鍵契機是什麼？

Leo Fan：

我認為ZK大規模採用可能就在明年，且不僅限於加密行業，而是真正廣泛應用於多種落地場景。這主要來自兩方面契機：

首先是軟件方面，Cysic高度關注ZKVM的發展。ZKVM旨在幫助開發者無需撰寫大量ZK Circuit，而是直接編寫RUST或Go項目，再由ZKVM自動轉換為ZK Circuit，極大提升開發速度，降低ZK軟件開發門檻。Cysic也將持續探索推出更優方案。

另一方面，Cysic自研硬體將於明年出貨，這也將大幅提升ZK證明生成效率，成為推動ZK技術大規模採用的關鍵力量。

TechFlow：您能否分享一下Cysic近期取得的重大進展，以及2024年下半年的工作重心是什麼？

Leo Fan：

過去一年Cysic已取得諸多突破性進展：2023年底，團隊大致確定了ZK晶片設計方向。此前我們的工作可能僅針對某一佔比較高的模組進行加速，去年底我們確立了基於ZKVM的ZK晶片設計方向，使硬體產品形態更具靈活性。我們將推出兩款產品：

ZK Air將是面向普通用戶的產品，是一款輕量級便攜式ZK DePIN設備，體積接近MacBook充電器大小，可通過Type-C連接手機或電腦，實現高效ZK證明。ZK Air提供的算力超過頂級消費級顯卡，可媲美10張RTX 4090。

ZK Pro可最大程度加速ZK證明生成，為用戶即時計算ZK證明，外形設計類似傳統礦機。ZK Pro更適用於大型ZK項目如zkRollup、zkML等場景。性能上，ZK Pro相比Air有巨大提升，據Cysic官方披露，其算力可媲美50張NVIDIA RTX 4090顯卡。

此外在GPU方面，我們已自主開發相應通用代碼，相較於CPU有顯著提升，相比市面開源方案也快近一倍。在ASIC問世前，我們致力於通過GPU等方案為行業提供更優的ZK硬體加速服務。

接下來的2024年，Cysic測試網將於7月中旬上線，主網或將於第三季度上線，目前大部分開發工作已完成，我們正持續進行壓力測試等工作。