Entangled Rollups:无需桥接的多链互操作性
Share on

我们最近推出了一种新的信任最小化多链互操作性基础设施,名为 纠结汇总

区块链中的互操作性通常使用可信桥来实现,可信桥是单独的集中式或部分分散的中介机构,用于验证和传输跨链消息。

在这项工作中,我们利用我们最先进的递归 zkVM (zkMIPs),在 zkRollUps 的标准安全假设下审慎地纠缠底层原语,从而实现互操作性协议。

Entangled Rollup 协议无需信任,是解决流动性分散问题的一步,此外还简化了作为多链世界主要采用障碍的用户和开发者体验。

“纠缠汇总:没有桥梁的多链互操作性”

“有些作品提出的设计略有不同,将zkRollup概念整合到桥梁中。这种方法面临着诸如需要比汇总更大的电路尺寸以及减少链上存储和计算开销等挑战,这是 ZK 桥有效发挥功能的关键。虽然将零知识证明 (zkProofs) 集成到桥梁设计中可显著增强去中心化和安全性,但它带来了计算挑战,这主要是由于需要更大的电路尺寸。

在本文中,我们通过探索 zkRollup 架构的生存方式,朝着不同的方向前进。我们提出了 “纠缠汇总” 的概念,它允许在不依赖单独实体的情况下进行多链互操作性。该架构解决了流动性分散等挑战,同时降低了开发人员和用户部署和交互的复杂性。

Entangled Rollups 部署在所有区块链基础设施上,其状态通过最先进的递归零知识证明进行同步。值得一提的是,纠缠汇总的愿景不仅限于互操作性和资产转移,因为这种设计支持了广泛的多链应用程序和协议,可以利用对底层基础设施和生态系统的访问权限。”

完整的 Entangled Rollup LightPaper 可以在这里找到: https://whitepaper.zkm.io/entangled_rollup_light_paper.pdf

More articles
没有桥梁的跨链资产转移——第二部分
什么构成交易证明?
传统 STARK vs Circle
STARK(可扩展的透明知识论证)是埃利·本·萨森及其同事在2018年推出的一种证明系统,与传统的SNARK系统相比,它具有更好的可扩展性和透明度。STARK 的工作原理是将复杂的计算转换为算术电路,然后将其表示为多项式评估问题。为了在计算过程中隐藏中间结果,使用了多项式承诺,同时允许验证者对这些结果进行采样和检查。通过应用低度扩展,将复杂的计算简化为验证低度多项式,然后使用高效的交互式证明协议 FRI 来检查多项式是否为低度多项式。该技术在实现隐私保护和可验证计算方面具有广泛的应用。
Entangled Rollups:无需桥接的多链互操作性

我们最近推出了一种新的信任最小化多链互操作性基础设施,名为 纠结汇总

区块链中的互操作性通常使用可信桥来实现,可信桥是单独的集中式或部分分散的中介机构,用于验证和传输跨链消息。

在这项工作中,我们利用我们最先进的递归 zkVM (zkMIPs),在 zkRollUps 的标准安全假设下审慎地纠缠底层原语,从而实现互操作性协议。

Entangled Rollup 协议无需信任,是解决流动性分散问题的一步,此外还简化了作为多链世界主要采用障碍的用户和开发者体验。

“纠缠汇总:没有桥梁的多链互操作性”

“有些作品提出的设计略有不同,将zkRollup概念整合到桥梁中。这种方法面临着诸如需要比汇总更大的电路尺寸以及减少链上存储和计算开销等挑战,这是 ZK 桥有效发挥功能的关键。虽然将零知识证明 (zkProofs) 集成到桥梁设计中可显著增强去中心化和安全性,但它带来了计算挑战,这主要是由于需要更大的电路尺寸。

在本文中,我们通过探索 zkRollup 架构的生存方式,朝着不同的方向前进。我们提出了 “纠缠汇总” 的概念,它允许在不依赖单独实体的情况下进行多链互操作性。该架构解决了流动性分散等挑战,同时降低了开发人员和用户部署和交互的复杂性。

Entangled Rollups 部署在所有区块链基础设施上,其状态通过最先进的递归零知识证明进行同步。值得一提的是,纠缠汇总的愿景不仅限于互操作性和资产转移,因为这种设计支持了广泛的多链应用程序和协议,可以利用对底层基础设施和生态系统的访问权限。”

完整的 Entangled Rollup LightPaper 可以在这里找到: https://whitepaper.zkm.io/entangled_rollup_light_paper.pdf