Bellomarini, L., Favorito, M., Laurenza, E., Nissl, M., & Sallinger, E. (2025). Towards FATEful Smart Contracts. In G. Montoya, E. Sallinger, & G. Vargas-Solar (Eds.), Proceedings of the 16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024). CEUR-WS.org. https://doi.org/10.34726/12523
E192-02 - Forschungsbereich Databases and Artificial Intelligence E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) E056-27 - Fachbereich Digital Humanism
-
Published in:
Proceedings of the 16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024)
-
Volume:
3954
-
Date (published):
25-Apr-2025
-
Event name:
16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024)
en
Event date:
2-Oct-2024 - 4-Oct-2024
-
Event place:
Mexico City, Mexico
-
Number of Pages:
7
-
Publisher:
CEUR-WS.org
-
Peer reviewed:
Yes
-
Keywords:
Smart contracts; DatalogMTL; FATE principles
en
Abstract:
Achieving fair, accountable, transparent, and ethical decentralized finance requires activating enabling properties at the level of smart contracts, the executable scripts at its basis. In this vision paper, a joint effort of the Central Bank of Italy, TU Wien, and the University of Oxford, we leverage the vast amount of experience in this sense from the database community and propose a logic-based reasoning framework that captures smart contracts as a set of rules in DatalogMTL, a temporal language for querying databases. We present the high-level architecture of our framework and explain how the theoretical underpinnings of the reasoning of DatalogMTL convey important properties to the approach.
CC BY 4.0
