Smart Derivative Contracts in DatalogMTL

Andrea Colombo (), Luigi Bellomarini (), Stefano Ceri () and Eleonora Laurenza
Additional contact information
Andrea Colombo: Politecnico di Milano
Luigi Bellomarini: Bank of Italy
Stefano Ceri: Politecnico di Milano
Eleonora Laurenza: Bank of Italy, IVASS

No 37, Mercati, infrastrutture, sistemi di pagamento (Markets, Infrastructures, Payment Systems) from Bank of Italy, Directorate General for Markets and Payment System

Abstract: 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.

Keywords: derivatives; smart contracts; Datalog; DatalogMTL; reasoning. (search for similar items in EconPapers)
Date: 2023-06
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.bancaditalia.it/pubblicazioni/mercati- ... 23-037/N.37-MISP.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:bdi:wpmisp:mip_037_23

Access Statistics for this paper

More papers in Mercati, infrastrutture, sistemi di pagamento (Markets, Infrastructures, Payment Systems) from Bank of Italy, Directorate General for Markets and Payment System Contact information at EDIRC.
Bibliographic data for series maintained by ().