韩国金融安全研究院将开发智能合约验证工具

韩国金融安全研究院（FSI）宣布将开发智能合约专用安全验证工具，并推进智能合约验证体系建设、数字资产专业人才培养等三大项目。该验证工具将自动检测代币证券、稳定币等数字资产服务中智能合约的主要漏洞，重点覆盖重入攻击、访问权限错误、抵押验证缺失等金融服务高发漏洞类型，并结合国内金融监管环境持续更新定制化检查标准。 金融安全院还将制定涵盖智能合约开发、部署、运营全流程的验证程序及标准，发布《智能合约安全指南》提供给会员公司，并通过研讨会、协商体等方式分享智能合约安全专业知识。(Edaily)