Smart Derivative Contracts in DatalogMTL

The realization of derivative contracts in the crypto world typically occurs through the use of smart contracts. In decentralized finance (DeFi), where intermediation is absent or minimal, these contracts are executed through scripts on blockchain infrastructures. However, these scripts are frequently criticized on account of their complexity, which makes it difficult to understand and communicate their business logic, partly due to the highly procedural and technical nature of the language involved. As a result, derivatives in the DeFi space are often difficult to supervise and are not trusted by non-IT users. This joint work of the researchers of the Bank of Italy and the Polytechnic University of Milan outlines a proposal for making the underlying logic of smart contracts more transparent and understandable through the use of a declarative implementation. In particular, leveraging the extensive experience of database and artificial intelligence communities in knowledge representation and reasoning languages, we propose an encoding of the Ethereum Perpetual Future (ETH-PERP) smart contract using the DatalogMTL language. This work shows that such language allows for simpler, more understandable, and transparent representations of smart contracts for non-technical users. The implementation is validated by executing the ETH-PERP smart contract in Vadalog, a recent reasoner that supports DatalogMTL.