帖子
韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
相关快讯
Odaily•20 分钟前Strategy比特币持仓现浮盈45.4亿美元，Bitmine以太坊持仓现浮亏62.97亿美元
ChainCatcher•30 分钟前纽约梅隆银行在阿布扎比推出合规机构级数字资产托管服务
Odaily•36 分钟前Bitmine：ETH持仓量增至约520.6万枚，质押规模达111亿美元
ChainCatcher•56 分钟前Ronin 将于 5 月 12 日迁移为以太坊二层网络并临时停机 10 小时
ChainCatcher•1 小时前Michael Saylor，策略上增持 535 枚 BTC
ChainCatcher•1 小时前Galaxy 与 Sharplink 联手推出 1.25 亿美元链上 DeFi 收益基金
ChainCatcher•1 小时前分析，比特币长期持有者正大量吸筹，机构买盘推动重返 8 万美元上方
ChainCatcher•1 小时前彭博分析师：预测市场 ETF 延期或因 SEC 要求进一步审查披露文件
Odaily•1 小时前BIT关联地址累计出售30.36万枚HYPE，套现约1279万美元
ChainCatcher•1 小时前Ripple 获 Neuberger Berman 2 亿美元融资额度，将扩展传统与加密市场保证金业务