Analyzing Games in Maker Protocol Part One: A Multi-Agent Influence Diagram Approach Towards Coordination

去中心化金融（DeFi）生态系统，例如Maker协议，依靠复杂的游戏来维护稳定性和安全性。了解这些游戏的动态对于确保系统的稳健性至关重要。这项激励性的研究提出了一种新的方法，利用Koller和Milch最初提出的多智能体影响图（MAID）来解剖和分析Maker稳定币协议中的游戏。通过将Maker协议的用户和治理表示为代理，并将它们之间的交互作为图中的边缘，我们捕捉了统治代理行为的复杂影响网络。此外，在即将发布的论文中，我们将展示一种纳什均衡模型，以阐明促进协调和增强生态系统经济安全性的策略。通过这种方法，我们旨在推动使用这种方法，引入一种新的形式验证DeFi平台中博弈理论安全性的方法。

该论文旨在利用多智能体影响图(MAID)的方法，解析Maker稳定币协议中的游戏，并阐明协议中的稳定性和安全性。同时，通过提出纳什均衡模型，探讨促进协作和增强生态系统经济安全性的策略。

该论文的关键思路是利用MAID方法将Maker协议中的用户和治理表示为代理，并将它们之间的交互作为图中的边，从而捕捉治理代理行为的复杂网络影响。

该论文的亮点包括使用MAID方法分析Maker协议中的游戏，提出纳什均衡模型探讨策略，以及介绍了一种新的形式化验证DeFi平台中博弈论安全性的方法。

在这个领域中，最近的相关研究包括《基于DeFi的去中心化金融平台的安全性问题及其解决方案》和《去中心化金融生态系统的安全性问题研究》。