FairSwap: How To Fairly Exchange Digital Goods
Stefan Dziembowski, Lisa Eckey, Sebastian Faust
摘要
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.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
引用它的顶会 Paper8
- MAD-HTLC: Because HTLC is Crazy-Cheap to AttackItay Tsabary, Matan Yechieli, Alex Manuskin, Ittay EyalS&P 2021 · 被引用 87 次
- Balance: Dynamic Adjustment of Cryptocurrency DepositsDominik Harz, Lewis Gudgeon, Arthur Gervais, William J. KnottenbeltCCS 2019 · 被引用 31 次
- ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data ExchangeYun Li, Cun Ye, Yuguang Hu, Ivring Morpheus 等CCS 2021 · 被引用 26 次
- Atomic and Fair Data Exchange via BlockchainErtem Nusret Tas, István András Seres, Yinuo Zhang, Márk Melczer 等CCS 2024 · 被引用 15 次
- LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor SignaturesErkan Tairi, Pedro Moreno-Sanchez, Clara SchneidewindCCS 2023 · 被引用 10 次
相关 Paper
- Sweep-UC: Swapping Coins PrivatelyLucjan Hanzlik, Julian Loss, Sri Aravinda Krishnan Thyagarajan, Benedikt WagnerS&P 2024 · 被引用 15 次
- Efficient Publicly Verifiable 2PC over a Blockchain with Applications to Financially-Secure ComputationsRuiyu Zhu, Changchang Ding, Yan HuangCCS 2019 · 被引用 21 次
- Universal Atomic Swaps: Secure Exchange of Coins Across All BlockchainsSri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-SanchezS&P 2022 · 被引用 112 次
- Towards automated verification of smart contract fairnessYe Liu, Yi Li, Shang-Wei Lin, Rong ZhaoFSE 2020 · 被引用 33 次
- FastKitten: Practical Smart Contracts on BitcoinPoulami Das, Lisa Eckey, Tommaso Frassetto, David Gens 等USENIX Security 2019 · 被引用 118 次
