區塊鏈:風口上的ZK 預期拉滿的資本游戲

電影《讓子彈飛》中有這樣一個情節，為了讓人相信自己沒有多吃一碗涼粉，六子剖開肚子，以性命為代價證明了自己的清白。

在這里，六子是證明者，圍觀群眾是驗證者，六子證明的方式是看腹中究竟有沒有多一碗涼粉。然而，這種證明方式的代價是六子的生命。

上述例子就是一個典型的證明難題。

第一，若要保證驗證的有效性，證明者必須分享知識，證明者若要通過驗證，需要將知識告知驗證者，而告知知識往往是有代價的。

第二，若驗證無效，驗證者將面臨欺詐風險。舉個例子，在法庭上，如果被告能在開庭前獲得控方律師所有的提問，那么他極有可能成功編造出一個完美的故事騙過對方。

最初的解決辦法是，引入第三方，將驗證過程公開化，以此調和知識所有權與使用權間的矛盾。然而，即便如此，對于具有排他性的知識，一旦出讓使用權，也即喪失了所有權。有沒有不需要動用知識的驗證方式呢？

零知識證明的誕生

時間來到1985年，S.Goldwasser博士畢業后來到MIT，與S.Micali，Rackoff合寫了一篇載入史冊的經典論文《交互式證明系統中的知識復雜性》，零知識證明問世。

此后，證明過程無需“知識”獲得了理論支撐，簡單來說，通過零知識證明，既能保守秘密，又能讓別人相信你。

Bitfinex Alpha：通脹減弱債務危機隱現，目前可能正處于早期牛市的風口浪尖:5月16日消息，根據Bitfinex Alpha的最新報告，美國通脹減弱，但正面臨越來越令人擔憂的債務上限危機，市場信心的任何減弱都可能導致更高的利率。此外，美國企業和家庭的信貸條件都在繼續收緊，再加上信貸需求的減少，可能會延長對整體信貸供應的限制。

在此情況下，比特幣價格一直在下滑，但在BRC-20相關活動的推動下，交易費用仍然很高。交易活動的增加和更高的交易費用對其他網絡活動指標施加了壓力。與比特幣網絡交互的活躍地址和新地址正在接近歷史低點，這表明更高的交易費用可能會勸阻其他比特幣網絡用戶。另一方面，比特幣費用比率倍數(FRM)，即礦工從新比特幣發行中獲得的收入與交易費用的收入之比，出現了急劇下降。這也有利于比特幣網絡的健康發展，提高了安全性，并表明礦工的收入來源從比特幣發行轉向交易費用。[2023/5/16 15:05:34]

只是由于效率和適用性上的短板，很長一段時間內，零知識證明僅僅停留在學術理論層面，或者只能用于特定項目，直到邂逅區塊鏈。

零知識證明兩大關鍵詞：保守秘密，即“不泄露信息”；讓別人相信你，即“證明論斷有效”。

這兩個特點恰好被區塊鏈所需要：

經濟日報：元宇宙當前正處在“風口”上:11月22日消息，經濟日報刊文《元宇宙離我們有多遠》，文章稱，元宇宙發端于游戲行業，但必將超越游戲向更廣闊的空間擴展。一方面，圍繞游戲打造的元宇宙基礎設施和體系架構日漸成熟，另一方面，游戲與現實邊界開始模糊化并走向消融。元宇宙當前正處在“風口”上，要讓這一產業更好發展，應不斷挖掘元宇宙的秩序結構、價值取向、制度模式，思考元宇宙的經濟運行規則，避免元宇宙壟斷和預防“霸權主義”。推動元宇宙形成自組織演化的動力系統，同時與現實世界建立正向的循環反饋關系，賦予元宇宙蓬勃向上的生命力。[2021/11/22 7:03:26]

隱私：區塊鏈網絡的共識要求一切公開透明，隱私保護成為問題。

在隱私場景中，借助零知識證明“不泄露信息”的特性，可以在不泄漏交易的細節的情況下證明區塊鏈上的資產轉移是有效的。

擴容：區塊鏈去中心化的特點，使驗證成為不可承受之重，輕量化的證明成為剛需。

在擴容場景中，主要利用“證明論斷有效”這個特性，鏈上資源是有限的，所以我們需要把大量的計算遷移到鏈下進行，零知識證明正好可以證明這些在鏈下發生的動作是可信的。

早在2016年，專注于鏈上隱私保護的ZCash就正式發布，通過零知識證明，ZCash完成交易驗證，而無需公開全部交易信息。不過，經過多年發展，ZCash仍是不溫不火。

