Research on Smart Contract Verification Methods

The purpose of this work is to determine the most appropriate verification tool based on the criteria of accuracy and speed of verification. The paper provides an overview of existing verification methods and tools based on these methods. A definition of formal verification and verification based on vulnerability detection was given. A classification of smart contract vulnerabilities was given, as well as some methods by which they can be avoided. The results of the work include the creation of a sample of vulnerable smart contracts, conducting a manual audit of the added smart contracts, conducting testing using the SmartBugs framework in order to obtain characteristics of the speed and accuracy of vulnerability detection, and analyzing the results obtained. The work consists of 70 pages, includes 37 figures, 2 tables, 1 appendix and refers to 95 literature sources.