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可擴展性的全棧六邊形戰士。

關於ABCDE

ABCDE是專注於領投頂級Crypto Builder的VC，由耕耘了Crypto行業10年以上的Huobi Cofounder杜均及前互聯網和Crypto創業者BMAN聯合創辦。 ABCDE的聯合創始人們從0開始在Crypto行業建立了數十億美元市值的公司。因為我們是創業者，所以我們更懂得創業者。而且我們已經為ABCDE的 Builder構建了上市公司（1611.HK）、交易所（Huobi）、SAAS公司（ChainUP）、媒體（CoinTime.com）、開發者平臺(BeWater.xyz)等端到端的生態，如果你是有改變世界夢想的Builder，來加入我們共同建設下一代加密網絡世界。

Twitter：https://twitter.com/ABCDECapital

Website：www.ABCDE.com