Protocol analysis using open games This repo showcases the analysis of a simple staking protocol using the open-games-engine.