Artifact for "Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis"

This artifact accompanies the paper "Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis" by De Sclavis, Galano, Glielmo, and Nardelli. It includes a short paper and a technical report.

The artifact provides an implementation of the DAI stablecoin in Prolog, a logic programming language. This implementation models the behavior of MakerDAO's stablecoin platform and the actions users can perform, offering a formal approach to analyzing the core principles of DAI.

Researchers and developers are encouraged to use this code to experiment with the DAI stablecoin. For any questions or further information, feel free to contact us.