Bitcoin's main innovation lies in allowing a decentralized system that relies on anonymous, profit driven miners who can freely join the system. We formalize these properties in three axioms: anonymity of miners, no incentives for miners to consolidate, and no incentive to assuming multiple...

A key part of decentralized consensus protocols is a procedure for random selection, which is the source of the majority of miners cost and wasteful energy consumption in Bitcoin. We provide a simple economic model for random selection mechanism and show that any PoW protocol with natural...

This paper analyzes the optimal provision of incentives in a sequential testing context. In every period the agent can acquire costly information that is relevant to the principal's decision. Neither the agent's effort nor the realizations of his signals are observable. First, we assume that the...

We provide a simple but novel model of trade agreements that highlights the role of transaction costs, renegotiation and dispute settlement. The model allows us to characterize the appropriate remedy for breach and whether the agreement should be structured as a system of "property rights" or...

This introduces the symposium on judgment aggregation. The theory of judgment ag­gregation asks how several individuals' judgments on some logically connected propositions can be aggregated into consistent collective judgments. The aim of this intro­duction is to show how ideas from the...

A two-house legislature can often be modelled as a proper simple game whose outcome depends on whether a coalition wins, blocks or loses in two smaller proper simple games. It is shown that there are exactly five ways to combine the smaller games into a larger one. This paper focuses on one of...

We provide an axiomatization of generalized utilitarian social welfare functions in the context of Harsanyi's impartial observer theorem. To do this, we reformulate Harsanyi's problem such that lotteries over identity (accidents of birth) and lotteries over outcomes (life chances) are...

This paper studies a class of multi-self decision-making models proposed in economics, psychology, and marketing. In this class, choices arise from the set-dependent aggregation of a collection of utility functions, where the aggregation procedure satisfies some simple properties. We propose a...

A social choice function is robustly implemented if every equilibrium on every type space achieves outcomes consistent with it. We identify a robust monotonicity condition that is necessary and (with mild extra assumptions) sufficient for robust implementation. Robust monotonicity is strictly...