Formalising Decentralised Exchanges in Coq

Autor: Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Publikováno v: Nielsen, E H, Annenkov, D & Spitters, B 2023, ' Formalising Decentralised Exchanges in Coq ', CPP 2023-Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, pp. 290-302 . https://doi.org/10.1145/3573105.3575685

The number of attacks and accidents leading to significant losses of crypto-assets is growing. According to Chainalysis, in 2021, approx. $14 billion has been lost due to various incidents, and this number is dominated by Decentralized Finance (DeFi)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe27ec18e355849d7f92a4acf13e1f33
https://doi.org/10.1145/3573105.3575685