Solvent: liquidity verification of smart contracts

arXiv:2404.17864v1 Announce Type: new
Abstract: Smart contracts are programs executed by blockchains networks to regulate the exchange of crypto-assets between untrusted users. Due to their immutability, public accessibility and high value at stake, smart contracts are an attractive target for attackers, as evidenced by a long history of security incidents. This has been a driving factor for the application of formal methods to Ethereum, the leading smart contract platform, and Solidity, its main smart contract language, which have become the …

accessibility arxiv assets attackers blockchains contracts crypto cs.cr cs.pl exchange high history history of security immutability incidents liquidity networks public security smart smart contracts stake target the exchange untrusted value verification