Polyhedra Network 如何通过 zkBridge 实现以太坊全节点 ZK 证明？
币灵灵财经 2024-11-21 12:58 783
概述：
Polyhedra Network 设计并实施了 zkBridge 系统，以证明以太坊 PoS 的全节点（当前总共质押的 ETH 的总价值约为 400 亿美元）。 Polyhedra Network 在 LayerZero 上的所有以太坊及其 rollups （例如 Arbitrum 、Linea 、Optimism 、zkSync 、Mantle 等）的 zk 客户端都将基于以太坊全节点的 ZK 证明。 Polyhedra Network 采用了其高效的证明系统 deVirgo ，该系统的效率足以在 10 秒内生成 Ethereum 全节点的证明，证明速度足以追赶上 Ethereum 区块的出块速度。
证明以太坊 PoS 的全节点对于安全性至关重要
证明以太坊全节点的系统概述
使用高效证明系统证明以太坊全节点
deVirgo 的关键性突破在于确认了以太坊全节点的共识可以表示为数据并行电路的性质。假设有一个数据并行算术电路?以及 N 台机器， deVirgo 证明系统可以将数据并行电路分成 N 个子电路，每台机器只计算一个子电路。以太坊全共识的验证就是这样的一个数据并行电路，其中包含了超过 30000 个相同的签名验证算法和哈希。
deVirgo 的核心是一种分布式 sumcheck 的技术。在 deVirgo 中， sumcheck 协议被分为两个阶段。在第一阶段，每台机器处理自己的子电路，并集体生成一个聚合证明。剩余的工作对于一台机器来说已经足够小。该机器此时即可执行第二阶段，完成分布式 sumcheck 。
评估以太坊全节点 ZK 证明的性能
Polyhedra Network 已经在 zkBridge 上部署了以太坊全节点证明系统。 zkBridge 将以太坊设置为发送链，将其他网络如 BNB Chain 和 Avalanche 等设置为接收链。结果显示，在包含所有组件的延迟的情况下， zkBridge 可以在 12 秒内生成以太坊全节点的证明，并在 BNB 链和其他网络上验证区块头。
Polyhedra Network 将继续优化其实现。计划在不久的将来通过 GPU 加速以降低前期成本并实现更好的去中心化。不过当前的 zkBridge 证明系统已经足够高效，可以跟上以太坊的出块时间。
总结
通过实现以太坊全节点的证明， Polyhedra Network 使用 zkBridge 实现了完全无需信任、高效且安全的互操作性，以连接以太坊生态系统（包括 L1 和 L2 ）与其他网络。此外， Polyhedra Network 在 LayerZero 上的所有以太坊及其 rollups （例如 Arbitrum ，Linea ，Optimism ， zkSync ， Mantle ）的 zk 客户端都将配备以太坊全节点的 ZK 证明。这将以太坊全节点的质押安全性（约 400 亿美元）带入 LayerZero 上的 zk 客户端。
