Polyhedra Network 已实现Ethereum全节点ZK证明

欧易交易所

软件大小：268.26MB

软件版本：v3.4.2

APP下载

概述：

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。

BLS签名数

1024

16384

32768

0.4

4.2

7.8

递归验证时间 （秒）

0.20

0.22

0.23

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客户端。