City Research Online

Optimal Smart Contracts with Costly Verification

Mamageishvili, A. and Schlegel, J. C. ORCID: 0000-0002-8385-8349 (2019). Optimal Smart Contracts with Costly Verification (19/13). London, UK: Department of Economics, City, University of London.


We study optimal smart contract design for monitoring an exchange of an item performed offine. There are two parties, a seller and a buyer. Exchange happens of-chain, but the status update takes place on-chain. The exchange can be verified but with a cost. To guarantee self-enforcement of the smart contract, both parties make a deposit and the deposits must cover payments made in all possible final states. Both parties have an (opportunity) cost of making deposits. We discuss two classes of contract: In the first, the contract only interacts with the seller, while in the second, the contract can also interact with the buyer. In both cases, we derive optimal contracts specifying optimal deposits and verification policies.

Publication Type: Monograph (Discussion Paper)
Additional Information: Copyright 2019, the authors
Publisher Keywords: Smart Contracts, Deposit Design, Costly State Verification
Subjects: H Social Sciences > HB Economic Theory
Departments: School of Arts & Social Sciences > Economics > Discussion Paper Series
Date Deposited: 22 Aug 2019 07:50
Text - Accepted Version
Download (499kB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login