Skip to content

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

Full structured metadata (methods, scope, relatesTo, topics, datasets): raw Markdown (.md)

paper-summarygame-theorymechanism-designdynamic-contractingdurable-goodscoase-conjecturesmart-contractspeer-reviewedunreplicated

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.

All results are theoretical; magnitudes are those reported in the paper’s propositions and figures.

#ResultLocatorMagnitude
R1Coase conjecture fails with dynamic contracts: seller’s equilibrium payoff bounded away from vlv_l for all δ\deltaTheorem 1, p. 1343There exists π‾>vl\underline{\pi} > v_l such that π(C,δ)≥π‾\pi(\mathcal{C},\delta) \geq \underline{\pi} for all δ∈(0,1)\delta \in (0,1)
R2Any δ\delta-abiding contract provides a lower bound on the seller’s equilibrium payoffLemma 1, p. 1345For any δ\delta-abiding d∈Dd \in \mathcal{D}, π(C,δ)≥v(d,δ)\pi(\mathcal{C},\delta) \geq v(d,\delta)
R3δ\delta-abiding contracts exist for all δ∈(0,1)\delta \in (0,1) with payoff strictly above vlv_lLemma 2, p. 1347For all δ∈(0,1)\delta \in (0,1), there exists dδ∈Dd_\delta \in \mathcal{D} with v(dδ,δ)≥π‾>vlv(d_\delta,\delta) \geq \underline{\pi} > v_l
R4Posted-price seller payoff (Doval and Skreta (2020)) converges to vlv_l as δ→1\delta \to 1; dynamic-contract payoff stays bounded awayFigure 1, p. 1353; text p. 1354For vl=1,vh=3,μ=0.95v_l=1, v_h=3, \mu=0.95: simple-and-direct equilibrium payoff exceeds posted-price equilibrium payoff for all δ\delta; lower bound π‾>vl=1\underline{\pi} > v_l = 1 holds uniformly
R5The lower-bound argument extends to continuously distributed buyer valuations§III, “Continuous Types,” p. 1355A threshold contract can give the seller payoff πˉ>v‾\bar{\pi} > \underline{v} for every δ∈(0,1)\delta \in (0,1)
R6The main lower bound survives priority side contracts§III, “Side Contracts,” p. 1356v(dδ,δ)v(d_\delta,\delta) remains a lower bound on the seller’s largest equilibrium payoff; after no trade, its continuation payoff is at least vlv_l
R7The result can survive rejection-triggered abandonment under weak perfect Bayesian equilibrium§III, “Buyer Participation,” p. 1357A weak PBE sustains payoff bounded away from vlv_l; the construction may fail under stronger refinements
R8With contract space restricted to simple and direct contracts, an equilibrium contract outperforms the Lemma 2 bound§III, “Optimal Contracts,” p. 1353The constructed equilibrium payoff is larger than the Lemma 2 bound for each δ\delta; Figure 1 plots the example vl=1,vh=3,μ=0.95v_l=1, v_h=3, \mu=0.95

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.

Setup. There is one seller of a durable, indivisible good and one buyer. The buyer’s willingness to pay is binary: high (vhv_h) or low (vlv_l), with vh>vl>0v_h > v_l > 0. The probability of vhv_h is μ∈(vl/vh,1)\mu \in (v_l/v_h, 1), so the static monopoly price is vhv_h. Time is discrete, indexed by 0,1,…0, 1, \ldots, and both parties discount at the common factor δ∈(0,1)\delta \in (0,1). If trade occurs at time TT at transfer ptp_t (paid each period), payoffs are (p. 1339):

δTv−∑t=0∞δtpt(buyer),∑t=0∞δtpt(seller).\delta^T v - \sum_{t=0}^{\infty} \delta^t p_t \quad (\text{buyer}), \qquad \sum_{t=0}^{\infty} \delta^t p_t \quad (\text{seller}).

