Computational Cost of Verifying Enforceable Contracts
(1995) In International Review of Law and Economics 15(2). p.127-140- Abstract
- This paper explores a new method for evaluating the cost of verifying a contract. We relate these costs to the number of computations an algorithm needs to check that a contract satisfies certain criteria. Two different criteria that facilitate enforcement of the contract are studied. Our findings indicate bounds on the computational costs as the size of the contract grows. If each computation costs the same, then the marginal cost of increasing the size of the contract is at most linearly increasing and at least constant for the two criteria.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/1387259
- author
- Holm, Jerker LU
- organization
- publishing date
- 1995
- type
- Contribution to journal
- publication status
- published
- subject
- in
- International Review of Law and Economics
- volume
- 15
- issue
- 2
- pages
- 127 - 140
- publisher
- Elsevier
- external identifiers
-
- scopus:58149364617
- ISSN
- 0144-8188
- DOI
- 10.1016/0144-8188(94)00012-J
- language
- English
- LU publication?
- yes
- id
- 1366fd19-44e6-4499-820d-654654d872f8 (old id 1387259)
- date added to LUP
- 2016-04-01 12:06:10
- date last changed
- 2021-01-03 03:50:29
@article{1366fd19-44e6-4499-820d-654654d872f8,
abstract = {{This paper explores a new method for evaluating the cost of verifying a contract. We relate these costs to the number of computations an algorithm needs to check that a contract satisfies certain criteria. Two different criteria that facilitate enforcement of the contract are studied. Our findings indicate bounds on the computational costs as the size of the contract grows. If each computation costs the same, then the marginal cost of increasing the size of the contract is at most linearly increasing and at least constant for the two criteria.}},
author = {{Holm, Jerker}},
issn = {{0144-8188}},
language = {{eng}},
number = {{2}},
pages = {{127--140}},
publisher = {{Elsevier}},
series = {{International Review of Law and Economics}},
title = {{Computational Cost of Verifying Enforceable Contracts}},
url = {{http://dx.doi.org/10.1016/0144-8188(94)00012-J}},
doi = {{10.1016/0144-8188(94)00012-J}},
volume = {{15}},
year = {{1995}},
}