帖子
韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
相关快讯
ChainCatcher•20 分钟前韩国 15 家停运虚拟资产服务商已冻结 221 亿韩元用户资产，返还率仅 0.3%
ChainCatcher•35 分钟前币安完成 Chiliz Chain（CAP20）网络上的 Chiliz 粉丝代币合约置换
ChainCatcher•45 分钟前美众议院筹款委员会将举行加密税收闭门简报会
ChainCatcher•1 小时前Tom Lee：过去一年以太坊供应持续通缩，加密财库公司买盘与质押强化趋势
Odaily•1 小时前韩国KOSPI指数加速下挫，日内跌3%
ChainCatcher•1 小时前数据：Ondo 项目方转出 1.5 亿枚 ONDO，其中 2134 万枚已转入交易所
ChainCatcher•2 小时前微软曾计划从对 OpenAI 的早期投资中获得 920 亿美元回报
Odaily•2 小时前比特币铭文浏览器Ord.io宣布将于6月1日关闭平台
ChainCatcher•2 小时前21Shares Hyperliquid ETF （THYP） 将于 5 月 12 日推出
ChainCatcher•3 小时前数据：FTX/Alameda 将 199,263 枚 SOL 解除质押，价值 1,940 万美元