上海證券報：數字人民幣測試提速，硬件錢包或成下一個應用風口:記者從多家銀行了解到，數字人民幣錢包開設有望提速，而硬件錢包是未來最大亮點，其設計也更加凸顯個性化，未來多款式、多品類的錢包將融入到生活的方方面面。交行一位工作人員表示，交行正在加速推進數字人民幣硬件錢包的測試，種類十分豐富。目前硬件錢包是鏈接在數字人民幣“軟錢包”上的一個應用。可以通過“軟錢包”向硬件錢包進行充值。隨著“軟錢包”進一步推廣，硬件錢包即將加速登場，應用場景會更加豐富多樣。上周舉行的世界人工智能大會上，工商銀行也展示了更為豐富的硬件錢包樣式，包括異形卡、大屏幕語音錢包、可視卡等。在銀行開發的各式各樣的硬件錢包中，不僅有手表、手機配飾這些大家容易想到的產品形式，甚至耳機殼和拐杖這類日常使用的物件都可以成為數字人民幣的硬件錢包的載體。中國銀行在數字人民幣硬件錢包開發上，為存在數字鴻溝的老年人開發的硬件錢包，不僅可以實現支付功能，還可以擁有一鍵聯系家人功能。（上海證券報）[2021/7/16 0:55:47]

原因也很簡單，盡管隱私很重要，但當前的區塊鏈用戶，還遠沒有建立廣泛而強烈的隱私意識，不敢露富，還不敢露窮么？

目前，隱私并不是剛需，擴容才是，特別是對于以太坊而言。

ZK與Rollup的結合

HDAO COO：NFT會是牛市的下一個風口:HDAO運營總監此前在直播節目表示，NFT會是牛市的下一個風口。從市值角度來看，NFT從2019年17% 截止2020年底增長了50%。不到兩年時間，NFT創造了超過2億美元的總市值。這表示NFT的潛能和可能性是無限的。為了真正實現區塊鏈技術與現實世界的鏈接，HDAO平臺將打造NFT鑄幣系統將有形資產與區塊鏈技術相結合，讓用戶進行無限制和無邊界的數字資產兌換，更方便的放置實體商品作為抵押。除此，HDAO通過本地網絡代幣作為獎勵來激勵所有組織成員做出對組織發展有益的決定。[2021/1/18 16:25:38]

從底層協議來看，鏈上交易的成本必然高昂，因為要實現充分的去中心化和安全，必須有足夠多的節點進行重復驗證。

隨著區塊鏈應用的擴展，同步一個節點的時間越來越長，越來越龐大的鏈上數據量拉高了硬件的要求，大多數家用計算機甚至連節點的基本要求都達不到，像以太坊這樣用途廣泛的公鏈，其節點數量也只有一萬余個，且大多數被托管在亞馬遜AWS上，與去中心化的初衷背道而馳。

相較于隱私保護，區塊鏈的可擴展性，顯然更有意義。

只要實現了可擴展性，那么就既可以維護“去中心化”的正確，同時可以降低gas。

騰訊安全管理部總經理：區塊鏈等概念亦成為黑產犯罪“新風口”:日前騰訊公司安全管理部總經理朱勁松在“全國檢察機關懲治網絡犯罪業務培訓”上表示，區塊鏈重新定義了“信任”，為進一步改變世界提供了無限可能。但同時，互聯網的前沿科技也同樣被不法分子利用在網絡黑產犯罪中。區塊鏈的概念和虛擬貨幣的熱度，也已成為黑產犯罪的“新風口”。[2018/6/18]

2017年8月，以太坊聯合創始人VitalikButerin和JosephPoon，共同提出了初代擴容解決方案Plasma。

然而，Plasma無法提供和主鏈同等的數據可用性和安全性，很快遭遇全面潰敗，開發者又將眼光放在了Rollup技術上。

Rollup的核心理念其實很簡單，就是將原本散布在區塊中的大量交易數據，打包成“濃縮”的交易，發布到鏈上。為確保其中每筆交易的有效性，各種Rollup方案設計了不同的機制以確保整個過程的安全性與Layer1保持一致。

在這個方向上，主要分為ZKRollup和OptimisticRollup兩種方案，前者以零知識證明的密碼學技術確保安全性，而后者則繼承了Plasma的懲罰機制，節點一旦作惡，將付出極大代價。

2021年9月1日，基于OptimisticRollup的以太坊擴容網絡Arbitrum宣布，主網公測版本正式上線，標志著OPR先ZKR一步，正式登上舞臺。

相較于依靠懲罰機制的OPR方案，憑借數學和密碼學的ZKR顯然更能夠做到去信任化，不過，Rollup首先要克服的仍是技術難題，即EVM的兼容性問題。

如果將EVM視為一臺計算機，它在給定特定輸入的情況下，計算智能合約的操作的輸出結果。包括Arbiturm，Optimism在內的OptimsticRollup解決方案都有EVM兼容的虛擬機，允許其能夠處理在以太坊主鏈上發生的所有操作。

反觀ZKRollup，由于在EVM設計之初，開發者完全設想過之后可能用到ZK技術，于是ZK-EVM就成為ZKRollup第一個需要攻克的難關。

開發人員面臨兩種選擇，設計一種支持現有EVM的ZK指令集，或者重新設計一種對零知識證明友好的虛擬機，前一種路線的代表是Hermez和以太坊基金會的AppliedZKP，后者主要是zkSync和Sin7Y。

