Smart Contracts and the Coase Conjecture: Brzustowski, Georgiadis-Harris & Szentes (2023)
Distilled · extracted by gpt-6-luna Oct 4, 2026, verified by gpt-6-luna Oct 4, 2026, extracted by claude-sonnet-4-6 Jun 25, 2026, verified by claude-sonnet-4-6 Jun 24, 2026
JEL (IAR-assigned): D42, D82, D86, L12 · assigned from the abstract, not the journal
What this is. The paper’s main theorem, the model, the key definitions, and the two-lemma proof strategy: enough to know what it found and how, without reading all 26 pages. To replicate or extend, read the full source at doi.org/10.1257/aer.20220357.
The Coase conjecture states that a durable-good monopolist who cannot commit to future prices will clear the market arbitrarily quickly as the discount factor approaches one, earning only the low buyer valuation. This paper shows the conjecture fails when the seller has access to general dynamic contracts, analogous to smart contracts used in digital markets. The main result (Theorem 1, p. 1343) is that the seller’s largest equilibrium payoff is bounded away from the low valuation by a constant that does not depend on the discount factor. The driving mechanism is information storage: smart contracts can hold buyer information the seller does not possess, and abandoning a contract destroys that information. This creates a credible commitment device that breaks the Coasian logic even though the seller retains discretion to switch contracts each period.
Core results
Section titled “Core results”All results are theoretical; magnitudes are those reported in the paper’s propositions and figures.
| # | Result | Locator | Magnitude |
|---|---|---|---|
| R1 | Coase conjecture fails with dynamic contracts: seller’s equilibrium payoff bounded away from for all | Theorem 1, p. 1343 | There exists such that for all |
| R2 | Any -abiding contract provides a lower bound on the seller’s equilibrium payoff | Lemma 1, p. 1345 | For any -abiding , |
| R3 | -abiding contracts exist for all with payoff strictly above | Lemma 2, p. 1347 | For all , there exists with |
| R4 | Posted-price seller payoff (Doval and Skreta (2020)) converges to as ; dynamic-contract payoff stays bounded away | Figure 1, p. 1353; text p. 1354 | For : simple-and-direct equilibrium payoff exceeds posted-price equilibrium payoff for all ; lower bound holds uniformly |
| R5 | The lower-bound argument extends to continuously distributed buyer valuations | §III, “Continuous Types,” p. 1355 | A threshold contract can give the seller payoff for every |
| R6 | The main lower bound survives priority side contracts | §III, “Side Contracts,” p. 1356 | remains a lower bound on the seller’s largest equilibrium payoff; after no trade, its continuation payoff is at least |
| R7 | The result can survive rejection-triggered abandonment under weak perfect Bayesian equilibrium | §III, “Buyer Participation,” p. 1357 | A weak PBE sustains payoff bounded away from ; the construction may fail under stronger refinements |
| R8 | With contract space restricted to simple and direct contracts, an equilibrium contract outperforms the Lemma 2 bound | §III, “Optimal Contracts,” p. 1353 | The constructed equilibrium payoff is larger than the Lemma 2 bound for each ; Figure 1 plots the example |
Overall (paper’s conclusion). The Coase conjecture (first articulated by Coase (1972) and formalized by Stokey (1981) and Gul, Sonnenschein, and Wilson (1986)) reflects not only the seller’s limited commitment power but also a restricted contract space (price posting). When the contract space expands to general dynamic contracts, the information stored in the contract can deter the seller from abandoning it, effectively providing commitment not because she is bound but because abandonment is unprofitable.
Theory / model
Section titled “Theory / model”Setup. There is one seller of a durable, indivisible good and one buyer. The buyer’s willingness to pay is binary: high () or low (), with . The probability of is , so the static monopoly price is . Time is discrete, indexed by , and both parties discount at the common factor . If trade occurs at time at transfer (paid each period), payoffs are (p. 1339):
In the initial period, the seller offers a contract from a set (the contract space). The contract specifies allocations and transfers for every period when it is active. Each subsequent period, the seller decides whether to deploy the current contract or replace it. Contracts resemble smart contracts: they execute automatically once accepted, can be voided by the seller, and may hold information the seller herself cannot observe.
Simple and direct contracts. The paper works primarily with a subset of “simple and direct” contracts. A simple and direct contract asks the buyer to report his valuation once in the initial deployment period and makes no further requests; thereafter, the buyer can only accept or reject. Such a contract deployed for consecutive periods induces unconditional trade probability and expected transfer in period (p. 1344):
Incentive compatibility. Let denote the buyer’s expected payoff when his type is , he reports , and the contract is deployed forever (p. 1344):
Definition 1 (p. 1344): Contract is -incentive compatible if for each ,
Seller’s payoff. If the incentive-compatible simple-and-direct contract is actively deployed forever, the seller’s payoff is (p. 1345):
Abiding contracts (Definition 2, p. 1345). The key concept. Contract is -abiding if it is -incentive compatible and:
- (i) for all , , so the buyer’s continuation payoff is always nonnegative;
- (ii) for all , so conditional on no trade, the seller becomes pessimistic enough that the static monopoly price drops to ;
- (iii) for all , so the seller’s continuation payoff is at least in every future period.
Here is the seller’s posterior probability that the buyer’s valuation is in period , given that the contract has been actively deployed.
Theorem 1 (p. 1343): There exists such that for all ,
Method
Section titled “Method”The proof proceeds in two lemmas, proved separately and then combined.
Lemma 1 (p. 1345): If is -abiding, then .
The argument: suppose an equilibrium yields the seller less than . Modify the equilibrium so the seller always deploys and the buyer always accepts. On the equilibrium path, the seller’s payoff is exactly . Off the path, the seller cannot profitably deviate in the initial period because any alternative contract gives her at most (by construction of the modification). In subsequent periods, condition (iii) of Definition 2 gives the seller a continuation payoff from at least equal to , which is also an upper bound on what she could get by abandoning (abandonment destroys its information content, leaving only the option to clear the market at ). Conditions (i)-(ii) ensure the buyer has no incentive to reject the contract after the initial period.
Lemma 2 (p. 1347): For all , there exists such that .
The construction uses a three-parameter family of simple and direct contracts indexed by . In period , if the buyer reports , trade occurs with probability at price ; if he reports , there is no trade. For each subsequent period , trade occurs with probability at a price equal to the buyer’s initial report, regardless of type.
The high-type buyer’s incentive constraint (binding at optimum, eq. (1), p. 1348) is:
Conditional on no initial trade, the seller’s posterior updates via Bayes’ rule (eq. (2), p. 1348):
Condition (ii) of Definition 2 requires the static monopoly price after the initial period to be , i.e., (eq. (3), p. 1349):
The abiding constraint (4) (p. 1349) requires that the seller’s continuation payoff from keeping deployed is at least her payoff from deploying it one more period and then clearing at if there is no trade. Setting to be the that binds constraint (4) and to be the that binds constraint (1), the seller’s payoff from the resulting contract is (eq. (7), p. 1350):
The optimal maximizes subject to constraint (3). The paper shows (via the envelope theorem) that is strictly larger than for all and does not depend on for large enough . Setting for a small- bound completes the proof.
Proof of Theorem 1. Lemma 2 guarantees a -abiding contract with for every . Lemma 1 then implies .
Discussion. The paper builds on the approach of Laffont and Tirole (1988) to combine one-period and multi-period contracts in a dynamic principal-agent setting. Doval and Skreta (2022) study limited commitment with one-period contracts; their companion paper on durable-good monopoly, Doval and Skreta (2020), shows the seller’s payoff converges to as . The key difference is that one-period contracts have no information content to lose upon abandonment, so the seller always faces the temptation to clear the market quickly. With general dynamic contracts, information stored in the contract deters abandonment; this is the role played by smart-contract-style information storage.
Remaining numbered equations and proof characterization
Section titled “Remaining numbered equations and proof characterization”The seller’s continuation incentive in constraint (4), and the binding continuation probability and buyer incentive constraint in (5)-(6), are printed on pp. 1349-1350:
The payoff from the constructed contract, its constrained maximization, and the optimizing posterior are equations (8)-(10), pp. 1351-1352:
Writing the optimized posterior as a function of the prior, the seller’s value in equation (11), p. 1352, is:
These are model and optimization equations, not empirical estimating specifications. The paper has no empirical design, sample, fixed effects, or standard-error procedure.
Empirical specifications
Section titled “Empirical specifications”Not applicable. This is a theoretical paper and reports no empirical estimating specification.
Datasets used
Section titled “Datasets used”| Dataset | Role in paper | Wiki page |
|---|---|---|
| No empirical data | Pure theory paper; all results are derived from the formal model | n/a |
When to read the full paper
Section titled “When to read the full paper”Read the source at doi.org/10.1257/aer.20220357 if you are: studying the robustness discussions (continuous types, side contracts, interim participation, buyer rejection as endogenous abandonment trigger, Section III, pp. 1353-1357); interested in the mechanism-design methodology for modeling limited commitment via an expanded contract space; or comparing the paper’s lower bound with the full-commitment payoff and the posted-price equilibrium (Figure 1, p. 1353). The online Appendix contains existence proofs and the result for .
Attribution and rights
Section titled “Attribution and rights”Source: peer-reviewed, American Economic Review 113(5). This distillation was extracted and machine-verified on 2026-10-04; it has not been independently reproduced. The journal version is paywalled; an LSE eprint is available at eprints.lse.ac.uk/117950/.
Brzustowski, Thomas, Alkis Georgiadis-Harris, and Balázs Szentes. “Smart Contracts and the Coase Conjecture.” American Economic Review 113, no. 5 (May 2023): 1334-1359. DOI: 10.1257/aer.20220357.