近日，第43届可靠分布式系统国际研讨会（The 43rd International Symposium on Reliable Distributed Systems，SRDS 2024）录用结果揭晓，实验室博士生蔡元迪（导师肖江教授）的论文 “Enabling Complete Atomicity for Cross-chain Applications  Through Layered State Commitments”被录用。

跨链去中心化应用程序（dApps）能够处理多个区块链上的复杂任务，而不仅限于简单的资产转移或交换。然而，确保相互依赖的交易能被正确执行，即实现dApps交易的完全原子性，仍是尚未解决的挑战。现有的dApps工作可以确保金融原子性，即保护交易双方免受货币损失，但是在执行跨链依赖的复杂任务时，仍缺乏确保交易执行正确性的能力。因此，文章中提出了Avalon，一种针对跨链dApps的交易执行框架，实现了完全原子性。Avalon引入了多个状态层来缓存状态转换，并且对于并发的跨链交易，Avalon不但可以解决链内冲突，并且通过设计状态同步协议解决了链间潜在的状态不一致，实现了可串行化的跨链执行。文章基于智能合约实现了Avalon，并评估了其性能。实验结果表明，在冲突情况下，Avalon的提交延迟保持在秒级，总Gas费用低于10 USDT，均在可接受范围内。

IEEE SRDS是分布式系统领域的重要国际会议，也是中国计算机学会（CCF）推荐的B类会议。近年来，该会议的录取率约为25%。

（通讯员：蔡元迪）