在L2的大戰場之外，ZK-EVM成為了各大技術團隊競相角逐的小戰場。

2021年8月，Polygon以2.5億美元的價格收購了致力于開發ZK-EVM的HermezNetwork。

今年4月，專注于zkEVM解決方案的zkRollupScroll宣布完成3000萬美元的A輪融資，Scroll團隊將與以太坊基金會的AppliedZKP團隊合作，推出字節碼層面的zkEVM，并探索加速ZK證明生成的硬件，構建去中心化證明系統。

預期拉滿

在頭部資本中存在一種共識，ZK是一種具有終局性的技術，未來可能會成為區塊鏈世界中普適性的存在。

隨著Paradigm、a16z和紅杉等大機構加緊布局ZK，市場上對ZK的FOMO情緒被引爆，一級市場上ZK項目的估值也逐漸向市夢率前進。

2018年1月，ZK-Rollup開發團隊StarkWare在種子輪獲得600萬美金融資，投資人包括以太坊創始人V神、Paradigm、Pantera、PolyChain等一眾明星機構。

2021年11月，StarkWare在C輪融資中籌集了5000萬美元，估值達20億美元，紅杉資本領投，Paradigm、三箭資本、AlamedaResearch等參投。

2022年3月，StarkWare籌集新一輪融資時，一級市場報出的估值已達60億美元。

另一大ZK明星，zkSync背后的母公司MatterLab于去年11月完成B輪5000萬美元融資，a16z領投，Placeholder、Dragonfly、1kx等跟投。

由于ZK領域尚有大量理論未得到實踐，缺少成功的案例和優質代碼庫作為參考，學習曲線非常陡峭，項目的開發難度極高，高門檻無疑增加了ZK項目的含金量，然而，當前ZK賽道的仍然有過熱的風險。

長期關注ZK市場的投資人Evans告訴深潮TechFlow，這是一種把預期打滿的一個情況，當前許多公鏈都尚未突破StarkWare的FDV，在ZK還沒有具體生態的時候，達到這樣的估值，實際上是短期內預期打進去的結果，后續想要繼續維持這樣的估值，或許有一定的難度。

另一位投資人發現某ZK項目在一年不到的時間內從最初4000萬美元估值漲到了4億美元，直呼“市夢率，投不起”，哪怕只是ZK生態系統中的DEX，一級市場估值有的也在2億美元以上。

不過，一級市場上對ZK的追逐，也不一定是壞事，在資本加持下，大量優秀的開發人員投入到相關研究中，加速EVM兼容落地。

以ZKSync1.0為例，包括以太坊基金會研究員JustineDrake在內的大多數人，都認為實現ZKSync2.0至少需要等到22年底。然而，今年2月份ZKSync2.0測試已正式上線，成為以太坊測試網上首個兼容EVM的ZKRollup。

但是，ZKRollup的頭頂，仍然飄蕩著流動性割裂、可組合性降低，以及中心化風險等烏云，ZK有巨大的潛力，但是還遠遠談不上廣泛應用，當前市場上所說的ZK，更多指代ZKRollup。

從本質上看，ZKRollup中的零知識證明，只是將可驗證的計算外包，也就是通過第三方輸出一個計算完整性的證明。雖然ZKRollup緩解了L1可擴展性的不足，但是它同樣面臨著計算成本的壓力。

當前，市場上還沒有專門用作零知識證明的硬件，在以太坊路線圖中，未來將集成ZKEVM，礦工需要生成證明，就必須需要一枚可以快速生成零知識證明的芯片。

據Paradigm預測，未來“ZK礦工”的市場規模有望媲美PoW挖礦市場，其中對ZK硬件加速最重要的技術是FPGA，GPU成本過高，并且能耗太大，ASIC從設計、制造到部署，通常需要12到18個月或更長的時間，相比之下，FPGA供應鏈更輕便靈活。

嗅到“投資或投機預期”的弄潮兒已經開始下場布局，比如某“加密老人”永遠站在風口，開始下場去做ZK硬件的項目；也有VC開始試圖攛掇有硬件創業經驗的人來做ZK硬件項目，親自孵化……

就這個角度而言，即便只是作為Rollup存在的ZK，它的想象力也遠談不上被窮盡。其次，ZK要突破Rollup的敘事框架，擴展在隱私和信任方面的用例，或許還需要等待Web3世界個人主權意識的崛起。

總體而言，ZK是具有終局性的技術，其意義甚至超越了區塊鏈，對ZK寄予厚望的加密行業已經砸下上百億美金，期待ZK幫助區塊鏈完成蛻變。

假如，ZK發展受阻或者被證偽，那么區塊鏈的發展又將經歷“敘事破滅”的寒冬，這是一場“只許成功，不許失敗”的資本豪賭。

ZK，雄起！

撰文：0x5willows

Tags：ROLLROL區塊鏈以太坊BankRollTROLL BNB區塊鏈存證以太坊幣在中國合法嗎

MEXC