一种基于区块链的智能合约审计验证方法、系统及介质

本发明公开了一种基于区块链的智能合约审计验证方法、系统及介质，智能合约审计验证方法包括：获取待审计的智能合约；对智能合约的代码进行静态分析，并记录安全漏洞信息，根据安全漏洞信息执行第一安全措施；对智能合约的运行过程进行动态分析，并记录第一异常信息，根据第一异常信息执行第二安全措施；生成测试用例，根据测试用例对智能合约进行测试，并记录第二异常信息，根据第二异常信息执行第三安全措施；对智能合约的属性进行形式化验证，并记录性能数据，根据性能数据执行性能优化措施。本发明能够减少智能合约受攻击和滥用的情况发生，降低合约逻辑错误和安全隐患的发生概率，可广泛应用于区块链技术领域。