掉入 Web3 瑰麗虛幻的兔子洞多時，大衆似乎習慣性地忽視一點：本質上我們生活在一個由硬件支撐的世界，不管是元宇宙對於 VR 設備的需求，還是 AI 背後的 CPU、GPU 消耗，乃至於被 Vitalik Buterin 視爲「以太坊未來」的 ZK 賽道也不例外。
幣安binance交易所-世界上最大的比特幣交易所，註冊領取20%手續費返傭。
幣安推薦碼 XSGEK3VL
幣安註冊：https://www.binance.com/zh-CN/join?ref=XSGEK3VL（20%手續費返傭） 或參考幣安註冊教程。現貨合約都是20%每個小時自動返還。
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，隱私協議 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 而言，這個技術內核和 Cysic 現在開發的技術沒有區別，只是在新的場景（Solana）上的 ZK 應用，Cysic 現有的技術就可以提供很好的支持。
深潮TechFlow：您認爲 ZK 技術真正在具體場景中實現大規模採用還需要多久？推動這一願景實現的重要契機是什麼？
Leo Fan：
我認爲 ZK 大規模採用的到來可能就在明年，而且不僅僅是侷限在加密行業，而是真正實現在很多落地場景的應用。這主要來源於兩方面契機：
首先是軟件方面，Cysic 非常關注 ZKVM 的發展，ZKVM 旨在幫助開發者，讓他們不用再去寫很多 ZK Circuit，而是可以直接去寫相應的 RUST 或者 Go 項目，然後通過 ZKVM 變成 ZK的 Circuit，這極大的提高 ZK 的開發速度，降低ZK軟件開發門檻。Cysic 也在軟件方面也將持續探索推出更優方案。
另一方面，Cysic 的自研硬件將於明年出貨，這也將大大提升 ZK 證明生成的效率，從而成爲推動 ZK 技術大規模採用的關鍵力量。
深潮TechFlow：您能否與我們分享一下 Cysic 近期取得的重大進展，以及 2024 年下半年 Cysic 的工作重心將會是什麼？
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 張英偉達 RTX 4090 顯卡。
另外在 GPU 方面，我們已經自己開發了相應的通用代碼，相對於 CPU 而言有了很大提升，相比較市面上的開源方案也快了近一倍，在 ASIC 與大家見面之前，我們旨在通過 GPU 等方案爲行業提供更優的 ZK 硬件加速服務。
在接下來的 2024 年，Cysic 測試網將於 7 月中旬上線，主網或將於第三季度上線，目前大部分開發工作已經完成，我們正在持續進行壓力測試等方面的工作。
