當前零知識擴展生態的概述

2022-03-28 21:03:00

前言

在過去的幾個月裏，有關零知識項目的融資、开發和應用程序都加速浮出水面。許多資深的加密專家和機構，以及越來越多傑出的加密技術貢獻者相信，當 ZK Rollups（ZKRs）技術大規模運行時，加密生態系統乃至整個世界，都將獲得基於該技術的實質性進步。實現 ZKRs 的全面發展還需 5 -10 年時間，但在接下來的幾個月裏，我們將看到完全兼容 ZKRs 的區塊鏈應用程序湧現。

這篇文章旨在回顧最近 ZKRs 生態的發展，明晰當前 ZK 項目的生態位置，以及了解一些項目 Token 發行的潛在時間线。本文沒有解釋、區分這些協議的技術細節，因為這需要對各項目方如何權衡在數據可用性、有效性、安全性、自動驗證、去中心化程度和許多其它微小性能等方面做出解釋，以及需要對每個協議的技術差異進行細致的討論。

ZK 概述

Rollup 擴展的重點是減少區塊鏈上的費用，這對將 L1 區塊鏈技術擴展到數億甚至數十億用戶規模來說至關重要。雖然使用欺詐證明（Fraud Proofs）的 Optimistic Rollups（Arbitrum/Optimism）正一定程度上的在解決這個問題，但長遠來看，使用鏈下計算的 ZKRs 擴展是最佳選擇。

Vitalik 在它的研究結論中說到："從中長期來看，隨着 ZK-SNARK 技術的改進，ZK Rollups 在所有情況下都將勝出。"

ZKRs 實現了與 Optimistic Rollups 相同的目的：為用戶提供隱私選擇的同時增加可擴展性。正如 EthHub 上所說：" ZK 通過減少交易中持有的數據量，來減少驗證區塊時需要的計算資源和存儲資源，這將對整個數據生成零知識" 。通俗來說，即 ZK 技術允許用戶證明他們擁有或知道某些東西，而無需提供任何關於該東西是什么或包含什么的信息。

加拿大引人注目的金融去平臺化事件，以及俄羅斯入侵烏克蘭引發的經濟制裁，使人們對隱私交易的熱情和需求再次興起，ZK 技術備受關注。

當前零知識擴展生態的概述

圖片來自 Matter Labs

近期 ZK 公告回顧

StarkWare 以 60 億美元的估值籌集了 1 億美元，此前在 2021 年 11 以 20 億美元的估值籌集 5000 萬美元。

StarkWare 建立的 StarkNet 於 2 月 22 日完成啓動，並將在下半年轉向由社區控制。

Immutable X 以 25 億美元的估值籌集了 2 億美元的資金。

GameStop 與 Immutable X 合作建立了 NFT 市場，並宣布為此生態系統提供 1 億美元的基金。

Aleo 是一個 ZK 技術支持的區塊鏈，2 月 7 日以 14.5 億美元的估值融資 2 億美元。
zkSync 开發團隊 Matter Labs 在 2021 年 11 月籌集了 5000 萬美元，並於 2 月 22 日在以太坊的測試網推出了他們的 zk-EVM 。
Matter Labs 和 BitDAO 宣布成立一個 2 億美元的 DAO，繼續為 zkSync 生態系統的擴張和其核心基礎設施的建設服務。
Polygon 以 4 億美元的價格收購了 Mir Protocol 。
Polygon 之前在 8 月以 2.5 億美元收購了另一個 ZK Rollup 擴展解決方案 Hermez Network，且合並了他們的代幣 MATIC 和 HEZ，共計以 6.5 億美元購买了該 ZK Rollup 協議。
Polygon 在 2 月 7 日完成了 4.5 億美元的融資，以支持 ETH 擴展性的提升和 ZK 技術的運作。
兼容 ZK 技術的 L1 Espresso 經歷了前期勤勞的开發，在 3 月 6 日公开發布，已融資 3200 萬美元。
Aztec 網絡在 2021 年 12 月獲得 1700 萬美元的 A 輪融資。
Argent 是 ETH DeFi 移動錢包，推出了由 zkSync 驅動的 L2 錢包，其等待名單上的人數超過50萬。

