部署前自动拦截
首个专用于以太坊智能合约的静态分析器，能在部署前自动识别密码学实现缺陷，帮助开发者避免因非标准加密而引发的安全风险。
张家硕 · Chen, Jiachi · Yiming, Shen · Tao, Zhang · Wang, Yanlin · 陈厅 · 高健博 · 陈钟
IEEE Transactions on Software Engineering 2025
CryptoScan 是首个针对智能合约密码学缺陷的静态分析器，填补了部署前自动化检测的空白，让开发者无需依赖人工审计即可获得系统化保障。
在 79,598 个真实密码学相关合约上达到 96.1% 的精确率，误报极少，审计人员可直接信任其报告。
从 3,762 份真实安全报告归纳出 12 类密码学缺陷，覆盖范围广，能提前发现多种非标准实现。
检测发现 24.8% 的合约含有至少一个密码学缺陷，表明非标准密码学实现普遍存在，需要业界重视。