Blockchain, Dsls, Game Theory, Safety, Correctness.
contracts. However, as Björn Engelmann pointed out to me, many (smart) contracts are, by definition, cooperative processes, which is why they are susceptible to “game-theoretical” exploits. In this post I will mention a few, and show some ideas how they can be remedied. A First Example: Sybil