  Decentralized Finance (DeFi) ecosystems, exemplified by the Maker Protocol,
rely on intricate games to maintain stability and security. Understanding the
dynamics of these games is crucial for ensuring the robustness of the system.
This motivating research proposes a novel methodology leveraging Multi-Agent
Influence Diagrams (MAID), originally proposed by Koller and Milch, to dissect
and analyze the games within the Maker stablecoin protocol. By representing
users and governance of the Maker protocol as agents and their interactions as
edges in a graph, we capture the complex network of influences governing agent
behaviors. Furthermore in the upcoming papers, we will show a Nash Equilibrium
model to elucidate strategies that promote coordination and enhance economic
security within the ecosystem. Through this approach, we aim to motivate the
use of this method to introduce a new method of formal verification of game
theoretic security in DeFi platforms.
