N. 37 - Contratti derivati smart in DatalogMTL

La realizzazione di contratti derivati nel mondo crypto avviene tipicamente con il ricorso a smart contracts. A seguito del diffondersi di forme di finanza decentralizzata (DeFi), in cui l'intermediazione è assente o presente solo in minima parte, questi contratti vengono eseguiti mediante script in infrastrutture di tipo blockchain. Tali script, tuttavia, sono spesso criticati a causa della loro complessità, che rende difficile comprenderne e comunicarne la logica di business, anche per via del ricorso a linguaggi altamente procedurali e tecnici. Di conseguenza, i derivati in ambito DeFi sono spesso difficili da supervisionare e non godono della fiducia di utenti non IT. Questo lavoro, frutto della cooperazione tra ricercatori della Banca d'Italia e del Politecnico di Milano, mira a rendere più trasparente e comprensibile la logica sottostante gli smart contract, mediante il ricorso a una implementazione dichiarativa. In particolare, sfruttando l'ampia esperienza delle comunità delle basi di dati e dell'intelligenza artificiale nello sviluppo di linguaggi per la rappresentazione della conoscenza e il ragionamento automatico, proponiamo una codifica dello smart contract Ethereum Perpetual Future (ETH-PERP) tramite il linguaggio DatalogMTL. Il lavoro mostra che tale linguaggio consente di conseguire forme di rappresentazione degli smart contract più semplici, comprensibili e trasparenti per gli utenti non tecnici. L'implementazione viene validata eseguendo lo smart contract ETH-PERP in Vadalog, un ragionatore automatico moderno che supporta DatalogMTL.