In the initial period, the seller offers a contract from a set C\mathcal{C} (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 D⊂C\mathcal{D} \subset \mathcal{C} 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 dd deployed for τ\tau consecutive periods induces unconditional trade probability and expected transfer in period τ\tau (p. 1344):

Xτ(v)=xτ(v)∏t=0τ−1[1−xt(v)],Pτ(v)=pτ(v) xτ(v)∏t=0τ−1[1−xt(v)].X_\tau(v) = \mathbf{x}_\tau(v) \prod_{t=0}^{\tau-1}\bigl[1 - \mathbf{x}_t(v)\bigr], \qquad P_\tau(v) = \mathbf{p}_\tau(v)\,\mathbf{x}_\tau(v)\prod_{t=0}^{\tau-1}\bigl[1 - \mathbf{x}_t(v)\bigr].

Incentive compatibility. Let U(v,v^,d,δ)U(v,\hat{v},d,\delta) denote the buyer’s expected payoff when his type is vv, he reports v^\hat{v}, and the contract dd is deployed forever (p. 1344):

U(v,v^,d,δ)=sup⁡T≥0∑t=0Tδt[Xt(v^) v−Pt(v^)].U(v,\hat{v},d,\delta) = \sup_{T \geq 0} \sum_{t=0}^{T} \delta^t \bigl[X_t(\hat{v})\,v - P_t(\hat{v})\bigr].

Definition 1 (p. 1344): Contract d∈Dd \in \mathcal{D} is δ\delta-incentive compatible if for each v∈{vl,vh}v \in \{v_l, v_h\},

v∈arg⁡max⁡v^∈{vl,vh}U(v,v^,d,δ).v \in \arg\max_{\hat{v} \in \{v_l,v_h\}} U(v,\hat{v},d,\delta).

Seller’s payoff. If the incentive-compatible simple-and-direct contract dd is actively deployed forever, the seller’s payoff is (p. 1345):

v(d,δ)=μ∑t=0∞δtPt(vh)+(1−μ)∑t=0∞δtPt(vl).v(d,\delta) = \mu \sum_{t=0}^{\infty} \delta^t P_t(v_h) + (1-\mu)\sum_{t=0}^{\infty} \delta^t P_t(v_l).

Abiding contracts (Definition 2, p. 1345). The key concept. Contract d=(Xτ,Pτ)τ=0∞∈Dd = (X_\tau, P_\tau)_{\tau=0}^{\infty} \in \mathcal{D} is δ\delta-abiding if it is δ\delta-incentive compatible and:

  • (i) ∑t=T∞δt−T[Xt(v)v−Pt(v)]≥0\sum_{t=T}^{\infty} \delta^{t-T}\bigl[X_t(v)v - P_t(v)\bigr] \geq 0 for all v∈{vl,vh}v \in \{v_l,v_h\}, T≥0T \geq 0, so the buyer’s continuation payoff is always nonnegative;
  • (ii) μt(d)≤vl/vh\mu_t(d) \leq v_l/v_h for all t≥1t \geq 1, so conditional on no trade, the seller becomes pessimistic enough that the static monopoly price drops to vlv_l;
  • (iii) μT(d)∑t=T∞δt−TPt(vh)+[1−μT(d)]∑t=T∞δt−TPt(vl)≥vl\mu_T(d)\sum_{t=T}^{\infty}\delta^{t-T}P_t(v_h) + [1-\mu_T(d)]\sum_{t=T}^{\infty}\delta^{t-T}P_t(v_l) \geq v_l for all T≥1T \geq 1, so the seller’s continuation payoff is at least vlv_l in every future period.

Here μt(d)\mu_t(d) is the seller’s posterior probability that the buyer’s valuation is vhv_h in period tt, given that the contract has been actively deployed.

Theorem 1 (p. 1343): There exists π‾>vl\underline{\pi} > v_l such that for all δ∈(0,1)\delta \in (0,1),

π(C,δ)≥π‾.\pi(\mathcal{C},\delta) \geq \underline{\pi}.

The proof proceeds in two lemmas, proved separately and then combined.

Lemma 1 (p. 1345): If d∈Dd \in \mathcal{D} is δ\delta-abiding, then π(C,δ)≥v(d,δ)\pi(\mathcal{C},\delta) \geq v(d,\delta).

The argument: suppose an equilibrium yields the seller less than v(d,δ)v(d,\delta). Modify the equilibrium so the seller always deploys dd and the buyer always accepts. On the equilibrium path, the seller’s payoff is exactly v(d,δ)v(d,\delta). Off the path, the seller cannot profitably deviate in the initial period because any alternative contract gives her at most v(d,δ)v(d,\delta) (by construction of the modification). In subsequent periods, condition (iii) of Definition 2 gives the seller a continuation payoff from dd at least equal to vlv_l, which is also an upper bound on what she could get by abandoning dd (abandonment destroys its information content, leaving only the option to clear the market at vlv_l). Conditions (i)-(ii) ensure the buyer has no incentive to reject the contract after the initial period.

Lemma 2 (p. 1347): For all δ∈(0,1)\delta \in (0,1), there exists dδ∈Dd_\delta \in \mathcal{D} such that v(dδ,δ)≥π‾>vlv(d_\delta,\delta) \geq \underline{\pi} > v_l.

The construction uses a three-parameter family of simple and direct contracts indexed by (α,β,p)∈[0,1]2×[vl,vh](\alpha, \beta, p) \in [0,1]^2 \times [v_l, v_h]. In period τ=0\tau = 0, if the buyer reports vhv_h, trade occurs with probability α\alpha at price pp; if he reports vlv_l, there is no trade. For each subsequent period τ>0\tau > 0, trade occurs with probability β\beta 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:

α(vh−p)≥βδ1−δ+βδ(vh−vl).(1)\alpha(v_h - p) \geq \frac{\beta\delta}{1-\delta+\beta\delta}(v_h - v_l). \tag{1}

Conditional on no initial trade, the seller’s posterior updates via Bayes’ rule (eq. (2), p. 1348):

μ~(α)=(1−α)μ1−μ+(1−α)μ.(2)\tilde{\mu}(\alpha) = \frac{(1-\alpha)\mu}{1-\mu+(1-\alpha)\mu}. \tag{2}

Condition (ii) of Definition 2 requires the static monopoly price after the initial period to be vlv_l, i.e., (eq. (3), p. 1349):

vl≥μ~(α) vh.(3)v_l \geq \tilde{\mu}(\alpha)\,v_h. \tag{3}

The abiding constraint (4) (p. 1349) requires that the seller’s continuation payoff from keeping dd deployed is at least her payoff from deploying it one more period and then clearing at vlv_l if there is no trade. Setting βˉ(α)\bar{\beta}(\alpha) to be the β\beta that binds constraint (4) and pˉ(α)\bar{p}(\alpha) to be the pp that binds constraint (1), the seller’s payoff from the resulting contract is (eq. (7), p. 1350):

ν(α)=μα pˉ(α)+(1−μα) vl.(7)\nu(\alpha) = \mu\alpha\,\bar{p}(\alpha) + (1-\mu\alpha)\,v_l. \tag{7}

The optimal α∗\alpha^* maximizes ν(α)\nu(\alpha) subject to constraint (3). The paper shows (via the envelope theorem) that ν(α∗)\nu(\alpha^*) is strictly larger than vlv_l for all μ∈(vl/vh,1)\mu \in (v_l/v_h, 1) and does not depend on δ\delta for large enough δ\delta. Setting π‾=min⁡{πδˉ,π^}\underline{\pi} = \min\{\pi_{\bar{\delta}}, \hat{\pi}\} for a small-δ\delta bound π^\hat{\pi} completes the proof.

Proof of Theorem 1. Lemma 2 guarantees a δ\delta-abiding contract dδd_\delta with v(dδ,δ)≥π‾>vlv(d_\delta,\delta) \geq \underline{\pi} > v_l for every δ\delta. Lemma 1 then implies π(C,δ)≥v(dδ,δ)≥π‾\pi(\mathcal{C},\delta) \geq v(d_\delta,\delta) \geq \underline{\pi}.

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 vlv_l as δ→1\delta \to 1. 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:

β1−δ+βδ{μ~(α)vh+[1−μ~(α)]vl}≥β{μ~(α)vh+[1−μ~(α)]vl}+(1−β)vl.(4)\frac{\beta}{1-\delta+\beta\delta}\left\{\tilde{\mu}(\alpha)v_h+[1-\tilde{\mu}(\alpha)]v_l\right\} \geq \beta\left\{\tilde{\mu}(\alpha)v_h+[1-\tilde{\mu}(\alpha)]v_l\right\}+(1-\beta)v_l. \tag{4} β~(α)=β=1−δδ⋅vlμ~(α)(vh−vl).(5)\tilde{\beta}(\alpha)=\beta=\frac{1-\delta}{\delta}\cdot\frac{v_l}{\tilde{\mu}(\alpha)(v_h-v_l)}. \tag{5} α[vh−p~(α)]=β~(α)δ1−δ+β~(α)δ(vh−vl).(6)\alpha\left[v_h-\tilde{p}(\alpha)\right]=\frac{\tilde{\beta}(\alpha)\delta}{1-\delta+\tilde{\beta}(\alpha)\delta}(v_h-v_l). \tag{6}

The payoff from the constructed contract, its constrained maximization, and the optimizing posterior are equations (8)-(10), pp. 1351-1352:

ν(α)=vl+(vh−vl){1−1−μ1−μ~(α)−μvlμ~(α)vh+[1−μ~(α)]vl}.(8)\nu(\alpha)=v_l+(v_h-v_l)\left\{1-\frac{1-\mu}{1-\tilde{\mu}(\alpha)}-\frac{\mu v_l}{\tilde{\mu}(\alpha)v_h+[1-\tilde{\mu}(\alpha)]v_l}\right\}. \tag{8} max⁡{ν(α):α∈[0,1],  μ~(α)≤vl/vh}.(9)\max\left\{\nu(\alpha):\alpha\in[0,1],\;\tilde{\mu}(\alpha)\leq v_l/v_h\right\}. \tag{9} μ^∗=min⁡{μ1−μ−vlvh−vlμ1−μ+vh−vlvl,  vlvh}.(10)\hat{\mu}^{*}=\min\left\{\frac{\sqrt{\frac{\mu}{1-\mu}}-\sqrt{\frac{v_l}{v_h-v_l}}}{\sqrt{\frac{\mu}{1-\mu}}+\sqrt{\frac{v_h-v_l}{v_l}}},\;\frac{v_l}{v_h}\right\}. \tag{10}

Writing the optimized posterior as a function of the prior, the seller’s value in equation (11), p. 1352, is:

V(μ)=vl+(vh−vl){1−1−μ1−μ^∗(μ)−μvlμ^∗(μ)vh+[1−μ^∗(μ)]vl}.(11)V(\mu)=v_l+(v_h-v_l)\left\{1-\frac{1-\mu}{1-\hat{\mu}^{*}(\mu)}-\frac{\mu v_l}{\hat{\mu}^{*}(\mu)v_h+[1-\hat{\mu}^{*}(\mu)]v_l}\right\}. \tag{11}

These are model and optimization equations, not empirical estimating specifications. The paper has no empirical design, sample, fixed effects, or standard-error procedure.

Not applicable. This is a theoretical paper and reports no empirical estimating specification.

DatasetRole in paperWiki page
No empirical dataPure theory paper; all results are derived from the formal modeln/a

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 C=D\mathcal{C} = \mathcal{D}.

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.

Found an error or want a topic covered? Open an issue, use the Edit page link above, or email contact@instituteforautomatedresearch.org. Edits are reviewed before publishing; provenance and accuracy are the point.