當前玩家

StarkWare — 構建了 StarkNet 和 StarkEx 。
StarkNet

StarkNet 是一個基於 ZK-STARKs 的 L2 ZK-Rollup，於 2021 年 11 月 29 日首次登陸 ETH 主網，該團隊一直在不遺余力地推出新的功能和更新。
2 月 23 日，StarkNet 的最新版本 StarkNet Alpha 問世，該擴展方案可直接用於應用程序的構建和交易。你可以查看 StarkNet 的網站以了解其生態系統當前的概況 [1] 。
最近，StarkNet 宣布了與 Aave、Opera Browser、DeversiFi 和 Argent 的合作
Token 發行：預計今年下半年將向早期用戶空投。

StarkEx

StarkEx 是一個通過 Cairo 編程語言構建的可擴展虛擬機，自 2020 年 6 月部署到主網上以來，已被 DeversiFi、Immutable X、dYdX 和 Sorare 採用。
根據 StarkWare 披露的信息， 3 月 9 日對 StarkEx 使用情況的最新數據統計為：11 億美元的 TVL，1.23 億筆交易，以及 4620 億美元的累計價值。
Token 發行：" 最終由社區管理 "。預計緊隨 StarkNet Token 在今年下半年推出之後。StarkEx Token 也將對早期用戶進行空投。

zkSync

zkSync 是一個基於 ZK-SNARKs 的 ZK Rollup，由 Matter Labs 开發，於 2020 年 6 月上线。2 月 22 日 zkSync 宣布 zkSync 2.0 已經上线，並在以太坊測試網上實現了第一個 EVM 兼容的 ZK Rollup。
zk-EVM 的意義正如團隊的自述："去年5月，我們提出了對 zkSync 的 zk-EVM 愿景，這是一個無需許可的、圖靈完整的 ZK Rollup，將允許开發人員使用 Solidity 語言在一個低費用、高度可擴展的 L2 環境中構建和部署去中心化的應用程序。"

當前零知識擴展生態的概述

關於 zkSync 2.0 當前功能的其它細節

關於 zkSync 的更多信息，你可以查看他們用 ZK 解決方案建立的項目生態系統 [2] ，同時可參考 Dune Analytics zkSync 儀表板 [3] ，其中有關於交易、TVL、存款和提款到 zkSync 等信息的概述。
Token 發行：根據的官方文件，確認會有代幣存在，但無法預計上线時間。

Immutable X

由 StarkWare 的 StarkEx 支持，$IMX 是 ZK 技術支持的領先協議之一，擁有專注於遊戲和 NFT 的應用程序。$IMX 對自己的描述是：" 在交易市場、遊戲和應用程序中，體驗零 Gas 費、即時交易、以及碳中和的 NFT，無需妥協"。
建立在 $IMX 之上的產品包括 Gods Unchained、Illuvium（$ILV）和 TikTok 的 Top Moments 系列。
GameStop x Immutable X ：2月3日，GameStop 宣布將基於 $IMX 建立 NFT 市場，設立 1 億美元的基金專門用於支持在該生態系統內的遊戲开發。GameStop 還表示，他們的計劃包括在該市場上創建 " 數十億的低成本的、可輕松購买和出售的，遊戲內部資產"。
$IMX 已存在多年，完成了絕大部分必要的重型开發和提升，得以支撐遊戲未來的規模，並支持允許 ZK 的 NFT 。

Polygon（$ MATIC）

目前有三個獨立的 ZK Rollup 擴展方案正在开發中: Polygon Miden 、Polygon Zero、Polygon Hermez。
Polygon 在 2021 年 8 月的博客中 [4] ，介紹了他們對 ZK 技術的承諾，對該領域 10 億美元的財政撥款，以及對 ZK 技術的總體概述。
Polygon 致力於通過 ZK 支持的解決方案來擴展 ETH ，從他們最近價值約 6.5 億美元的收購中可得到證明。

