Monitoring the Future of Smart Contracts

Margarita Capretto,Martin Ceresa,Cesar Sanchez
2024-01-23
Abstract:Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and received. Smart contracts can invoke other smart contracts during the execution of transactions always initiated by external users.
Logic in Computer Science,Cryptography and Security
What problem does this paper attempt to address?