Skip to content
Sagan

Paper

A formal framework for the economic security of DeFi compositions

Unreadunread

AI summary

arXiv:2606. 05418v1 Announce Type: new Abstract: Decentralized Finance (DeFi) services are usually constructed by composing a variety of smart contracts.