零知識技術及其賽道的發展隨著以太坊L2 ZK Rollup的出現，受到眾多關注。
2023年初始，談論ZK（零知識）賽道過去的進程，和預測ZK賽道未來的發展，成為Web3或加密圈內一件很重要的事。
因為無論是建立在以太坊之上的L2 ZK Rollup，還是自帶ZK屬性從頭開始建構的公鏈項目Aleo，ZK賽道都在呈現有目共睹的快速發展。
回顧：2022隱私計算項目的3個發展趨勢
Aleo CEO Alex Pruden說：“改變Web3 的技術之一，無疑是零知識（ZK） 密碼學。作為區塊鏈應用生態在隱私、安全性和完整性等方面的遊戲規則改變者，ZKP（零知識證明）的加速投資和發展是它正在為黃金時期做好準備的重要信號。”
可知，ZK被賦予、被視為Web3重要的變革因素，且正在迎來它的黃金時代。
加之從用戶角度出發，對個人信息數據的保護變得越來越重要，而隱私計算成為數據安全與隱私保護的最優解決方案之一。
回顧2022年，隱私計算公鏈項目的發展趨勢可以總結為三個方面：
1.技術創新：隱私計算技術在2022年進一步發展，開發出了更加高效、安全的隱私保護技術。例如，混合加密技術、私鑰加密技術、聚合簽名技術等都將得到更多應用。
2.市場擴張：隱私計算公鏈項目進一步擴張其市場份額，逐漸成為區塊鏈領域的主流技術。例如，隱私計算項目Zcash已成為支持隱私計算公鏈市值最大的項目。
3.應用拓展：隱私計算公鏈項目逐漸擴展其應用領域，拓展到更多行業。例如，應用於醫療、DeFi行業。
具體到ZK領域，作為業內解決方案之一，在隱私保護方面掌握著區塊鏈隱私保護應用的關鍵。總結而言，零知識技術既能讓開發者利用公鏈的安全性、又能提高交易吞吐量和速度，同時可將用戶個人信息儲存在鏈下，以保護用戶隱私。
2022年，在技術、市場和應用方面都得到快速發展的隱私計算項目，在2023年預測也將持續快速發展。具體而言，在ZK賽道，會有以下項目被聚集關注。
展望：2023值得關注的5大項目
ZK賽道從項目上可分成兩個來源，一是從0到1自帶ZK屬性建構起來的ZK項目（Aleo），二是在區塊鏈之上創建ZK協議解決方案（ZK Rollups）的ZK項目。
Rollups 是一種常見的擴展方案，其ZK Rollup的工作方式是在L1 之外（鏈下）處理和執行交易，但將交易發佈到L1。這使得Rollups 提供擴展功能的同時，又能從L1 中獲得安全，且gas 費用很低。這種模式就是以太坊L2擴展解決方案的模式。
目前，Aleo、zkSync、StarkWare和Scroll等都在積極推動ZK技術的應用，它們都將成為讓（運用此算法的）應用程序面向真實用戶開啟大規模測試的一個重要起點。
1、zkSync
Zksync的TVL有5300萬美元，根據@Orbiter_Finance 數據，它是交易數量排名第三位的L2；到目前為止，至少有300 個項目加入了該生態系統。
Zksync由Matter Labs開發，團隊成員包括聯合創始人兼CEO Alex Gluchowski 、高級軟件工程師Danil Lugovskoi。 Zksync採用ZK-SNARK技術範式。
2020年6月在以太坊主網上發布ZKSync 1.0，內嵌了一個交易平台（Zigzag），為用戶提供轉賬、mint NFT等功能。 2022年2月zkEVM開放公測，是第一個和EVM在編程語言層面等效的ZK虛擬機。
2022年10月28日Zksync發布ZKSync 2.0 Baby Alpha版本，內置了zkEVM Alpha版本，將開放生態應用的部署，包括瀏覽器、新跨鏈橋、錢包等。
2022年11月下旬ZKSync 2.0進入Fair Launch Alpha階段，開放生態開發者的項目部署權限，以便開發者能夠測試併升級其合約，該階段預計會持續幾個月。
截止2021 年11 月份Matter Labs 從a16z、Union Square Ventures、Placeholder 共融資5800 萬美元。目前共計有70＋的應用，2.0 上線後，兼容EVM特性可能會導致應用數量進一步增多。
Zksync不斷增長的生態系統圖
預計2023年上半年ZKSync 2.0進入Full Alpha階段，屆時ZkSync 2.0上的產品將對普通用戶開放。
-
定位：加速個人主權對加密貨幣的大規模採用
-
總融資：4.58億美元
-
TVL（總鎖定價值）：5300萬美元
-
生態項目數量：至少300
-
應用程序：70+
-
優勢：使用加密有效性證明來提供去信任協議，實現以太坊上的可擴展信和低成本交易，同時擁有和以太坊相同的安全級別。
-
不足：依賴於以太坊的安全性，主要用於Token交換或轉移
-
主要項目：用於支付和轉賬的zkSync 1.0
支持智能合約，可供開發者編寫應用的ZKSync 2.0
基於ZKSwap協議建立的去中心化AMM交易所的ZKSpace
提升應用在不同L2鏈間的跨鏈能力的Hyperlink（預計2023Q1上線）
2、StarkWare（StarkNet）
StarkWare公司創建於2018年，技術團隊負責人之一Alessandro Chiesa是Zcash的聯合創始人。
團隊在ZK算法基礎上提出了具有擴展性的零知識證明算法ZK-STARK，主要致力於為區塊鏈擴容和隱私保護提供解決方案。其主要產品為混合型L2方案StarkEx，可同時兼容ZK Rollup和Validium，用戶可在二者之間自由切換。
除StarkEx外，團隊還開發了一個無需許可的去中心化ZK-Rollup StarkNet，是“四大”早期主流rollup之一。任何用戶和開發者都可以在其中部署智能合約。
StarkNet 可能是zkSync 最大的競爭對手，相關信息如下表：
-
定位：StarkNet作為以太坊上的L2 網絡運行，使任何dApp 都能實現其計算的無限規模——而不會影響以太坊的可組合性和安全性。
-
總融資：2.73億美元
-
TVL：460萬美元
-
生態項目數量：200多個
-
優勢：StarkNet擁有自己獨有的高級編程語言和框架Cairo，是以太坊上第一個生產級完整的馮諾依曼圖靈檢查者（checker）。 Cairo允許開發人員使用ZKSTARK的強大功能來創建完全可擴展的應用程序。自2022年年初以來，StarkNet生態系統已達到可用性門檻：可以構建完整且令人驚嘆的dApp。
-
主要項目：
StarkNet錢包：ArgentX
StarkNet橋：將資金從L1（以太坊）轉移到L2 Starknet的方案
Zigzag：DEX，一個圍繞ZKP構建的去中心化交易所，帶有OrderBook
ZKX：永續合約交易
Starkswap：DEX AMM，自動做市商的去中心化交易所
zkLend：zkLend是StarkNet借貸產品，基於StarkNet的貨幣市場協議。 ZkLend為機構客戶（“Apollo”）和麵向DeFi零售用戶（“Artemis”）的免授權服務提供雙重授權套件。
StarkNet Launchpad：為所有人建立的一個風險投資平台
Magnety：Magnety 是StarkNet DeFi產品，是一種資產管理協議，它允許任何人（例如投資集團、DAO或個人）通過Starknet和L1 DeFi生態系統創建和管理對沖基金。
3、Scroll
Scroll項目是什麼？聯合創始人張燁介紹：Scroll是一個以太坊的通用型L2擴容方案，和以太坊本身類似，開發者可以在Scroll上部署智能合約，同時，也可以和上面的各種應用進行交互。但是在上面的交易費用更加低，而且吞吐量也更高。
Scroll雖是一個擴容方案，但是在Scroll上所有的完整性都會在以太坊進行驗證，要么通過ZK證明，要么通過欺詐性證明，其安全保障由於得到以太坊的支持，表現會更加強大。
Scroll是一個zkEVM L2。目標是擁有一個可擴展的網絡，使現有的以太坊協議具有本地兼容性。
Scroll正在建立一個EVM等效的ZK Rollup，其設計決策遵循安全性、效率、EVM等效性和去中心化，其架構由Scroll節點、鏈上的智能合約、去中心化的證明器網絡三部分組成。
Scroll有明確的發展計劃。
第一階段，Scroll已完成Pre-Alpha測試網。
第二階段，邀請開發者基於其部署一些智能合約，並且開發一些額外的應用。
第三階段將啟動二層證明的外包，也就是證明生成的過程，Scroll希望能夠邀請所有的社區參與，這是無需許可的，任何人都可以參與到證明網絡，成為證明節點。
第四個階段到達zkEVM主網階段，需要經過嚴格的代碼審計以及性能提升之後，將會部署並且上線主網。
第五個階段，部署去中心化的排序器。
-
定位：建立一個EVM等效的ZK Rollup
-
總融資：3000萬美元
-
優勢：可以在內部支持具有自解碼級別的EVM，對於開發者來說，意味著可以支持VEM上支持的所有內容，不僅僅是Solidity這樣具體的編程語言，同時也可以在字節碼層面支持以太坊虛擬機，以及所有相關的開發工具。
-
生態項目：
Lens Protocol：在以太坊上進行交易和自動提供流動性的協議
Uniswap Labs：一種無需許可、可組合且去中心化的社交圖譜，可輕鬆構建Web3 社交平台
The Graph：一個用於組織和訪問區塊鏈數據的web3 協議
4、Aztec Network
Aztec成立於2017年，是以隱私為先的架構構建的ZK Rollup，運用ZK-SNARK技術為用戶提供隱私跨鏈橋Aztec Connect，使得用戶能夠私密地訪問以太坊應用程序，允許用戶在完全保護隱私情況下訪問Layer 1 想使用的應用程序，其產品體係為基於底層的PLONK 證明系統，實現賬戶間的匿名交易，並通過網關合約的嫁接來實現和DeFi 項目的隱私交互。
Aztec 在近期還推出了編程語言Noir，讓開發者在以太坊上更容易、更方便構建具有零知識證明的應用程序。
Aztec的主要目標是為協議提供透明度，但為用戶提供隱私，其生態系統當中已經有很多可以使用的產品。
除服務Web3領域外，還和傳統金融機構如JP Morgan有合作，提供ZK加密方案來解決私人結算中的隱私保護問題。
-
定位：實現以太坊的原始承諾——一個去中心化和可驗證的互聯網世界，並通過使其完全加密來極大地擴展其功能。
-
總融資：1.17億美元
-
TVL：1100 萬美元
-
優勢：B輪融資領投1億美元的a16z表示，Aztec的加密和隱私對於區塊鏈獲得廣泛採用、人際協作、資本、社會以及下一代互聯網至關重要。
-
不足：Aztec 生態處於有待開荒的起步階段，原生項目稀少，當前以集成主網DeFi 協議為主，其目標是實現與主網所有協議、智能合約的隱私交互。
-
生態項目：
Aztec Connect：7月7日正式上線，是一套連接以太坊DeFi 協議和Aztec 的private rollup 工具
Zk.Money：是Aztec Network 的第一個應用，發佈於2021 年3 月。舊版Zk.money 只能實現簡單的轉賬支付，新版的Zk.Money 則在保留原有的轉賬支付功能添加了隱私DeFi 功能，用戶的資金在完全保護隱私情況下可用於與主流的DeFi 協議進行交互。
ZKPay：為Aztec 隱私支付而設計的快速提款橋。在Aztec 網絡上的資產存取可能需要6 個小時，但在ZKPay 上只需要幾秒鐘。
Trelis ：非託管的以太坊支付集成，現在正處於測試階段。在測試模式下可通過使用支付鏈接、Trelis API 和WooCommerce Plugin 體驗Trelis，交易上限額度100 USDC，支持所有主流的以太坊錢包。
5、Aleo
Aleo是第一個提供完全私有應用程序的公鏈，利用去中心化系統和零知識密碼學為用戶提供具有絕對隱私的無限計算，通過構建一個默認為私有、開源且為Web構建的區塊鏈，解決區塊鏈隱私保護的缺點。
Aleo 是一個L1 區塊鏈，其開發人員將zk驅動的區塊鏈視為第三波浪潮：首先是比特幣，然後是以太坊，現在是Aleo。
Aleo的重要性在於它不像Zksync一樣構建一個與EVM兼容的鏈，它是從頭開始構建基於零知識的區塊鏈，並創建了自己的虛擬機snarkVM和編程語言Leo。
和以太坊L2 ZK項目相比，Aleo的挖礦算法更便捷、簡單。 L2之上的ZK項目還需要Gas費，Aleo則完全去除了這筆費用。
目前Aleo官方公佈的融資有兩輪半，分別是A輪和B輪及B輪+，共計達近3億美元。其中A輪融資金額2800萬美元，B輪融資金額2億美元，B輪+融資7000萬美元。投資人有Andreessen Horowitz(a16z)、PlaceholderVC、GalaxyDigital、VariantCapital和CoinbaseVentures等，造就了Aleo成ZK賽道最大的融資項目。
-
定位：讓應用程序變得私有、安全
-
總融資：近3億美元
-
優勢：Aleo是第一個採用零知識證明類的POW機制高性能公鏈，也開啟了同時採用POS和POW的應用。從零到一搭建零知識證明屬性的隱私公鏈，是Aleo和其它L2 ZK區塊鏈不同的地方，也是Aleo的優勢，其開發了更易開發程序的Leo語言、零知識執行系統ZEXE、私密安全的計算環境zkCloud等。
-
不足：和以太坊L2豐富的生態項目不同，Aleo還處在開發的階段。市場和應用生態的選擇是Aleo急需關注的地方。
-
生態項目：
Leo Wallet：Aleo錢包項目，是進入Aleo網絡的窗口。
Forte：區塊鏈遊戲公司，在Aleo網絡之上構建、開發遊戲，既具備隱私保護同時又高速運行。
Nucleo ：一款為組織提供開發隱私多重簽名基礎設施，能夠進行隱私交易、隱私DeFi、隱私籌等。
Kryha：區塊鏈遊戲項目，致力於在區塊鏈遊戲行業中引入零知識技術。
結語
無論是Aleo代表的原生ZK項目，還是以太坊之上的L2 ZK項目，既在快速發展的同時穩中向好，同時它的適用性和價值累積仍有待證明，例如DeFi Dapp（去中心化金融應用程序）大規模遷移問題。
積極的一面是，如ZK Rollup，僅在今年，就有3 個Zk EVMs 進入了測試網階段，其中一些已經進入主網，包括Scroll，Polygon Hermez以及Zksync2.0。 Aleo公鏈之上的Dapp正在開發當中，最後一個測試階段完成後主網便開始上線，意味著更豐富的ZK生態項目的爆發。
還需謹慎對待的是，ZK賽道早期階段，無論其技術、市場、應用等領域，都仍有待市場證明。 Web 3.0面臨的掣肘包括有限的可擴展性以及高延遲。若沒有足夠的交易吞吐量和足夠低的成本，Web 3.0很難容納來自主流市場的容量。這既是Web3的面對的問題，也是零知識賽道項目面臨的問題。
對ZK Rollup來說，ZK Rollup技術發展尚處於早期階段（較為樂觀的情況下，預計ZK Rollup運營商賽道規模將達到10至100億美元級別），且ZK Rollup的發展仍然面臨較高的不確定性，作為一項尚未迎來爆發性增長的技術，其技術、價值、業績驗證均存在滯後性。
對Aleo項目來說，它是否能和已佔據市場資源的L2 ZK項目相互競爭，能否取得良好的市場效益並經受住市場驗證，這是值得關注的問題。
但作為技術的樂觀派，我們相信未來隱私計算技術將得到進一步完善，也將應用在如金融、醫療、政府等更多領域，同時與其它區塊鏈技術（如模塊化、集成層、智能合約等）相結合，實現更多的應用場景。
2023年，對ZK賽道的展望，那就是：隨著技術不斷進化，更多的自由會在更低成本的信任下被釋放出來。