计算机应用研究

作者：陈虹,王颖辉,金海波,曹玥,

单位：辽宁工程技术大学软件学院,辽宁葫芦岛125105；

关键词：智能合约,形式化验证,拍卖退款,DoS漏洞,

基金：国家自然科学基金资助项目(62173171)；；

针对智能合约的DoS漏洞可能在拍卖退款交易中造成资源耗尽问题进行了研究，设计了拍卖退款交易中智能合约DoS漏洞优化方案。首先构造可能存在DoS漏洞的智能合约，然后采用增加映射以及压栈出栈方法完成漏洞优化，最后通过形式化验证运行优化后的智能合约，检测其是否存在逻辑错误或不一致性。实验结果表明，采用该方法优化的智能合约能够避免因资源耗尽产生的拒绝服务，与带有漏洞智能合约相比，优化后的智能合的等效内存使用量减少了约62.8%，运行时间也有缩短。

来源：2023年第2期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2023年第2期