IDEAS home Printed from https://ideas.repec.org/p/bdi/wptemi/misp_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," Temi di discussione (Economic working papers) 37, Bank of Italy, Economic Research and International Relations Area.
    • Handle: RePEc:bdi:wptemi:misp_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. Kaihua Qin & Liyi Zhou & Yaroslav Afonin & Ludovico Lazzaretti & Arthur Gervais, 2021. "CeFi vs. DeFi -- Comparing Centralized to Decentralized Finance," Papers 2106.08157, arXiv.org, revised Jun 2021.
    3. 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.
    4. 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. 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).
    2. Xiaotong Sun & Charalampos Stasinakis & Georigios Sermpinis, 2022. "Decentralization illusion in Decentralized Finance: Evidence from tokenized voting in MakerDAO polls," Papers 2203.16612, arXiv.org, revised Mar 2023.
    3. 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.
    4. Xiaotong Sun & Xi Chen & Charalampos Stasinakis & Georgios Sermpinis, 2022. "Voter Coalitions and democracy in Decentralized Finance: Evidence from MakerDAO," Papers 2210.11203, arXiv.org, revised Jun 2023.
    5. 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.
    6. 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.
    7. Jacopo Temperini & Marcella Corsi, 2023. "Democratizing money? The role of cryptocurrencies," PSL Quarterly Review, Economia civile, vol. 76(304), pages 51-66.
    8. 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.
    9. 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.
    10. Francesca Carapella & Nathan Swem, 2022. "Decentralized Finance (DeFi): Transformative Potential & Associated Risks," Finance and Economics Discussion Series 2022-057, Board of Governors of the Federal Reserve System (U.S.).

    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:wptemi:misp_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.