Blockchain technology has enabled a new kind of distributed systems. Beyond its early applications in Finance, it has also allowed the emergence of novel new ways of governance and coordination. The most relevant of these are the so-called Decentralized Autonomous Organizations (DAOs). DAOs typically implement decision-making systems to make it possible for their online community to reach agreements.