Atomicity and Abstraction for Cross-Blockchain Interactions

区块链可以在链上的互不信任的参与方之间促进安全和原子交易。如今，存在着多个具有不同接口和安全属性的区块链。在这个多区块链的世界中编程受到了限制，因为缺乏通用和便捷的跨链通信和计算抽象。当前的跨链通信桥梁具有不同的低级接口，使得开发可移植应用程序变得困难。当前的多链原子交易方法仅限于加密货币交换的范围。本研究解决了这些问题。我们首先定义了一种统一的、高级的链间通信接口。在此接口的基础上，我们制定了一个协议，保证了操作可能跨越多个链的一般交易的原子性。我们制定并证明了这些协议的所需正确性和安全性质。我们的原型实现是使用LayerZero跨链桥梁构建的。使用这个实现的经验表明，新的抽象大大简化了多链交易的设计和实现。多链交换交易的实验评估表明，其性能与定制实现相当。

解决问题：论文旨在解决多区块链通信和计算的抽象化不足、接口不便、安全性不够等问题，提出了一种新的高级接口和协议，以保证跨链交易的原子性。

关键思路：论文提出了一种统一的高级接口，用于不同区块链之间的通信。基于此接口，提出了一种新的协议，以保证跨链交易的原子性。通过实验验证，这种新的抽象化方法可以简化多链交易的设计和实现。

其他亮点：论文的实现采用了LayerZero跨链桥技术。实验结果表明，这种新的抽象化方法可以简化多链交易的设计和实现，而且性能与定制实现相当。值得关注的是，论文提出的协议不仅限于加密货币交换，可以应用于更广泛的跨链交易。论文没有提供开源代码。

相关研究：在这个领域中，近期的相关研究包括“Interledger: Towards a Protocol for Payment Interoperability”和“Atomic Cross-Chain Swaps”。