Philipp Zahn — Compositional Game Theory (ETHconomics @ Devconnect 2022)
Channel: ETHconomics Devconnect
Date: 2022-05-20

This tutorial introduces a new engine for the representation and analysis for strategic interactions. The engine is implemented in Haskell and is based on a novel mathematical formulation of game theory. The central feature of the engine is compositionality: Games are built by composing other games. In this tutorial we will illustrate how to represent games, how to analyze them and how to use the testing framework of Haskell to automate part of the analysis. We will illustrate the framework using a simplified staking protocol.