帖子
韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
相关快讯
ChainCatcher•31 分钟前香港高等法院冻结太子集团陈志等人 89.38 亿港元资产
ChainCatcher•57 分钟前数据：Alameda Research 近 2 小时从 KuCoin 提取超 2,000 万美元资产
Odaily•1 小时前GMGN手续费关联地址45分钟前向Pionex充值3000枚BNB
ChainCatcher•2 小时前Legend 宣布关闭业务，将于 7 月 12 日停止运营
ChainCatcher•2 小时前数据：超过 100 万家美国商户现已通过 Square 接受比特币支付
ChainCatcher•2 小时前嘉信理财已开始向零售客户推出加密账户，支持直接购买 Bitcoin 和以太坊
ChainCatcher•2 小时前数据：Pendle 团队向币安存入 60 万枚 PENDLE，价值 127 万美元
Odaily•3 小时前麻吉大哥持有4059万美元BTC和ETH多单，近一周亏损216万美元
ChainCatcher•3 小时前Erik Voorhees 关联巨鲸再次买入 494 枚 ETH，总持仓增至 12.77 万枚
Odaily•3 小时前Base负责人：x402现已支持批量结算