通过仅向前纠正实现无回滚跨链原子性
Rollback-Free Cross-Chain Atomicity Through Forward-Only Correction
浏览论文内容
中文总结 AI 辅助
研究异构区块链智能合约原子性问题，提出通过仅向前纠正实现无回滚跨链原子性的框架，限制合约状态保持时长，将竞争局限于操作涉及状态，通过链上执行记录确定结果，不依赖单一协调方，为跨链原子协调奠定基础。
中文摘要 AI 辅助
区块链平台已发展成为独立网络的生态系统，越来越多的应用要求不同链上的智能合约协同运作。此类操作必须具备原子性，但不可变特性使其实现难度增大，经典原子承诺协议依赖的回滚操作无法使用。这带来两个挑战：跨未知结果操作需保持合约状态，各链执行结果需确定但彼此无法观测。为此，我们引入通过仅向前纠正实现原子性的框架，用新的链上交易解决不完整操作而非回滚。该框架限制合约状态保持时长，将竞争局限于操作涉及状态，通过链上执行记录确定结果，不依赖单一协调方。此工作为跨异构区块链的通用智能合约操作的原子协调奠定基础。
英文摘要
Blockchain platforms have grown into an ecosystem of independent networks, and a growing class of applications now requires smart contracts on separate chains to act as one. Such operations must be atomic, yet immutability makes this fundamentally harder: a confirmed transaction cannot be reversed, so the rollback on which classical atomic commitment protocols depend is unavailable. Two challenges follow. Contract state must be held across an operation whose outcome is not yet known, and each chain's execution outcome must be established even though no chain can observe another. In response, we introduce a framework that achieves atomicity through forward-only correction, resolving incomplete operations with new on-chain transactions rather than reversal. The framework bounds how long contract state is held and confines contention to the state an operation touches, and it establishes outcomes from an on-chain record of what each chain executed, without relying on any single coordinating party. This work lays the foundation for atomic coordination of general smart contract operations across heterogeneous blockchains.
