10.19734/j.issn.1001-3695.2022.07.0349
区块链拍卖退款交易智能合约DoS漏洞优化研究
针对智能合约的DoS漏洞可能在拍卖退款交易中造成资源耗尽问题进行了研究,设计了拍卖退款交易中智能合约DoS漏洞优化方案.首先构造可能存在DoS漏洞的智能合约,然后采用增加映射以及压栈出栈方法完成漏洞优化,最后通过形式化验证运行优化后的智能合约,检测其是否存在逻辑错误或不一致性.实验结果表明,采用该方法优化的智能合约能够避免因资源耗尽产生的拒绝服务,与带有漏洞智能合约相比,优化后的智能合的等效内存使用量减少了约62.8%,运行时间也有缩短.
智能合约、形式化验证、拍卖退款、DoS漏洞
40
TP393.08(计算技术、计算机技术)
国家自然科学基金62173171
2023-03-07(万方平台首次上网日期,不代表论文的发表时间)
共6页
343-348