This paper develops a class of equilibrium-independent predictions of competitive equilibrium with indivisibilities. Specifically, we prove an analogue of the “Lone Wolf Theorem” of classical matching theory, showing that when utility is perfectly transferable, any agent who does not...

We give a direct proof of one-sided strategy-proofness for worker-firm matching under continuously transferable utility. A new “Lone Wolf” theorem (Jagadeesan et al. (2017)) for settings with transferable utility allows us to adapt the method of proving one-sided strategy-proofness that is...

We develop a theory of long-run equilibrium in blockchain-based financial systems. Our theory elucidates the key market design features that separate proof of work and proof of stake approaches in the long run. Under proof of work, wasteful computation is used to secure the system, and users'...

Cryptocurrency systems based on proof of stake (PoS) grant governance rights to the holders of currency tokens and therefore are vulnerable to attack by adversaries who buy tokens in order to gain control. To evaluate the robustness of PoS cryptocurrencies to such attacks, we model the market...