简介
Polyhedra Network 是 Web3 行业的先驱公司，以其超快速的零知识证明（ZKPs）技术而闻名。该公司的目标是成为整个生态系统的基础设施，提供一流的解决方案以满足行业需求。
他们的旗舰产品 – zkBridge，是基于他们自主研发的尖端零知识证明协议。zkBridge 已经成功地实现了在超过 25 个一层和二层区块链之间的无需信任且高效的跨链互操作性，这在业界是独一无二的。
Polyhedra Network 的研发团队持续优化其技术，以确保在整个区块链生态系统中提供无与伦比的速度和效率。他们的努力和成就已经在行业内获得了广泛的认可，他们的技术和产品被视为区块链领域的重要基石。
此外，Polyhedra Network 还为开发者提供了一套工具链，以提供更好的 Web3 开发环境。这些工具链使开发者能够更高效地构建和部署 Web3 应用，进一步推动了 Web3 生态系统的发展。
项目概要
Polyhedra Network 是一家领先的 Web3 基础设施提供商，旨在利用其零知识技术打破传统计算的束缚，加速 Web3 的普及和应用。该公司的创新技术和独创性的方法为整个 Web3 生态系统奠定了坚实的基础。
zkBridge 是 Polyhedra Network 的旗舰发明之一，它彻底改变了区块链的互操作方式。zkBridge 安全、快速，无需第三方信任即可运作。Polyhedra Network 进一步将 zkBridge 协议扩展为通用的零知识互操作协议，实现了 Web2 与 Web3 的无缝连接。这一协议简化了传统金融机构开发 Web2 与 Web3 互通应用的流程，促进了实物资产在不同**间的自由流动。
zkBridge 的技术核心是 deVirgo 算法。deVirgo 算法通过并行计算和递归证明，缩短了证明生成时间并且减少了 ZKP 的证明大小，从而实现零知识证明成本的降低和速度的提升。deVirgo 算法可以实现 10 秒内生成以太坊全节点证明，官方实际测试中 zkBridge 可以在 12 秒内生成以太坊全节点的证明并在 BNB 链和其他**上验证区块头。
在团队方面，项目背后是一个来自加州大学伯克利分校、斯坦福大学、清华大学等高校的团队，团队核心成员基本都是相关领域的博士，有着较强的技术实力。在资金方面，Polyhedra 在近期以 10 亿美元估值获得了 2,000 万美元的投资，使其总融资额达到 7,500 万美元，。团队在资金方面与 Polychain、币安、OKX 联系较为紧密；在产品方面，Polyhedra 团队也与以太坊生态，比特币生态等合作密切。
项目在开发方面比较稳定，团队有着较强的技术实力，产品也都正常交付。目前 Polyhedra 在技术和产品方面已经比较成熟，属于可用状态，未来可能更多是纵向拓展，增加底层 ZKP 技术的用例与开展业务合作并行。
Polyhedra 的代币符号是 ZK，目前已经在 OKX, Bybit, Kucoin, Bitget, Bitmart 等各大交易所上线。ZK 代币已空投给 zkBridge 转账用户、Pandra King NFT 持有者、Galxe 忠诚度积分用户及其他平台合作伙伴。Polyhedra 还将会持续价值 1500 万没劲的 ZK 代币空投活动。
ZK 研究
Polyhedra Network 在区块链的可扩展性问题上取得了显著的成就。这个问题一直是阻碍区块链大规模部署的主要障碍。许多项目正在通过采用零知识证明 (ZKPs) 来解决这个问题，但证明生成的瓶颈问题仍然存在，通常需要部署拥有数 TB 内存的强大机器。
然而，Polyhedra Network 的研究团队聚焦于改进零知识证明，以提高利用零知识技术的系统的可扩展性。他们聚焦在证明生成过程的优化，以改变传统算力对大规模硬件资源的依赖，从而提高系统的可扩展性和可用性。
ZK 算法
1. Libra：一个高性能的证明系统，通过通过直接改进算法来加速证明生成过程，并且没有牺牲通用性和验证效率。该算法已在公司的核心代码库中实施、修改和优化。实验表明，新的实现在效率上比其他证明系统高出一个数量级。
2. Virgo：一个强大的基于 Libra 并用于分层算术电路的零知识证明方案，该方案不需要可信初始化。它具有快速的证明者以及实用的的证明大小和快速的验证时间。实验显示，它仅需要 53 秒就能为一个计算有 256 片叶子的默克尔树的电路生成一个证明，至少比所有其他零知识证明方案快一个数量级。
3. Virgo ++：泛化了 GKR 协议对分层电路的交互式证明至任意电路，同时保留了严格线性到电路大小的最优证明者复杂性。此协议不仅在理论复杂度上实现了最优证明者复杂性，而且在实际中也是高效的。实验显示，它只需要不到一秒钟就可以为包含超过一百万个门的电路生成证明，这比原始的分层电路上的交互式证明协议快 13 倍。
4. Orion：作为证明系统的 Orion，通过采用纠错码领域最新的技术进展，显著降低了证明生成时间，同时具有实用的证明大小和验证时间。该系统非常适用于链下应用以及 zkEVMs。
5. Gemini：一个硬件友好型的零知识证明系统，利用专用硬件帮助 Polyhedra 加速证明生成。Gemini 证明者有多种不同时间与内存权衡的配置，可以根据执行环境和需要证明的应用来选择。输出的证明与所选配置无关。在一种空间效率高的配置中，Gemini 证明者使用对数级的内存量，能够实现超快速的硬件运行，并且内存占用有限。
6. Marlin：一个零知识证明系统，其恒定的证明大小和验证复杂度将帮助 Polyhedra 减少证明大小和链上验证成本。Marlin 利用了全息技术的新颖用途，只要被验证的声明以编码形式给出，就能快速实现验证。结果参数具有恒定的大小，可以在几毫秒内验证。
7. Pianist：利用分布式计算的力量，能够将数百台机器的计算能力结合成一个统一的证明生成机器。Pianist 提供了无限的水平可扩展性和完美的并行性。Polyhedra 将这个系统中的技术与 Libra 结合起来，以获得最佳的两全其美的效果。
融资状况
Polyhedra 共经历了 5 次融资，融资总额达到 7,500 万美元。值得注意的是，最近（2024 年 3 月）的一次融资中，Polyhedra 以 10 亿美元的估值获得了 Polychain 领投的 2000 万美元融资，这已经是 Polychain 第 3 次领投 Polyhedra。
开源计划
Polyhedra 的核心是 zkBridge，其相关论文在 2022 年 11 月的 SIGSAC 计算机和通信安全会议上发布，论文中包含了 zkBridge、deVirgo 等主要内容。该团队计划在今年公开其源代码，以便更多的开发者能够利用零知识证明（ZKP）工具包，从而实现更加简洁、高效的开发流程。
产品
Polyhedra 全称 PolyHedra Network，是一个基于零知识证明（Zero-Knowledge Proof，ZKP）实现区块链互操作性的基础设施项目。Polyhedra 的第一个应用产品是 ZK 跨链桥协议——zkBridge protocol，以及基于其 deVirgo 算法衍生出来的中间件。
为了更好地服务于开发者社区，Polyhedra Network 预计将推出一套定制的零知识证明编译器和证明器，该套工具将与主流的零知识电路语言保持兼容性。此外，Polyhedra Network 也将推出一项基于云的证明器服务，旨在进一步简化应用的开发和部署过程。
这些创新性的工具和服务的推出，预计将使 Polyhedra Network 成为零知识项目的强大支持者，覆盖范围不仅包括互操作应用，还将扩展到 zkVM、zkEVM、zkDID，以及利用零知识增强人工智能的项目 (ZKML)。这将为开发者社区提供一个强大的平台，使他们能够更好地利用零知识证明的强大功能，从而推动区块链技术的进一步发展和创新。
zkBridge
zkBridge 是一个基于零知识证明的跨链桥协议，主要功能是实现区块链与区块链之间的数据和资产的互通，下图红色框中即为 zkBridge，zkBridge 由区块头中继**（Block Header Relay Network）和更新合约（Updater Contract）组成。zkBridge 使用 zkSNARK 使发送链（证明生成方）能够有效地让接收链（验证方）相信发送者的链上发生了数据变化。中继**从发送链检索区块头，生成区块头有效性证明，并将区块头连同证明一起发送到在接收链上设置的更新合约。一旦证明被验证成功，更新者合约会自动添加发送链的区块头，并更新至发送链。
deVirgo 算法的优势
实际上基于 ZK 的跨链架构都大体相似，而相比于其他项目，zkBridge 主要在 ZKP 的证明生成和验证时间以及成本方面进行了优化，这主要归功于 Polyhedra 开发的 deVirgo 算法。deVirgo 是基于 Virgo 算法（zk-SNARK 的一种）的升级版，因此 deVirgo 同样具有无需可信设置的优点。在 Virgo 算法的基础上，deVirgo 算法通过数据并行（data-parallel） 和递归组合（Recursive Com-position），缩短了证明生成时间并且减少了 ZKP 的证明大小，从而实现零知识证明成本的降低和速度的提升。
在缩短 ZKP 证明生成时间方面，Polyhedra 团队将数据并行的方法应用到零知识证明中。在生成包含 n 个签名的电路（circuit）时，会产生 n 个相同的子电路**品（sub-circuit copies），而数据并行的方式就是将这些子电路分配多个设备进行分别处理，而证明生成时间会随着设备数量的增加线性减少。简单而言，deVirgo 将原本 Virgo 算法的 ZKP 生成工作拆分给多台设备，从而优化证明生成时间。在相同的签名数量下，有着 n 台设备的 deVirgo 算法的生成时间几乎是 Virgo 算法的 1/n。
其测试图表如下图所示：
deVirgo 算法相比于 Virgo 算法
在证明大小和验证时间的优化方面，Polyhedra 使用递归证明（recursive verification）的方法，以缩小 ZKP 证明的大小、减少验证时间，并节约链上成本。具体而言，Polyhedra 使用了两阶段的递归计算，首先证明者通过调用 deVirgo 算法生成第一阶段证明，然后再通过 Groth16 算法生成第二阶段证明。第二阶段证明是第一阶段证明的有效证明，因此证明者只需要上传第二阶段证明以供验证者验证，其安全性依靠随机预言机假设（random oracle assumption）。
在前文提到了，第一阶段证明所用的 deVirgo 算法有着较快的证明生成速度，而第二阶段证明的 Groth16 算法一方面能够进一步压缩证明大小，并且对第二阶段证明的验证也更为简单；此外，Groth16 算法也是以太坊原生支持的算法，因此也能进一步节省证明成本。在 zkBridge 的论文中 ，这种方式将证明大小从 200KB（Virgo 算法生成的证明大小）减至了 130B，验证所需的计算费用则降至了 210k gas。简单来讲，Polyhedra 通过牺牲一定的证明生成时间，换取了证明大小的减小和验证难度的降低，以提升验证速度，降低了验证成本。
此外，在安全性方面，Polyhedra 也没有选择以太坊轻客户端的同步委员会方案，而是在 zkBridge 上部署了以太坊全节点证明系统。在官方的测试中 ，通过 deVirgo 可以在 10 秒内生成以太坊全节点的证明（以太坊出块时间约为 12 秒）；另外，zkBridge 将以太坊设置为发送链，将 BNB Chain 和 Avalanche 等设置为接收链，在包含所有组件的延迟的情况下，zkBridge 可以在 12 秒内生成以太坊全节点的证明并在 BNB 链和其他**上验证区块头。
以太坊全节点证明
为了实现以太坊完整节点的快速验证者时间，Polyhedra Network 使用了其高效的证明系统 deVirgo。deVirgo 是 Virgo 协议的分布式版本，旨在通过跨多台机器分布计算来并行化 GKR 协议。借助 deVirgo，Polyhedra Network 能够支持不同区块链之间的快速灵活互操作性，而无需依赖外部信任假设。Polyhedra Network 还使用递归证明来证明由 deVirgo 生成的之前的证明确实证明了相应的区块头。证明的递归降低了在任何与 EVM 兼容的区块链**上的链上验证成本，大约为 220K gas。
deVirgo 进行以太坊全节点证明的核心是将以太坊完整共识的验证表示为一个数据并行电路。设想有一个数据并行的算术电路
