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.

翻译：去中心化金融（DeFi）生态系统（以Maker协议为代表）依赖复杂的博弈来维持其稳定性与安全性。理解这些博弈的动力学机制对于确保系统鲁棒性至关重要。本研究提出了一种创新方法论，利用Koller和Milch最初提出的多智能体影响图（MAID），对Maker稳定币协议中的博弈进行解构与分析。通过将Maker协议的用户与治理实体建模为智能体，并将其交互关系表示为图中的边，我们捕捉了影响智能体行为的复杂影响网络。此外，在后续论文中，我们将展示一个纳什均衡模型，以阐明促进生态内协同并增强经济安全性的策略。通过这一方法，我们旨在推动该方法的实际应用，为DeFi平台的博弈论安全性引入一种新的形式化验证手段。