Pre-deployment Analysis of Smart Contracts -- A Survey. (arXiv:2301.06079v2 [cs.CR] UPDATED)

Smart contracts are programs that execute transactions involving independent
parties and cryptocurrencies. As programs, smart contracts are susceptible to a
wide range of errors and vulnerabilities. Such vulnerabilities can result in
significant losses. Furthermore, by design, smart contract transactions are
irreversible. This creates a need for methods to ensure the correctness and
security of contracts pre-deployment. Recently there has been substantial
research into such methods. The sheer volume of this research makes
articulating state-of-the-art a substantial undertaking. To address this …

address analysis art challenge contract correctness cryptocurrencies deployment design errors literature losses research result review security smart smart contract smart contracts state survey transactions vulnerabilities