zkEVM被认为是以太坊可扩展性的圣杯。Polygon是在该领域处于领先地位的探索者之一，其zkEVM即将推出。在此之前，你需要了解有关PolygonzkEVM技术的一些信息。
PolygonzkEVM是一种去中心化的可扩展性解决方案，它采用零知识证明提供有效性证明来验证交易并在以太坊上实现最终性，同时它是一种EVM兼容的扩展性方案。在这篇推文中，我们将重点观察PolygonzkEVM的这些组件：共识合约zkNode：同步器、排序器、聚合器、RPCzkProverzkBridge共识合约
此前，PolygonHermez1.0使用ProofofDonation作为共识机制，这是一种协调员创建交易包的去中心化拍卖机制。
如今最新版本合约PolygonZkEVM.sol采用ProofofEfficiency(PoE)，它借鉴了PoD的经验，支持多个协调者以无许可的方式在L2上创建交易包。合约确保去中心化、效率、免受攻击以及验证工作和网络价值之间的平衡。链上数据可用性采用了混合模式，其中数据存储在链外，仅在链上发布有效性证明。PolygonZkEVM.sol用于确保正确的状态转换。智能合约使用zk-SNARK电路来验证有效性证明。要执行上述操作，需要排序器和聚合器的参与。zkNode
排序器提议交易包，聚合器验证它们。智能合约调用排序器来接收交易包，并调用聚合器来验证它们。
zkNode是运行zkEVM节点所需的软件，它管理PolygonzkEVM网络中参与者的角色。为了跟踪网络状态，参与者可以是节点，也可以作为排序器或聚合器参与交易包生产。排序器预处理L2交易，向PoE智能合约提交交易包，并支付费用。聚合器接收交易信息，将其发送给证明者，接收零知识证明，并将结果发送给智能合约进行验证。
同步器同步交易包及其有效性证明，RPC则实现与现有工具的集成。状态实现默克尔树并检查区块级别的完整性和一些与交易相关的信息。zkProver
zkProver是PolygonzkEVM架构的重要组成部分。它负责生成零知识证明，以验证zkEVM执行计算的正确性。为了生成零知识证明，zkProver从聚合器接收输入，聚合器从排序器收集交易信息。然后证明被发送回聚合器，聚合器再将其发送到智能合约进行验证。鉴于其高效率和可扩展性，zkProver可以以最小的延迟处理大量交易。zkBridge
zkBridge允许用户在LX和LY两层之间安全和去中心化地转移资产。它由两个相同的合约组成，一个部署在以太坊主网上，另一个部署在特定的Rollup网络上。在L1合约中，资产可以在Rollup之间转移；而在L2合约中，资产可以在主网和Rollup之间转移。通过智能合约，zkBridge还支持不同L2网络之间的本地互操作性。小结
总之，Polygon的zkEVM是一种很有前途的解决方案，可以改善以太坊网络的可扩展性问题。通过利用zk-SNARK电路实现有效性和混合模式实现数据可用性，它提供去中心化、效率和攻击保护，同时保持EVM兼容性。共识合约、zkNode、zkProver和zkBridge协同工作，以实现安全和去中心化的交易处理。随着上线临近，PolygonzkEVM有望为以太坊的增长和采用做出重大贡献。原地址
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。