区块链拍卖退款交易智能合约 DoS 漏洞优化研究.

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]