Search

Copyright of Application Research of Computers / Jisuanji Yingyong Yanjiu is the property of Application Research of Computers Edition and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Aiming at the problem that DoS vulnerabilities of smart contracts may cause resource exhaustion in auction refund transactions, this paper studied and designed an optimization scheme for DoS vulnerabilities of smart contracts in auction refund transactions. Firstly, it constructed a smart contract that might have DoS vulnerabilities, and then used the method of increasing mapping and pushing the stack out to complete vulnerability optimization. Finally, it ran the optimized smart contract through formal verification to detect whether there was logic errors or inconsistencies. The experimental results show that the smart contract optimized by this algorithm can avoid the denial of service caused by resource exhaustion. Compared with the smart contract with vulnerabilities, the equivalent memory usage of the optimized smart contract reduces about 62. 8%, and the running time is shortened. [ABSTRACT FROM AUTHOR]