揭示 DAI 机制: 基于逻辑的稳定币分析
密码学与安全
2025-05-07 v3 分布式、并行与集群计算
计算机科学中的逻辑
摘要
稳定币是旨在维持稳定价值、通常锚定于传统货币的数字资产。尽管其日益流行，但许多稳定币仍难以持续满足稳定性预期，其背后机制往往不透明且难以分析。本文聚焦于 DAI 稳定币，其结合了加密抵押和算法机制。我们提出了基于形式逻辑的框架，用于表示 DAI 的政策和操作，实现于 Prolog 中，并作为开源软件发布。我们的框架 enables 对 DAI 的稳定机制进行详细分析和仿真，为理解其鲁棒性并识别潜在漏洞提供了基础。
引用
@article{arxiv.2412.15814,
title = {Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis},
author = {Francesco De Sclavis and Giuseppe Galano and Aldo Glielmo and Matteo Nardelli},
journal= {arXiv preprint arXiv:2412.15814},
year = {2025}
}