技术特征：
技术总结
本发明属于区块链安全技术领域，公开了一种基于状态锁的智能合约的安全函数的设计方法及系统，当EVM执行到call函数时，以太坊其余执行路径将被封锁；当call整体执行完毕后，其余路径被打开；当以太坊其余执行路径被封锁时，withdraw被再次请求，EVM将直接拒绝；EVM回到初始状态，完成攻击防御。本发明利用状态锁控制call函数有效解决重入漏洞；在本发明中，攻击过后账户b余额中，攻击者仅仅取出了自己在DAO中存储的5个以太币，并没有成功夺取DAO中剩余的50个以太币，因此，可以看出本发明的库函数成功阻止了重入攻击。
技术研发人员：陈中育;赵相福;林飞龙;郑忠龙;骆宾逸
受保护的技术使用者：浙江师范大学
技术研发日：2019.01.28
技术公布日：2019.05.24