IDEAS home Printed from https://ideas.repec.org/p/bdi/wpmisp/mip_037_23.html
   My bibliography  Save this paper

Smart Derivative Contracts in DatalogMTL

Author

Listed:
  • Andrea Colombo

    (Politecnico di Milano)

  • Luigi Bellomarini

    (Bank of Italy)

  • Stefano Ceri

    (Politecnico di Milano)

  • Eleonora Laurenza

    (Bank of Italy, IVASS)

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.

Suggested Citation

  • Andrea Colombo & Luigi Bellomarini & Stefano Ceri & Eleonora Laurenza, 2023. "Smart Derivative Contracts in DatalogMTL," Mercati, infrastrutture, sistemi di pagamento (Markets, Infrastructures, Payment Systems) 37, Bank of Italy, Directorate General for Markets and Payment System.
    • Handle: RePEc:bdi:wpmisp:mip_037_23
    as

    Download full text from publisher

    File URL: https://www.bancaditalia.it/pubblicazioni/mercati-infrastrutture-e-sistemi-di-pagamento/approfondimenti/2023-037/N.37-MISP.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Buenaventura, R. & Ross, V., 2013. "Transparency and financial stability," Financial Stability Review, Banque de France, issue 17, pages 111-119, April.
    2. Randy Priem, 2020. "Distributed ledger technology for securities clearing and settlement: benefits, risks, and regulatory implications," Financial Innovation, Springer;Southwestern University of Finance and Economics, vol. 6(1), pages 1-25, December.
    3. Sylvie Riederová & Kamila Růžičková, 2011. "Historical development of derivatives' underlying assets," Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, Mendel University Press, vol. 59(7), pages 521-526.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. repec:bdi:wptemi:misp_037_23 is not listed on IDEAS
    2. Wang, Yi-Ran & Ma, Chao-Qun & Ren, Yi-Shuai, 2022. "A model for CBDC audits based on blockchain technology: Learning from the DCEP," Research in International Business and Finance, Elsevier, vol. 63(C).
    3. Lim, King Yoong & Liu, Chunping & Zhang, Shuonan, 2024. "Optimal central banking policies: Envisioning the post-digital yuan economy with loan prime rate-setting," Emerging Markets Review, Elsevier, vol. 59(C).
    4. Gang Kou & Yang Lu, 2025. "FinTech: a literature review of emerging financial technologies and applications," Financial Innovation, Springer;Southwestern University of Finance and Economics, vol. 11(1), pages 1-34, December.
    5. Seven Ipek & Cumhur Ekinci, 2022. "Cost efficiency in financial exchanges and post-trade infrastructures: a closer look at integration and product diversification," Eurasian Economic Review, Springer;Eurasia Business and Economics Society, vol. 12(4), pages 705-743, December.
    6. Huosong Xia & Jing Liu & Zuopeng Justin Zhang, 2024. "Identifying Fintech risk through machine learning: analyzing the Q&A text of an online loan investment platform," Annals of Operations Research, Springer, vol. 333(2), pages 579-599, February.
    7. Bokolo Anthony, 2023. "Deployment of distributed ledger and decentralized technology for transition to smart industries," Environment Systems and Decisions, Springer, vol. 43(2), pages 298-319, June.
    8. Alex Zarifis & Luis A. Castro, 2022. "The NFT Purchasing Process and the Challenges to Trust at Each Stage," Sustainability, MDPI, vol. 14(24), pages 1-13, December.
    9. Julio Pombo-Romero & Oliver Rúas-Barrosa, 2022. "A Blockchain-Based Financial Instrument for the Decarbonization of Irrigated Agriculture," Sustainability, MDPI, vol. 14(14), pages 1-22, July.
    10. Muhammad Owais Qarni & Saiqb Gulzar, 2021. "Portfolio diversification benefits of alternative currency investment in Bitcoin and foreign exchange markets," Financial Innovation, Springer;Southwestern University of Finance and Economics, vol. 7(1), pages 1-37, December.
    11. Yanchu Liu & Yu Zhang & Duosi Zheng, 2025. "A blockchain and internet of things-based information infrastructure for the Chinese automotive sector carbon-credit market," Financial Innovation, Springer;Southwestern University of Finance and Economics, vol. 11(1), pages 1-43, December.

    More about this item

    Keywords

    ;
    ;
    ;
    ;
    ;

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:bdi:wpmisp:mip_037_23. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: the person in charge (email available below). General contact details of provider: https://edirc.repec.org/data/bdigvit.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.