We develop a theory of blockchain governance using tools from formal political theory. The software underlying blockchain projects is frequently updated (forked) to implement new policies, and these forks are the subject of our inquiry. We investigate the ways in which the decentralized...

We describe an auction mechanism in the class of Groves mechanisms that has received attention in the computer science literature because of its theoretical property of being more "learnable" than the standard second price auction mechanism. We bring this mechanism, which we refer to as the...