ABCDE：我們為什麼投資Polyhedra Network？

PolyHedra Network 是 ZK 全棧項目，核心團隊來自於加州大學伯克利分校、清華大學和斯坦福大學，開發了 deVirgo 和 paraPlonk 兩個先進的 ZKP 協議，實現全棧的 ZK 互操作性和可擴展性。

Polyhedra Network 已經獲得了來自全球頂級 VC 總計 1000 萬美元的戰略輪投資（詳見 coindesk 的報導）。ABCDE 也參與投資了 PolyHedra Network。

1. ZK 擴展性 VS ZK 互操作性

我們知道網路、區塊鏈和 Metaverse 都需要互聯互通，然而今天的多鏈世界卻充滿了孤島，流動性和數據可用性正變得越來越割裂。而當下最尖端的 ZK 項目包括 zkRollup 和 zkEVM/zkVM 等項目都專注於可擴展性，ZK 的互操作性被忽略了。所以，與 Starkware、Zksync 等專注於 ZK 可擴展性的項目相比，Polyhedra Network 是一個 ZK 全棧六邊形選手，設計並實現了基於 ZK 的互操作性系統 zkBridge，其研發的 ZKP 協議也可以提升現有 zkRollup 系統的效率，兼顧了 ZK 互操作性與 ZK 可擴展性。

在 ZK 互操作性方面，PolyHedra Network 實現了行業頂級的分布式 ZK 協議 deVirgo，並用以實現了 zkBridge 和 ZKDID，為 Web3 提供無需信任且高效的互操作基礎設施，目前 zkBridge 的測試網已經上線，支持 Ethereum、BNB Chain、Cosmos 等不同區塊鏈網路之間的跨鏈互操作。

Virgo 是基於糾錯碼和哈希函數的 GKR 協議，這與 Starkware 和 Polygon Zero 使用的密碼假設相同。Virgo 協議不需要可信的初始化，因此擁有筆記本電腦或手機的普通用戶無需從服務器下載大量數據（眾所周知這一致是業界難題）即可成為 Prover。同時，Virgo 也是目前最快的 ZKP 協議之一。

deVirgo 是一種基於 Virgo 協議的高效率的分布式 ZKP 協議。deVirgo 具有近乎完美的線性可擴展性，這意味著在具有 M 台計算機的分布式計算網路中，證明生成時間可以縮短近乎 M 倍。此外，在 deVirgo 中，跨分布式計算網路的通信在 Virgo 中的主要計算（GKR 部分）中被最小化。使用 deVirgo，zkBridge 的證明生成速度可以進一步提升，比使用單線程 Virgo 要快 100 倍。

那麼通過分布式 deVirgo 實現的 zkBridge 和 zkDID 又是什麼呢？

1.1 zkBridge

Polyhedra Network 工程實現了 deVirgo 協議，並基於 deVirgo 設計並工程實現了 zkBridge，目前已經推出了 zkBridge 的測試網，支持包括 Etherum, BNB Chain, Cosmos, Polygon 等在內的各種 layer-1 和 layer-2 區塊鏈網路的跨鏈資產和數據互操作，為 Web3 中的跨鏈互操作性提供無需信任且高效的基礎設施。對於與 Defi 和 GameFi 等各種 Web3 應用的集成，Polyhedra Network 實現了對開發者友好的 API，幫助他們輕鬆開發跨鏈和多鏈應用。

對於具有輕客戶端協議的區塊鏈，Polyhedra Network 將輕客戶端協議編譯成 zk-SNARK 電路，並證明輕客戶端協議的執行是正確的。接收鏈端可以高效地驗證輕客戶端協議的執行。通過採用模塊化架構，Polyhedra Network 構建的 zkBridge 可以支持多種應用程序，例如資產的跨鏈轉移和互換、跨鏈消息傳遞，以及與多個區塊鏈網路的狀態更改與同步相關的相關計算邏輯。

1.2 zkDID

這是一種基於 SBT 和使用 ZKP 的可驗證憑證的可擴展和可互操作的 DID 解決方案，並已推出了 zkDID 測試網。zkDID 的目標是支持每秒數百萬個可驗證憑證，並幫助數十億用戶使用 Web3 基礎設施和應用程序。此外，zkDID 使用 ZKP 實現了基於 Vitalik 提出的隱形地址 (stealth address)的隱私解決方案，以便用戶對其個人資訊進行細粒度控制。zkDID 基礎設施與 W3C 標準和任何可驗證的憑證數據類型兼容，並可以基於 zkBridge 實現跨各種 Web3 和 Web2 系統的互操作，顯著簡化了涉及 Web3 DID 系統的相關方之間的通信。

二、基於 paraPlonk 的 zk 可擴展性

除了 ZK 互操作性，Polyhedra Network 還設計並實現了 paraPlonk，在實驗中，paraPlonk 可以為現有的 zkRollup 系統提供加速。

paraPlonk 協議是一系列基於 Segregation-friendly 和簡明證明技術的新一代 ZKP 協議。通過 paraPlonk 協議，集群中的節點們可以類似通過加入礦池一樣方式共同生成 ZKP 證明。在 paraPlonk 協議中，集群中的節點間只需要為生成證明而廣播和通信非常小的數據量。paraPlonk 協議與 Plonk 兼容，是 Plonk 的一個通用版本，它大大減少了了分布式 Plonk 節點間的通信開銷，同時保留了 Plonk 的所有優點，因此任何基於 Plonk 的證明系統都可以通過最小的修改遷移到 paraPlonk。paraPlonk 的協議設計還可以與其他零知識證明系統（如 Marlin 和 Gemini）相兼容。Marlin 和 Gemini 協議也是由 Polyhedra Network 的 創始成員參與發明的，並且 Marlin 協議目前已經在 Aleo 中使用。

三、 ZK full-stack

Polyhedra Network 的願景是成為真正意義上結合 zk 互操作性和 zk 可擴展性的 zk 全棧項目，並用 zkBridge、zkDID 等 zk 組件全面實現 Web2 和 Web3 世界的互通互聯。

在基礎架構層面，PolyHedra Network 通過先進的零知識證明協議方案實現 zkBridge，並通過 zkBridge 鏈接任意兩條區塊鏈。paraPlonk 為現有的 zk-Rollup 提供加速，為 Layer-1 區塊鏈提供可擴展性。

在中間件和應用層，PolyHedra Network 通過互操作技術，實現 zkDID 和 zkOracle，用以實現 Web2 和 Web3 世界的互聯互通。

就如 PolyHedra Network 的名字「多面體」一樣，PolyHedra Network 真正意義上成為兼具 zk 互操作性和和 zk 可擴展性的全棧六邊形戰士。

原文連結