Skip to content

Smart Contracts and the Coase Conjecture: Brzustowski, Georgiadis-Harris & Szentes (2023)

Distilled by claude-sonnet-4-6 · extracted Jun 25, 2026, verified 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 dDd \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 (2022)) converges to vlv_l as δ1\delta \to 1; dynamic-contract payoff stays bounded awayFigure 1, §III, p. 1353For 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

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):

δTvt=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 DC\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[1xt(v)],Pτ(v)=pτ(v)xτ(v)t=0τ1[1xt(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,δ)=supT0t=0Tδt[Xt(v^)vPt(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 dDd \in \mathcal{D} is δ\delta-incentive compatible if for each v{vl,vh}v \in \{v_l, v_h\},

vargmaxv^{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τ)τ=0Dd = (X_\tau, P_\tau)_{\tau=0}^{\infty} \in \mathcal{D} is δ\delta-abiding if it is δ\delta-incentive compatible and:

  • (i) t=TδtT[Xt(v)vPt(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\}, T0T \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 t1t \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δtTPt(vh)+[1μT(d)]t=TδtTPt(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 T1T \geq 1, so the seller’s continuation payoff exceeds 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 dDd \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, by condition (iii) of Definition 2, the seller’s continuation payoff from dd exceeds 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:

α(vhp)βδ1δ+βδ(vhvl).(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 exceeds her payoff from clearing the market at vlv_l immediately. 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):

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

The optimal α\alpha^* maximizes v(α)v(\alpha) subject to constraint (3). The paper shows (via the envelope theorem) that v(α)v(\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. It compares its result to the model of Doval and Skreta (2022), where the seller is restricted to one-period contracts and the Coase conjecture holds (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.

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-1356); 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 by an LLM on 2026-06-25 and is not human-verified or 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.