A Game-Theoretic Analysis of Cross-Chain Atomic Swaps with HTLCs

@article{Xu2021AGA,
  title={A Game-Theoretic Analysis of Cross-Chain Atomic Swaps with HTLCs},
  author={Jiahua Xu and Damien Ackerer and Alevtina Dubovitskaya},
  journal={2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS)},
  year={2021},
  pages={584-594}
}
To achieve interoperability between unconnected ledgers, hash time lock contracts (HTLCs) are commonly used for cross-chain asset exchange. The solution tolerates transaction failure, and can “make the best out of worst” by allowing transacting agents to at least keep their original assets in case of an abort. Nonetheless, as an undesired outcome, reoccurring transaction failures prompt a critical and analytical examination of the protocol. In this study, we propose a game-theoretic framework… 
A Game-Theoretic Analysis of Cross-Ledger Swaps with Packetized Payments
TLDR
A game-theoretic framework to study the outcomes of packetized payments, a cross-ledger transaction protocol, with strategic and possibly malicious agents, suggests that collateral deposits can prevent malicious agents from taking advantage of the protocol.
Transferable Cross-Chain Options
TLDR
This paper proposes novel distributed protocols for transferable cross-chain options, where both option owners and providers can sell their positions to third parties.
Strategic Analysis to defend against Griefing Attack in Lightning Network
TLDR
This work is the first to analyze griefing attacks in Hashed Timelock Contract or HTLC, from a game-theoretic point of view, and claims that HTLC-GP is better than HT LC-GP to counter griefing attack.
Generalized HTLC for Cross-Chain Swapping of Multiple Assets with Co-Ownerships
TLDR
The generalize the model of asset exchanges across DLT networks, present the consequent threat model, and propose and analyze an augmented HTLC protocol for atomic multi-partyand-asset exchanges are generalized.
Atomic cross-chain exchanges of shared assets
TLDR
This paper generalizes the model of asset exchanges across DLT networks and presents a taxonomy of use cases, describes the threat model, and proposes MPHTLC, an augmented HTLC protocol for atomic multi-owner-and-asset exchanges.
Verilay: A Verifiable Proof of Stake Chain Relay
TLDR
Verilay is proposed, the first chain relay scheme that enables validating PoS protocols that produce finalized blocks, for example, Ethereum 2.0, Cosmos, and Polkadot, and proves the applicability to Ethereum 1.0’s mainnet.
Query Processing in Blockchain Systems: Current State and Future Challenges
TLDR
This paper investigates novel use cases for blockchain systems and elicit their requirements towards a data store in terms of query capabilities and assesses whether the system is capable of meeting the requirements of such more sophisticated use cases, and identifies future research challenges with regard to query processing in blockchain systems.
Hedging Against Sore Loser Attacks in Cross-Chain Transactions
TLDR
New distributed protocols for hedging a range of cross-chain transactions in a synchronous communication model, such as two-party swaps, n- party swaps, brokered transactions, and auctions are proposed.
SoK: Decentralized Finance (DeFi)
TLDR
The DeFi ecosystem is delineated along its principal axes according to the type of operation they provide, and the technical and economic security of DeFi protocols are considered, drawing particular attention to the issues that emerge specifically in the DeFi setting.
Survey of crosschain communications protocols
...
...

References

SHOWING 1-10 OF 47 REFERENCES
Game theoretical analysis of Atomic Cross-Chain Swaps
TLDR
It is proved that following a swap protocol characterized by concurrent publishing of exchange contracts and snap assets transfers is a Nash equilibrium, which means that for protocols with a sequential publishing and commitment of the assets transfers, following the prescribed protocol is a sub-game perfect equilibrium.
Atomic commitment across blockchains
TLDR
AC3WN is presented, the first decentralized all-or-nothing atomic cross-chain commitment protocol and an open permissionless network of witnesses is used to guarantee that conflicting events could never simultaneously occur and either all smart contracts in an atomicCrosschain transaction are redeemed or all of them are refunded.
Towards Atomic Cross-Chain Token Transfers : State of the Art and Open Questions within TAST
TLDR
This paper surveys the most prominent blockchains, as well as fourteen currently operational or forthcoming cryptocurrency systems, discussing their features and potential usability for atomic cross-chain token transfers, and identifies several open key challenges for such token transfers.
Atomic Cross-Chain Swaps
TLDR
This work gives an atomic cross-chain swap protocol for D, using a form of hashed timelock contracts, where the vertexes in L generate the hashlocked secrets and it is shown that no such protocol is possible if D is not strongly connected, orIf D is strongly connected but L is not a feedback vertex set.
The Arwen Trading Protocols (Full Version)
TLDR
The Arwen Trading Protocols are layer-two blockchain protocols for traders to securely trade cryptocurrencies at a centralized exchange, without ceding custody of their coins to the exchange, and are designed to work even with the “lowest common denominator” of blockchains.
Sidechains and interoperability
TLDR
It is found that although there is a plethora of blockchains and interoperability implementations, or proposals, at a higher level of abstraction there is only a handful of approaches and the way they are implemented can differ quite substantially.
Sprites: Payment Channels that Go Faster than Lightning
TLDR
A novel construction for payment channels is developed that reduces the worst-case “collateral cost” for offchain payments and relies on a general purpose primitive called a “state channel,” which is of independent interest.
A Protocol for Interledger Payments
TLDR
A protocol for payments across payment systems that enables secure transfers between ledgers and allows anyone with accounts on two ledgers to create a connection between them, and removes the need to trust these connectors.
A Secure Sharding Protocol For Open Blockchains
TLDR
ELASTICO is the first candidate for a secure sharding protocol with presence of byzantine adversaries, and scalability experiments on Amazon EC2 with up to $1, 600$ nodes confirm ELASTICO's theoretical scaling properties.
Blockchain Consensus Algorithms: A Survey
TLDR
A wide range of consensus algorithms are analysed using a comprehensive taxonomy of properties and by examining the implications of different issues still prevalent in consensus algorithms in detail to fill the gap in comprehensive analysis of these algorithms.
...
...