近期，Paradigm領投簡潔的$4300萬的消息點燃了一級市場，而剛TGE的@PolyhedraZK總融資額甚至達到了$7500萬。 ZKP基礎技術設施正在承載著資本市場的希望，特別是在全鏈可交互操作性方面，ZK技術的潛力仍然很大。 Polyhedra等計畫探討ZK零知識論證技術的應用，並努力克服關鍵挑戰。 zkBridge解決了跨鏈橋問題，利用deVirgo和輕客戶端技術提高了效率和安全性。由於ZK技術的發展仍在初級階段，未來有望成為全鏈基礎設施的關鍵組成部分。
最近，Paradigm領投簡潔的$4300萬的消息點燃了一級市場，而剛TGE的@PolyhedraZK總融資額甚至達到了$7500萬。可見，ZKP基礎技術設施，承載了資本市場的厚望。
事實上，ZK做layer2擴容只被挖礦了有限的，在全鏈可交互操作性方面，ZK技術的想像空間還很大。為什麼？接下來，說說我的理解：
除了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、開發通用化通用零知識證明技術；
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，目標是實現跨ChainLink境下的資訊通訊、資產跨鏈以及資料共享等，目前已經實現了超25條鏈的跨鏈通訊服務，我們所熟知的layer0採用的就是Polyhedra提供的zkBridge服務，而layerZero則更關注全ChainLink境下的鏈、DApp等基礎架構建構服務。
為何zkBridge如此重要？因為它可以直接利用POS公鏈節點本身的能力來實現「共識層」的通訊互動。
我們要完成A鏈和B鏈總體佔用鏈之間的可交互操作，常用的方式是構建一條“鏈中鏈”，該鏈有自己的投票機制和投票權節點來確保跨鏈交易集群鏈為提升服務能力會在各個支援智能合約的鏈上部署可進行的智能合約，由集群鏈的總智能合約對分配在各個鏈上的智能合約進行資產監管。
比方說，當用戶從A鏈向B鏈發起資產轉移時，中繼鏈會先讓A鏈上的智能合約鎖定某個資產，然後再讓B鏈上的智能合約釋放某個資產，整個過程中繼鏈要監聽所有鏈上操作的記錄，以確保資產在不同鏈間的正確鎖定和釋放，只有這樣中繼鏈才能控制資產的整體平衡，管理好帳本避免雙花等情況的出現。
但中繼鏈本身會額外分出一層信任成本出來，只有用戶必須信任中繼鏈且中繼鏈在各個同構ChainLink境下構建同一交易標準的智能合約才行，若遇到BTC這種非智慧合約鏈，就需要額外進行開發裝備來確保資產的安全流通。
總之，串鍊提供的跨鏈服務能夠最終考驗一個管理總智能合約背後的安全委員會，而該委員會由背後有身份的群體或多簽管理主體就成了一個「不信任主體」。
最常見的跨保障鏈解決方案，大多數層都採用安全委員治理的方式來資產安全，一旦委員會群體意圖作惡，那造成的損失是不可逆的。
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上雙映射流動性礦池以及Maker的角色協作鎖定資產的形式，應用FRI特殊編碼方式，可以在比特幣上實現直接驗證ZK證明，完成了ZK全鏈互通最難的一環。
ZK的目標不僅是做layer2的殘局，同樣志在成為全鏈基礎設施的殘局。
以上
多面體作為一個ZKP技術的落地實踐代表，正在加速推進作為主流ZKP方案的落地，以上隻羅列了一部分，只是為了讓大家普及ZKP技術底層框架的優勢所在。
事實上，整個ZKP超越的潛力遠遠超過多面體所提供的這些。更多ZK技術基礎設施的大型上游供應方正在ZK跨鏈橋、ZK輕量化、ZK通用、ZK協處理器、ZK左右證明器系統縱向等細分方向，持續加速ZKP技術的大規模普及。
不誇張的說，每一項ZK精準剖析的成熟，都會為當下產業帶來獲利性的效果，我們現在看到的ZK技術應用落地，都只有冰山一角。
資訊來源：0x資訊編譯自網際網路。版權歸作者郝天所有，未經許可，不得轉載