| Autor: |
Bartoletti, Massimo, Chiang, James Hsin yu, Lafuente, Alberto Lluch |
| Přispěvatelé: |
Bernhard, Matthew, Bracciali, Andrea, Gudgeon, Lewis, Haines, Thomas, Klages-Mundt, Ariah, Matsuo, Shin'ichiro, Perez, Daniel, Sala, Massimiliano, Werner, Sam |
| Jazyk: |
angličtina |
| Rok vydání: |
2021 |
| Zdroj: |
Bartoletti, M, Chiang, J H Y & Lafuente, A L 2021, Towards a Theory of Decentralized Finance . in M Bernhard, A Bracciali, L Gudgeon, T Haines, A Klages-Mundt, S Matsuo, D Perez, M Sala & S Werner (eds), Financial Cryptography and Data Security . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12676 LNCS, pp. 227-232, 2 nd Workshop on Coordination of Decentralized Finance, 05/03/2021 . https://doi.org/10.1007/978-3-662-63958-0_20 |
| DOI: |
10.1007/978-3-662-63958-0_20 |
| Popis: |
Decentralized Finance (DeFi) has brought about decentralized applications which allow untrusted users to lend, borrow and exchange crypto-assets. Many of such applications fulfill the role of markets or market makers, featuring complex, highly parametric incentive mechanisms to equilibrate interest rates and prices. This complexity makes the behaviour of DeFi applications difficult to understand: indeed, ill-designed incentive mechanisms could potentially lead to emergent unwanted behaviours. We argue that theories, techniques and tools rooted in formal methods can provide useful instruments to better understand, specify and analyze DeFi systems. We summarize in this paper our first steps towards a theory of DeFi based on formal methods, and we overview the open challenges and opportunities for formal methods in DeFi. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
