La Banca d’Italia pubblica oggi “Smart Derivative Contracts in DatalogMTL” (Contratti derivati smart in DatalogMTL), il nuovo numero della collana “Mercati, infrastrutture, sistemi di pagamento”.

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 viadel 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…