The DAO attack paradoxes in propositional logic

Blockchain is a new type of decentralized technology, causing more and more attention because of the huge number of implicit revolutionary applications in many fields, especially in the finance field. The DAO was a crowdfunding project based on blockchain. It was one of the most widely-known blockchain applications in 2016, not only because of the most amount of crowdfunded money (i.e., ETH tokens) so far, in a very short period, but also due to the attack event. In this paper, a brief introduction of The DAO attack event is presented. We also present an acute analysis of the result that “the hacker stole large quantity of money from The DAO”, as well as the analysis of the suggested solution that “the wallet address of the hacker should be frozen” to the event given by The DAO community. Accordingly, two logical paradoxes are formulated on the event results and the proposed solution. Finally, The DAO paradoxes are formally described, analyzed, and proved in propositional logic.