金融安全院推进智能合约验证工具开发

金融安全院着手开发智能合约专用安全验证工具并构建验证体系，同时培养数字资产专业人才

据报道，金融安全院计划开发一款能够自动检测数字资产服务（如通证化证券和稳定币）中智能合约主要漏洞的安全验证工具。

该验证工具将重点检查金融领域可能发生的高风险漏洞，例如重入攻击、访问权限错误、抵押物验证遗漏等。金融安全院还计划根据国内金融监管环境，持续更新其检测标准。

此外，金融安全院将制定涵盖智能合约开发、部署及运营全过程的验证流程与标准，并面向会员机构发布智能合约安全指南。