Espresso Systems

3 月 6 日，Espresso 經歷了前期勤勞的开發，公开發布。
Espresso 將自己描述為：" 一個結合了 POS 共識和 ZK Rollup 機制的 L1 區塊鏈系統 "，將帶來 " 單一擴展性和隱私解決方案 " 。
發布了 CAPE（Configurable Asset Privacy for Ethereum，以太坊可配置資產隱私），一個 EVM 應用程序。在此之上，用戶可選擇允許誰看到資產的所有權細節和資產的變動，並能夠在 CAPE 內打包和解除當前的 ERC-20 Token。
CAPE 將在未來幾周部署到 Rinkeby 測試網，進一步闡釋他們的 ZK 擴展解決方案。

Aztec Network

一個基於 zk-SNARKs 的 L2 ZK-Rollup 擴展解決方案，" 作為 ERC20 Token 轉移和其它 DeFi 互動的隱私保護"。
zk.money 是 Aztec 建立的核心應用程序，允許 MetMask 用戶隱祕地發送 DAI 和 ETH，該團隊希望今年晚些時候實現資產的全錢包級隱私。
目前部署在 Goerli 測試網。

Aleo

Aleo 是一個支持 ZK 的隱私層區塊鏈，" 在鏈外處理交易，然後由網絡節點進行驗證（而不是執行和重新執行）" 。
Aleo 在 2 月 7 日的 B 輪融資中籌集了 2 億美元，目前處於測試網階段，計劃於今年三季度开始着手主網推出。

結論

零知識證明處於月球數學、密碼學和技術創新的前沿，推動我們的未來走向全球性的、24H / 7D 的、支持隱私的低費用交易。該領域目前的兩個領導者是 zkSync 和 StarkWare （StarkEx / StarkNet），他們都已確認在今年某個時候發行 Token。
從上面各項目的融資輪次和當前的估值來看，市場對 ZKRs 的需求是巨大的。期待已久的 L2 szn 和下遊效應終將發生，因為這些協議和其它 L2s 都激勵用戶和流動性資金的遷移，這為其它協議施加了代幣壓力。雖然我們需要幾個月的時間才能在微觀層面上看到這一點（在宏觀層面上則還需要幾年），但 ZK 技術很可能會改變區塊鏈行業的未來。
對更深入的對技術和實際應用的了解，建議閱讀以下鏈接：

文章 [5] 是 Supercycled 的一篇關於 ZK Rollup 的很棒的帖子，特別講到了兩個主要競爭對手 zkSync 和 StarkWare 之間的差異。
文章 [6] 來自於 Espresso 的聯合創始人 Packy McCormick 和 Jill Gunter，介紹了 ZKRs 是什么和能實現什么的。
文章 [7] 是 EthHub 上介紹關於 ZK-SNARKs 和 ZK-STARKs 之間的區別。
文章 [8] 由 Suzuha 解釋了 ZK 允許的突破性潛力。
Vitalik 的博客 [9] 總是一個很好的資源，他曾多次寫過關於 ZK 技術和 Rollup 的文章。
文章 [10] 是 Polygon 對 Optimistic 和 ZK rollups 的詳細分析。

本文涉及的可供閱讀的鏈接：

[1]https://www.starknet-ecosystem.com/

[2]https://ecosystem.zksync.io/

[3]https://dune.xyz/kylin/Zksync

[4]https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/

[5]https://twitter.com/_supercycled/status/1469242551836332032?s=20&t=zxECCXwItMt5u9CDsYjwwQ

[6]https://www.notboring.co/p/zero-knowledge?s=r

[7]https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/zk-starks/#differences-between-zk-snarks-and-zk-starks

[8]https://twitter.com/dystopiabreaker/status/1499864241108844544?s=20&t=7cfBomJMpNHQxGleoxWQzg

[9]https://vitalik.ca/

[10]https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/

END