来源：ABCDE Capital
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：我们为什么投资Polyhedra Network？