概述：

证明以太坊PoS的全节点对于构建zkBridge以及以太坊上的任何互操作协议至关重要。同步委员会对于这些目的来说是不够安全的，因为同步委员会的加密经济安全性（当前仅约3200万美元的ETH质押）远不理想。任何依赖以太坊上的同步委员会部署的跨链基础设施、预言机和数据处理服务都是不安全的。

Polyhedra Network设计并实施了zkBridge系统，以证明以太坊PoS的全节点（当前总共质押的ETH的总价值约为400亿美元）。Polyhedra Network在LayerZero上的所有以太坊及其rollups（例如Arbitrum，Linea，Optimism，zkSync，Mantle等）的zk客户端都将基于以太坊全节点的ZK证明。Polyhedra Network采用了其高效的证明系统deVirgo，该系统的效率足以在10秒内生成Ethereum全节点的证明，证明速度足以追赶上Ethereum区块的出块速度。

以太坊全节点的零知识证明实现将使以太坊及其rollups能够实现完全无需信任、高效且安全的互操作性。Polyhedra Network的系统还允许任何L1和L2（例如BNB Smart Chain和opBNB）以及任何应用传输所有当前和历史的以太坊数据。这使得智能合约可以无需信任地访问以太坊数据以实现各种计算逻辑，同时其安全性由以太坊PoS全节点保证。

证明以太坊PoS的全节点对于安全性至关重要

与以太坊轻客户端相比，以太坊全节点证明具有更高的安全保证。以太坊轻客户端的安全性完全依赖于一个被称为“同步委员会”的系统。然而，同步委员会的规模只有512个成员，大约每天（即大约27.3小时）轮换一次。总质押资产只有16384个ETH（512 * 32），与连接以太坊生态系统与其他网络的跨链桥每日交易量（超过3亿美元）相比，这个数字非常小（当前只有3200万美元的ETH被质押）。

另一个问题是同步委员会并不总是对区块进行签名（例如区块17239413和区块17239414）。统计数据显示，1.6%的区块没有被同步委员会的绝大多数成员签名，而且这个问题平均每12分钟就可能发生一次。

证明以太坊全节点的系统概述

为了解决这些问题，Polyhedra Network决定摒弃使用同步委员会，并利用自以太坊merge以来的以太坊区块链的全PoS共识。这将证明在以太坊主网上的每个区块中包含的超过20,000个签名（比512个同步委员会增加了40倍）。

为了处理40倍的工作量增加，Polyhedra Network采用了其独特的证明系统——deVirgo。这个证明系统拥有无与伦比的处理能力，得益于其理论上的改进和显著的工程进步。deVirgo协议从理论上消除了对非常大的FFT或MSM的需求，使证明生成时间与签名数量呈线性关系。该协议已在zkBridge上部署，并支持并行和分布式计算。