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