作者：?郝天；來源：鏈上觀
最近，Paradigm領投Succinct 00萬的消息點燃了一級市場，而剛TGE的 @PolyhedraZK 總融資金額甚至達到了00萬。可見，ZKP底層技術設施，承載了資本市場多大的厚望。
事實上，ZK做layer2擴容只被挖掘了有限的潛力，在全鏈可交互操作性方面，ZK技術的想象空間還很大。Why？接下來，談談我的理解：
除了Polyhedra之外，包括 @SuccinctLabs ?@RiscZero ? @ProjectZKM ? ?等這類以ZKP技術為基礎的可交互操作通信類的項目，它們都在嘗試挖掘ZK技術的潛力，為ZK技術的大規模采用而努力。
大部分了解ZK零知識證明技術只因“隱私”、“擴容”或者“鏈抽象”等其表，鮮有人思考為什么ZK技術可以做到這些，以及當下ZK技術是否被充分發揮等等。
之所以會造成這種“誤讀”在于，真正的ZK技術目前確實只發揮了皮毛，而且它們都在layer0、zkSync、Optimism等明星項目服務的更上游，比如：
Polyhedra 為layerZero提供了zkBridge跨鏈資產轉移方案；RISC Zero為OP-Rollups提供了ZK欺詐證明系統可減少欺詐證明的時間損耗；ZKM則采用ZK General-Purpose用于實現安全的可驗證計算，最終賦能以太坊成為全球結算層。
簡單而言：這些ZK底層技術項目都在從不同角度探索ZK零知識證明技術的大規模應用，并努力克服幾個關鍵挑戰：
1、開發通用化General-Purpose 零知識證明技術；
2、構建分布式的證明系統；
3、優化ZK證明過程中的計算消耗；
4、提供兼容多種編程語言的開發環境；
5、擴大零知識證明計算的硬件支撐范圍，PC、移動端、IOT設備等等。
相比RISC Zero、Succinct、ZKM等項目更上游的技術服務，@Polyhedra 要解決的可交互操作“跨鏈橋”問題，距離目前市場落地還更近一些，不妨就以大家更熟悉的zkBridge為例，來展示下ZKP技術的硬核底氣到底在哪里？
Polyhedra構建了分布式ZK證明系統deVirgo，Virgo是一個開源且幫助開發者構建和驗證非交互式的零知識證明協議，節點可以不需要做“可信初始化”，就可以直接Permissionless無許可成為Prover。而deVirgo是一種基于Virgo協議的高效率分布式ZKP協議，可以支持多臺分布式計算網絡，同時證明生成時間還能縮短。
基于deVirgo分布式證明系統實現的第一個zk-SNARK協議為zkBridge，目標是實現跨鏈環境下的信息通信，資產跨鏈以及數據共享等，目前已經實現了超25條鏈的跨鏈通信服務，我們所熟知的layer0采用的就是Polyhedra提供的zkBridge服務，而layerZero更注重全鏈環境下的鏈、DApp等基礎設施構建服務。
為何zkBridge如此重要？因為它可以直接利用POS公鏈節點本身的能力來實現“共識層”的通信交互。
一般來說，我們想達成A鏈和B鏈兩條鏈之間的可交互操作，常用方式是構建一條“鏈中鏈”，該鏈有自己的共識機制和分布式驗證節點來確保跨鏈交互的資產安全性。中繼鏈為提升服務能力會在各個支持智能合約的鏈上部署可交互的智能合約，由中繼鏈的總智能合約對分布在各個鏈上的智能合約進行資產調控。
比如，當用戶從A鏈向B鏈發起資產轉移，中繼鏈會先讓A鏈上智能合約鎖住某個資產，然后再讓B鏈上的智能合約釋放某個資產，整個過程中繼鏈要監聽一切鏈上操作的記錄，以確保資產在不同鏈間的正確鎖定和釋放，只有這樣中繼鏈只要能控制資產的總量平衡，管好賬本避免雙花等情況的出現。
但中繼鏈本身會額外分出一層信任成本出來，只有用戶信任中繼鏈且中繼鏈必須在各個同構鏈環境下構建同一交互標準的智能合約才行，若遇到BTC這種非智能合約鏈，就得額外進行開發適配來確保資產的安全流通。
總之，中繼鏈提供的跨鏈服務最終都會考驗一個管理總智能合約背后的Security Committee身上，而該委員會由背后有身份的群體或MPC多簽管理主體就成了一個“不信任因素”。
作為最常見跨鏈解決方案，大部分layer2都采用安全委員治理的方式來保障資產安全，一旦委員會群體意圖作惡，那造成的損失則是不可逆的。
zkBridge的厲害之處在于，它能充分發揮zk零知識證明技術的潛力，讓兩條鏈之間維護共識層的節點可以直接建立通信，且能安全控制，資產的轉移，而提供可交互操作性的deVirgo分布式系統，并非一個特定的中繼鏈，而更像一個開源無許可且可信的三方組件。
A鏈的節點可通過deVirgo生成zk-SNARKs狀態來發起資產轉移聲明，B鏈的節點則可通過deVirgo直接校驗該ZKP證明的正確性，還能以極低的計算和時間消耗成本。
很顯然，zkBridge這類技術服務方案相交MPC多簽安全委員會的中繼鏈服務方式更容易獲得市場的信任，其實也更加安全且高效率。（注：這只是相對概念，當下不少跨鏈方案還都是MPC多簽，ZK基礎設施還得進一步加強）
zkBridge可以直接讓Pos鏈的全節點參與到整個證明生成和校驗的過程中，但卻不利于快速、橫向廣泛拓展。怎么辦呢？Polyhedra通過zkLightClient輕客戶端來解決此問題。
1、采用輕客戶端，可以降低資源需求，對存儲、帶寬和計算資源消耗少；
2、采用輕客戶端可以橫向兼容非智能合約鏈或其他異構鏈，提供更廣泛的可交互操作性，比如BTC鏈，只能采用輕客戶端和哈希時間鎖的方式來控制資產轉移；
3、采用輕客戶端加上layerZero的輕量化一體化輔助，可以簡化開發者門檻，縮短開發周期，加快全鏈基礎設施的普及。
由于零知識證明的計算、驗證以及通信過程需要一系列的處理操作，因此要權衡成本、消耗以及時效等問題，有太多技術難題需要克服。某種程度上，“鏈中鏈”跨鏈解決方案成為一種市場選擇也在情理之中。
但，眺望未來，ZK跨鏈解決方案，包括Polyhedra、Succinct、ZKM、RISC Zero等都在往輕量、高效、低能耗方向改進優化。
再往細節說，比如，Polyhedra利用deVirgo和改進的簽名方案提出了Single Slot Finality單插槽最終確定性，BLS是一種數字簽名方案，允許把多個簽名合成一個，以減少存儲和數據傳輸。通過把BLS簽名與ZKP結合可以創建緊湊的證明，可以證明一些必要的簽名已經完成而并不需要傳輸和驗證簽名本身，因此降低了延遲，可在每個Slot區塊產生后即可為最終確定態。
此外，隨著BTC layer2把BTC作為主鏈資產結算層的需求增大，Polyhedra通過借用Eigenlayer的雙質押經濟系統，特別設置了比特幣AVS節點系統，讓比特幣具備了信任最小化的互操作性。同時用BTC和ETH上雙映射liquidity pool以及Maker的角色協作鎖定資產的形式，應用FRI特殊編碼方式，可以實現在比特幣上直接驗證ZK證明，完成了ZK全鏈互通最難的一環。
ZK目標不僅要做layer2的Endgame，同樣志在成為全鏈基礎設施的Endgame。
以上
polyhedra作為一個ZKP技術的落地實踐代表，正在加速推進各類ZKP方案的落地，以上只羅列了一部分，只為讓大家清晰感受到ZKP作為技術底層框架的優勢所在。
事實上，整個ZKP賽道的潛力遠不止Polyhedra提供的這些。更多ZK技術基礎設施的各大上游供應方正在ZK跨鏈橋、ZK輕量化、ZK General-Purpose、ZK Coprocessor、ZK 分布式Prover系統等等垂直細分方向，持續來加速ZKP技術的大規模普及。
不夸張的說，每一項ZK細分方向的成熟，都會對當下行業帶來重塑性的效果，我們現在看到的ZK技術應用落地，都只有冰山一角。
喜來順財經
