Entangled Rollups-架构
作者:Ben

这项工作研究了定义这种创新的多链互操作性解决方案的错综复杂的密码架构和操作动态。在这里,我们探讨了 Entangled Rollups 的复杂设计,重点介绍了 zkMIPS 在生成和部署递归零知识证明以跨区块链传输状态数据方面的核心作用。

通过精心设计的流程,Entangled Rollups确保在以前不兼容的区块链上进行无缝和安全的交易。该过程围绕一系列复杂的证明交互展开,旨在优化跨链互操作性的安全性和普遍性,实现跨区块链的普遍结算。

生命周期从用户在源层 2 (Src L2) 上发起的交易首先由去中心化排序器收集,该排序器负责将有效交易汇总成批次,提高吞吐量和网络效率。这些交易指定了目标第 2 层(目标第 2 层)、要转移的资产的类型和数量以及交易所需的任何其他数据。

zkMips 处理批次详细信息以生成零知识证明,以证明交易的有效性。zkMips 将交易的执行跟踪编译成 Plonky2 证明,以实现高效的链上验证。该证明有可能转换为Groth16证明,以符合以太坊的气体效率标准,从而确保最大限度地缩短验证时间。

然后,专用节点(称为中继器)将证明和交易元数据从 Src L2 传输到 Dest L2。跨链通信协议促进了这一点,该协议可以安全地传输证据和数据,而不会将其暴露给未经授权的各方。收到证明和交易数据后,Dest L2会根据自己的汇总合约参数对证据进行验证。如果成功验证了证据,则会在 Dest L2 上触发相应的操作。这可能包括铸造新代币、更新状态或根据Src L2的证据执行合同。在 Dest L2 上成功执行后,需要在相应的 Dest L1 上最终确定结果,以确保交易记录在主区块链层上。对于涉及资产转移的交易,Dest L2上的影子合约将处理资产的铸造或解锁,确保这些资产可供接收者使用或经初始证据验证的相应操作。一旦资产在Dest L2上铸造或解锁,交易最终将由Dest L1完成,确保所有网络参与者都确认更新后的状态。

整个过程确保链间的状态更新同步无差异,遵守已定义的共识协议并保持账本的完整性。在此过程中使用零知识证明还显著减少了链上负载,在利用底层区块链固有的安全特征的同时,保持了互联区块链网络的高吞吐量和可扩展性。

您可以通过我们的 LitePaper 加深对纠缠汇总架构的理解: whitepaper.zkm.io/entangled_rollup_light_paper.padf