為何 A16z、SoftBank 和紅衫等各大頂級投資機構都在積極佈局 ZK 類項目？為何 ZK 類項目能紛紛獲得如此巨額融資，Cipholio Ventures 發布的本篇深度分析文章或將幫你解決這個疑問。
— 導讀（Web3Caff 編輯部注）
作者： Kevin（Cipholio Ventures 分析師）
原用標題：为什么 ZK 成为行业 “新贵”
近段時間以來，零知識證明（Zero Knowledge Proofs）在區塊鏈行業吸引廣泛關注。從下表中可以看出，ZK 項目受到投資機構的追捧。ZK 項目的融資金額特別高，普通項目的融資額達到千萬美元級別，明星項目的融資額是幾千萬美元甚至更高，例如 StarkWare 在 2021 年 11 月的一輪融資中融到 5000 萬美元，估值達到 20 億美元；僅僅幾個月後，StarkWare 正以 60 億美金的估值進行新一輪融資。
ZK 項目背後的投資機構非常優秀，Andreessen Horowitz、SoftBank 和紅衫等各大投資機構都在積極佈局 ZK 項目，在這些機構的扶持下，ZK 的發展潛力巨大。同時，與 ZK 相關的項目數量越來越多，並且項目分佈的賽道非常廣泛，如 Layer 1、Rollups、DApp 和 DAO 等。
*Polygon 這輪融資將用於以太坊擴容解決方案，並不僅限於 Miden、Hermez 等 ZK 項目。
ZK 項目的估值為什麼這麼高？在高估值的情況下，投資機構為什麼還會爭相參與？
一、明星項目的優秀團隊
零知識證明是由 S.Goldwasser、S.Micali 及 C.Rackoff 在 20 世紀 80 年代提出的密碼學技術，是一種涉及兩方或更多方的協議。在 ZK 系統中，參與方分為證明者和驗證者，證明者在不向驗證者提供和洩露任何有用的信息的前提下，使驗證者相信某個論斷是正確的。關於零知識證明的經典案例有很多，在這裡就不做過多贅述。
在 ZK 的發展和應用過程中，具有代表性的協議和項目的開發團隊都非常優秀。
S.Micali 教授因在密碼學和復雜理論領域的貢獻獲得 2012 年圖靈獎。首個應用 ZK 的區塊鏈項目 Zcash 的開發團隊具有很好的教育和工作背景，並且在開發過程中與約翰·霍普金斯大學、麻省理工學院、以色列理工學院和特拉維夫大學的各個小組進行協作。研發 zk-STARKs 的 StarkWare 的團隊成員由世界級的密碼學家和科學家組成。由於 ZK 項目的開發難度很高，因此對於團隊成員的要求很高，而優質的項目團隊會抬高機構對項目的估值。
二、合適的應用領域
ZK 並不是近幾年才提出的新技術，比區塊鏈更早問世。但由於效率不高和適合的應用場景不多等因素的影響，ZK 在很長一段時間內都停留在理論階段，並沒有得到太多關注和應用。ZK 早期主要應用在賬號密碼系統，以增加身份驗證過程中的安全性和隱私性。區塊鏈的興起為 ZK 帶來新的發展契機。越來越多的區塊鏈項目採用 ZK 解決行業內存在的實際問題，ZK 在理論和實踐層面得到快速發展。
（一）隱私
對於比特幣等公鏈，鏈上的交易信息是記錄在公開的分佈式賬本上，任何在區塊鍊網絡中運行的節點都可以獲得全網的交易記錄。但是，這種完全公開的架構不能保護用戶的隱私。特別是在 DeFi 興起之後，鏈上交易變得越來越頻繁，很多用戶不希望自己的交易行為被其他人監控。
ZK 可以在區塊鏈的隱私保護領域發揮重要作用。通過 ZK 的解決方案，可以將鏈上數據進行加密，切斷鍊上交易之間的關聯性，從而在不洩漏交易金額和交易雙方等信息的前提下，證明區塊鏈上資產的所有權和交易是有效的。
（二）擴容
對於以太坊等應用平台，性能是限制其進一步發展的瓶頸問題。由於鏈上的資源是非常有限的，在對公鏈進行擴容時，需要把大量的計算放到鏈下去解決，只將最重要的數據放到鏈上進行驗證。在這個過程中，一個關鍵問題是需要證明在鏈下發生的計算是可信的，ZK 可以在裡面發揮重要作用。
在 Rollup 擴容方案中，可以將原本在鏈上的多筆交易進行壓縮並生成證明，然後以批量打包的方式將交易信息發佈到底層公鏈上。底層公鏈只需驗證和存儲這個證明，不需要進行重複多次計算，這樣可以明顯提升底層公鏈的性能。這個證明本身比其所代表的數據小得多，並通過 ZK 密碼學技術確保安全性和有效性。同時，ZK 的驗證成本可以分攤到多個交易上，從而降低交易 Gas 費。
三、願景宏大敘事拉滿
從目前情況看，頭部的 ZK 項目都被視作是區塊鏈行業未來的重要基礎設施，在對這些項目進行分析和評價時，往往會把它們對標成作為區塊鏈基礎設施的公鏈、Layer 2 項目。
從表中可以看出，ZK 對標項目的市值或 TVL 非常高。在大部分參與者都認可 ZK 在隱私和擴容領域有應用潛力和市場前景的情況下，越來越多的區塊鏈項目嘗試不同的技術架構和機制設計，ZK 項目的估值也在這個過程中不斷抬高。
四、頂級 KOL 的支持
ZK 項目交易成本、用戶體驗和安全性等方面得到了很多認可，區塊鏈行業內頂級 KOL 的支持無疑會提高市場對 ZK 項目的預期和估值。Vitalik 認為 ZK 將會是未來重大技術革命，並且他親自參與了 StarkWare 的投資。1inch Network 的聯合創始人 Anton Bukov 也曾表示以太坊的最佳擴展解決方案是 zk-SNARKs Rollup，一旦擴容問題得到解決，以太坊有機會成為市值最大的加密貨幣。
五、頭部項目的進展快速
ZK Rollups 的一個開發難點在於創建通用的 EVM 執行環境，原本預計還需要幾年時間。但是頭部 ZK 項目的進展很快，實現完全兼容 EVM 的時間表提前。在介紹這些頭部項目之前，先對不同的 ZK 證明方式進行簡單對比。
ZK 主要分為兩種類型：zk-SNARKs 和 zk-STARKs。
- zk-SNARKs 全稱是 Zero Knowledge Succinct Non-Interactive Argument of Knowledge（簡潔非交互式零知識證明）。其中，Succinct 表示證明的數據量比較小，並且可以迅速驗證；Non-interactive 表示沒有或者只有很少交互；Argument 表示驗證者只對計算能力有限的證明者有效，擁有足夠計算能力的證明者可以偽造證明。
- zk-STARKs 全稱是 Zero Knowledge Scalable Transparent Argument of Knowledge（可擴展的透明零知識證明）。其中，Scalable 表示可擴展的，Transparent 表示透明的。
| zk-SNARKs | zk-STARKs | |
| 提出時間 | 2013 年 | 2018 年 |
| 初始可信設置 | 需要 | 不需要 |
| 證明大小 | 很小，幾百 bytes | 比較大，幾百 kb |
| 證明生成速度 | 較慢 | 較快 |
| 驗證所需 Gas 消耗 | 較低 | 較高 |
| 是否抗量子計算 | 否 | 是 |
| 代表項目 | zkSync，Aztec，Polygon Hermez | StarkWare，Polygon Miden |
| 應用情況 | 應用項目比較多，目前大部分項目是基於 zk-SNARKs | 應用項目相對較少，需要進一步實踐 |
除了上述兩種類型之外，還有 Bulletproofs、Marlin、Sonic、Libra 等證明方式。
（一）StarkWare
StarkWare 是基於 zk-STARKs 的代表項目，其開發路線圖如下。
在 Planets 階段，StarkWare 推出了 StarkEx，並允許用戶創建特定應用的 ZK Rollups。目前，dYdX、ImmutableX 和 DeversiFi 都使用 StarkEx 的擴展解決方案。在 Constellations 階段，StarkWare 推出 StarkNet，這是一個多應用通用的 ZKRollups，不過只有指定白名單中的應用程序才能夠啟動。未來，在 Universe 階段，將逐步實現 StarkNet 去中心化。
StarkWare 創造了 Cairo 語言，但由於很少有人願意學習一種新的編程語言來做智能合約，他們現在正合作創建一種轉譯器，可以將 Solidity 智能合約無縫轉換為 Cairo，以實現 StarkWare 的 EVM 兼容。在數據可用性方面，StarkWare 用 Volition 允許用戶在第二層上是使用 Validium 還是 ZK Rollups 之間進行選擇，Validium 的數據可用性由一個中心化的數據可用性委員會來實現。例如，dYdX 選擇 ZK Rollups 模式，Immutable X 和 DeversiFi 選擇 Validium 模式。
（二）zkSync
zkSync 是基於 zk-SNARKs 的代表項目。zkSync 的路線圖如下。
zkSync 的第一階段是 zkSync 1.0 的部署，這是一個專注於 ZK Rollups 的支付網絡。第二階段是 zkSync 2.0，實現完全 EVM 兼容性和智能合約的可組合性。近期，zkSync 2.0 已經發佈公共測試網，給開發者提供了一個測試空間。第三階段和第四階段則分別注重於隱私性和抗審查的設計。在數據可用性方面，zkSync 引入 zkPorter，允許用戶將交易數據發佈在鏈下，從而實現更高的性能。zkSync 生態發展很好，已經與 Curve 和 Balancer 等知名 DeFi 項目達成合作。
六、如何參與 ZK 項目
大型投資機構和生態肯定不會錯過 ZK 項目，他們會在這上面分配大量資金和其他資源，對最核心和最重要的項目進行投資。以 Polygon 為例。Polygon 被認為是擴展以太坊基礎設施的一個套件，願意嘗試各種以太坊擴容方案。2021 年，Polygon 聲稱投入 10 億美元用於開發 ZK，並接連收購 Hermez 和 Mir 這類明星 ZK 項目。
目前，Polygon 生態中的 ZK Rollups 解決方案包括 Polygon Miden、Polygon Hermez 和 Polygon Zero，在 zk-SNARKs 和 zk-STARKs 上都有涉及。此外，專注於 Solana 生態的 Sino Global Capital 的 Sally 近期也表示更關注 AR 生態和 ZK 生態。
對於小型投資機構而言，最佳參與 ZK 基礎設施類項目的時機已經過去了。目前，新出來的 ZK 基礎設施類項目的估值都特別高，投資者把這些項目對標區塊鏈行業重要的基礎設施項目進行估值。這一方面是參與者對這項技術的認可，Vitalik 也曾表示 ZK 將會是未來重大技術革命；但另一方面也存在投機和 FOMO 情緒，投資機構爭相參與，不斷抬高 ZK 項目的估值。
需要指出的是，這些新的 ZK 基礎設施類項目團隊成員的背景也無法與頭部 ZK 項目相提並論。對於基礎設施類的 ZK 項目，以當年的公鏈競爭為參考，最終存活在行業中作為基礎設施的 ZK 項目不會太多，投資這類 ZK 項目的風險很高。中小型投資機構可以多關注中間件或服務類的 ZK 項目，如跨鏈橋、預言機和數據可用性工具等，目前可能還有一些領域存在空白，仍然有投資機會。
對於普通用戶和投資者來講，很多 ZK 項目目前並未發行代幣。在這些項目上線之後，用戶可以在早期參與進去，有機會獲得項目的空投獎勵。考慮到 ZK 項目的熱度和潛力，這些空投獎勵會非常豐厚。例如，在 zkSync 的設計中存在對用戶進行激勵的代幣。
此外，ZK 項目也需要構建自己的生態，那么生態中的優質項目也非常值得參與。特別是，ZK 項目可以實現 Layer 1 不能實現的功能，在這裡面存在很大的機會。
免責聲明：作為區塊鏈信息平台，本站所發布文章僅代表作者及嘉賓個人觀點，與 Web3Caff 立場無關。本文內容僅用於信息分享，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。
