Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study. (arXiv:2303.10517v2 [cs.CR] UPDATED)

Blockchain programs (also known as smart contracts) manage valuable assets
like cryptocurrencies and tokens, and implement protocols in domains like
decentralized finance (DeFi) and supply-chain management. These types of
applications require a high level of security that is hard to achieve due to
the transparency of public blockchains. Numerous tools support developers and
auditors in the task of detecting weaknesses. As a young technology,
blockchains and utilities evolve fast, making it challenging for tools and
developers to keep up with …

applications assets automated blockchain bytecode contracts cryptocurrencies decentralized defi detection domains ethereum finance hard high manage management protocols security smart smart contracts study supply tokens transparency types weakness