Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance
Daniel Engel, Maurice Herlihy, Yingjie Xue

TL;DR
This paper explores how failure and fault-tolerance concepts from classical distributed computing have evolved in decentralized finance, emphasizing that failure can be a legitimate option rather than a fault, with protocols ensuring fairness and renege prevention.
Contribution
It introduces a new perspective on fault-tolerance in decentralized finance, linking traditional distributed computing notions to modern smart contract protocols.
Findings
Failure can be a legitimate option in DeFi protocols
Protocols ensure fairness and prevent renege
Evolution from two-phase commit to timed hashlocked contracts
Abstract
Many aspects of blockchain-based decentralized finance can be understood as an extension of classical distributed computing. In this paper, we trace the evolution of two interrelated notions: failure and fault-tolerance. In classical distributed computing, a failure to complete a multi-party protocol is typically attributed to hardware malfunctions. A fault-tolerant protocol is one that responds to such failures by rolling the system back to an earlier consistent state. In the presence of Byzantine failures, a failure may be the result of an attack, and a fault-tolerant protocol is one that ensures that attackers will be punished and victims compensated. In modern decentralized finance however, failure to complete a protocol can be considered a legitimate option, not a transgression. A fault-tolerant protocol is one that ensures that the party offering the option cannot renege, and the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Distributed systems and fault tolerance · Cryptography and Data Security
