基于区块链的智能合约检测方法

本发明公开了基于区块链的智能合约检测方法，涉及区块链技术领域，该方法采用智能合约检测系统工作，该系统包括资产标准化模块、联合验证模块、存证追溯模块；资产标准化模块用于统一接入合约源代码、字节码、外部依赖与链上交互数据并输出标准化资产视图；联合验证模块用于在标准化资产视图上执行静态分析、图构建、符号执行与动态仿真并基于规则库与形式化约束生成风险判定与证据指针；存证追溯模块用于将检测摘要与证据哈希与可信时间写入区块链并提供复核接口与知识库更新，所述资产标准化模块包括源代码解析模块、字节码提取模块、依赖关系构建模块、链上交互采集模块、标准化映射模块；本发明具有便于持续迭代与快速复查的特点。