前言

在過去的幾個月裡，有關零知識項目的融資、開發和應用程序都加速浮出水面。許多資深的加密專家和機構，以及越來越多傑出的加密技術貢獻者相信，當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 公告回顧

  1. 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 。

  2. Matter Labs 和BitDAO 宣布成立一個2 億美元的DAO，繼續為zkSync 生態系統的擴張和其核心基礎設施的建設服務。
  4. Polygon 以4 億美元的價格收購了Mir Protocol 。
  6. Polygon 之前在8 月以2.5 億美元收購了另一個ZK Rollup 擴展解決方案Hermez Network，且合併了他們的代幣MATIC 和HEZ，共計以6.5 億美元購買了該ZK Rollup 協議。
  8. Polygon 在2 月7 日完成了4.5 億美元的融資，以支持ETH 擴展性的提升和ZK 技術的運作。
  10. 兼容ZK 技術的L1 Espresso經歷了前期勤勞的開發，在3 月6 日脫穎而出，已融資3200 萬美元。
  12. Aztec 網絡在2021 年12 月獲得1700 萬美元的A 輪融資。
  14. 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 和下游效應終將發生，因為這些協議和其它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

zCloak Network 是基於波卡生態的隱私計算服務平台，使用zk-STARK 虛擬機為通用計算進行零知識證明的生成與驗證。基於獨創的自主權數據和自證明計算技術，可以讓用戶在無需對外發送數據的情況下，實現對數據的分析和計算。通過波卡跨鏈消息傳遞機制，可以為波卡生態內的其它平行鏈以及其它公鏈提供數據隱私保護支持。項目會採用“零知識證明即服務”的商業模式，打造一站式的多鏈隱私計算基礎設施。

原文出自Page One，原文鏈接： https://page1.substack.com/p/the-zero-knowledge-landscape?s=r

轉載請註明原文與本文出處及翻譯團隊zCloak Network