FairSwap: How To Fairly Exchange Digital Goods
Stefan Dziembowski, Lisa Eckey, Sebastian Faust
Abstract
We introduce FairSwap -- an efficient protocol for fair exchange of digital goods using smart contracts. A fair exchange protocol allows a sender S to sell a digital commodity x for a fixed price p to a receiver R. The protocol is said to be secure if R only pays if he receives the correct x. Our solution guarantees fairness by relying on smart contracts executed over decentralized cryptocurrencies, where the contract takes the role of an external judge that completes the exchange in case of disagreement. While in the past there have been several proposals for building fair exchange protocols over cryptocurrencies, our solution has two distinctive features that makes it particular attractive when users deal with large commodities. These advantages are: (1) minimizing the cost for running the smart contract on the blockchain, and (2) avoiding expensive cryptographic tools such as zero-knowledge proofs. In addition to our new protocols, we provide formal security definitions for smart contract based fair exchange, and prove security of our construction. Finally, we illustrate several applications of our basic protocol and evaluate practicality of our approach via a prototype implementation for fairly selling large files over the cryptocurrency Ethereum.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get e469fc7e-e213-4ca4-9e08-5b9161bde9b9Cited by top-tier papers8
- MAD-HTLC: Because HTLC is Crazy-Cheap to AttackItay Tsabary, Matan Yechieli, Alex Manuskin, Ittay EyalS&P 2021 · 87 citations
- Balance: Dynamic Adjustment of Cryptocurrency DepositsDominik Harz, Lewis Gudgeon, Arthur Gervais, William J. KnottenbeltCCS 2019 · 31 citations
- ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data ExchangeYun Li, Cun Ye, Yuguang Hu, Ivring Morpheus et al.CCS 2021 · 26 citations
- Atomic and Fair Data Exchange via BlockchainErtem Nusret Tas, István András Seres, Yinuo Zhang, Márk Melczer et al.CCS 2024 · 15 citations
- LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor SignaturesErkan Tairi, Pedro Moreno-Sanchez, Clara SchneidewindCCS 2023 · 10 citations
Related papers
- Sweep-UC: Swapping Coins PrivatelyLucjan Hanzlik, Julian Loss, Sri Aravinda Krishnan Thyagarajan, Benedikt WagnerS&P 2024 · 15 citations
- Efficient Publicly Verifiable 2PC over a Blockchain with Applications to Financially-Secure ComputationsRuiyu Zhu, Changchang Ding, Yan HuangCCS 2019 · 21 citations
- Universal Atomic Swaps: Secure Exchange of Coins Across All BlockchainsSri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-SanchezS&P 2022 · 112 citations
- Towards automated verification of smart contract fairnessYe Liu, Yi Li, Shang-Wei Lin, Rong ZhaoFSE 2020 · 33 citations
- FastKitten: Practical Smart Contracts on BitcoinPoulami Das, Lisa Eckey, Tommaso Frassetto, David Gens et al.USENIX Security 2019 · 118 citations
