This is not the latest version of this item. The latest version can be found here.
Cross-chain deals and adversarial commerce
Name
778_2021_Article_686.pdf
Size
516.12 KB
Format
Adobe PDF
Checksum (MD5)
43d80cba43e6afc9de73a10e35b13806
Author(s)
Herlihy, Maurice
Liskov, Barbara
Shrira, Liuba
Date Issued
August 20, 2021
Publisher
Springer Berlin Heidelberg
Version
Final published version
Abstract
Abstract
Modern distributed data management systems face a new challenge: how can autonomous, mutually distrusting parties cooperate safely and effectively? Addressing this challenge brings up familiar questions from classical distributed systems: how to combine multiple steps into a single atomic action, how to recover from failures, and how to synchronize concurrent access to data. Nevertheless, each of these issues requires rethinking when participants are autonomous and potentially adversarial. We propose the notion of a cross-chain deal, a new way to structure complex distributed computations that manage assets in an adversarial setting. Deals are inspired by classical atomic transactions, but are necessarily different, in important ways, to accommodate the decentralized and untrusting nature of the exchange. We describe novel safety and liveness properties, along with two alternative protocols for implementing cross-chain deals in a system of independent blockchain ledgers. One protocol, based on synchronous communication, is fully decentralized, while the other, based on semi-synchronous communication, requires a globally shared ledger. We also prove that some degree of centralization is required in the semi-synchronous communication model.
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s00778-021-00686-1
