原文：《上輪牛市發動機是DeFi，下輪有可能和它相關？ 》
作者：五火球教主
這篇不是要講Zk-Sync，Starknet，Scroll這些Layer2的，也不是講Aleo，Aztec這些隱私公鏈的，這些全網已經說爛了，我們來說說ZK目前在各個賽道的發展狀況和潛力。
01、ZK主要能拿來幹什麼
ZK是個今年被翻來覆去說的詞，甚至有人把他提到了區塊鏈第三重要的位置，第一個是比特幣，發明了區塊鏈這個概念，第二個是以太坊，引入了智能合約這個東西，第三個就是ZK。
ZK，零知識證明的定義也不累贅，但我想你從第一性原理出發，想像ZK可以在哪些場景下發揮作用
ZK最基本的兩大特性：
-
證明了自己想證明的事情，同時透露給驗證者的信息為”零”
-
生成證明很費勁，驗證證明很容易
基於這兩大特性，我們很自然的發展出了兩大類應用：
1.隱私
2.擴容
基本上所有基於ZK的應用，都可以歸到這兩個大類裡。
像Zcash，Aleo這種項目，毫無疑問是隱私類應用方向的C位，而Starkware，Zk-sync這種擴容類Layer2，毫無疑問是擴容類應用方向的C位。
那麼C位之外，還有哪些場景呢？
02、隱私類拓展場景
Zcash或是Aleo主要是“我不想讓人家知道我做了某筆轉賬或是執行了某筆交易”。
這是隱私最直接的場景。還有一些相關的場景，分別為身份、安全、遊戲和機器學習，接下來分別說說：
1.身份
比如當你參加一個在線投票，你想要證明你投了但是保持匿名，又或是你想要申請一個貸款，你想要證明你的收入超過他們的要求，但又不想暴露你具體掙多少錢，又或是你要申請一個醫療補助，你想要證明你患有補助清單裡的某一項疾病，但又不想透露具體是哪一項疾病……等等諸如此類，ZK都可以幫你隱去“部分你不想透露的信息”。
2.安全
比如有項目在做“鏈上保險箱”，你在存資產進去的時候，需要輸入一個密碼，而密碼是基於ZK的，這樣你即便私鑰被盜了，資產也不會受影響。
3.遊戲
不用多說，大名鼎鼎的黑暗森林就是把ZK融入了遊戲，畢竟鏈上一切都是公開的，你要想實現星際爭霸裡面那種地圖迷霧該咋辦呢？上ZK啊！
4.機器學習
許多APP會收集你的各類信息，從睡眠質量到購買記錄到每天走的步數……有些明著收有些暗著收，甚至還有給你獎勵讓你貢獻信息的，他們收集信息的目的可能不是為了信息本身，而是通過信息的大數據去建模做機器學習，如果你想要獎勵但是又不想暴露個人隱私怎麼辦？現在已經有基於ZK的機器學習項目了，數據我拿了，模型我也建了，但是收集到的跟你相關的個人數據我其實也不清楚，被ZK隱藏了……
03、擴容類拓展場景
擴容類C位毫無疑問是Starkware，Zk-sync，Scroll這幾個，但其實擴容類周邊的生態項目是很多的，其中有直接相關的，又間接相關的。
各舉兩個例子：
1.直接相關——性能加速
眾所周知，ZK是個前景無比光明，但又處在非常早期的賽道。
早期的最大問題除了EVM兼容性，語言的適配性等各個問題之外，還有一個很大的問題就是性能。
想像ETH那讓人詬病的TPS撐了這麼多年，你肯定深有感觸。
所以Zprice這種多個組織聯合舉辦，獎金高達數百萬美元的零知識證明加速大賽，從算法到硬件，各個團隊在ZK加速上無所不用其極。
比如拿CKB當年的一張圖來看，你就知道優化的空間有多大了，其中各個簽名算法，證明方式等都在不斷的演進，也都有優化的空間。
比如筆者知道的最常見的證明系統裡面，Plonk就有優化的Hyperplonk版本，Virgo也有優化的Dvirgo版本。
還有目前有不少團隊都在搞硬件加速，從GPU到FPGA到ASIC，都有團隊在搞，三大解決方案當前也各有優劣，但按照以往比特幣和以太坊的歷史來看，通常是短期GPU+FGPA，最終還是會走到一個ASIC為王的終局。
2.間接相關
-
互操作性
目前業內有兩個相對頭疼的問題需要解決：
一個是ETH上面的L2越來越多，將來還會有L3，這麼多L2，L3的流動性割裂和互操作性是個很大的問題。
還有就是ETH即便是老大，也不太可能一統江湖，總還是有其他Alt Layer1需要互通有無，尤其是Cosmos生態， IBC這麼好的東西，只能內部生態使用，跟ETH那邊無法對接，是讓人很著急的事兒。
你可能說我們不是有橋麼，那麼多橋還不夠你用的麼？
可是橋去年損失的資金數量不要太多！而且目前的橋，最多也只是把IBC與ETH在資產上互相橋接下，不可能真的讓ETH去享受類似原生IBC的“快樂”。
好在這兩個問題都有團隊在解決了！思路也都大同小異，就是用ZK來搞。
2023年，你肯定會看到ZKBridge，和ZK-IBC這類項目陸陸續續上線。
ZKBridge是相對通用的跨鏈橋，不再像之前那樣需要相信一個第三方驗證者的集合，只需要驗證不同鏈上最後生成的ZK Proof就好，只是這個Proof生成的速度和體驗，相信跟Zk-Rollup一樣，都還有不小的優化空間，今年大概率體驗不會“那麼的好”。
而打通IBC和ETH則難度更大一些，之前IBC和ETH完全沒法互通是因為IBC的輕客戶端不能在ETH上跑，因為驗證Cosmos那邊簽名消耗的Gas會以天量計。現在有了ZK，特別是遞歸證明的ZK，那麼理論上就可以避開直接在以太坊上驗證Cosmos那邊的ed25519簽名，而是構建一個簽名有效性的zk證明，直接驗證證明即可。
當然，這個ZK-IBC的難度比ZKBridge還要更大一些，所以可能會是2024年的事情了。
-
去中心化
還記得V神在Endgame裡面說的那個關於去中心化的推斷麼？
區塊生產難免不斷的趨向中心化，而我們只要保證驗證的去中心化即可。
ETH跑一個驗證節點，需要32個ETH，和相對不低的硬件水平，雖說相對Solana等高速鏈來說門檻低了很多，但仍然不是隨隨便便一個電腦就可以完全勝任的。
假設有一天，ETH上面Fully Snarked ETH那條路線完全實現了，ZK Proof的生成速度提升到了10-15秒這個級別，也就是說ETH出一個塊就能附帶一個ZK證明。
那到時候，一切就都不一樣了。
簡單來說，ETH變成了一個類似Mina的存在。這時候，互操作性上了一個新的台階，因為驗證以太坊的區塊變得無比容易。
更重要的是，去中心化也會上一個大的台階，因為現在驗證一個以太坊的區塊，就不再需要什麼“好一點的電腦”了，甚至理論上來說一部手機都可以輕鬆的驗證以太坊，這對於“去中心化”這四個字來說，意義重大。
