帖子
韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
相关快讯
ChainCatcher•19 分钟前数据：BNB Chain RWA TVL 突破 40 亿美元，再创历史新高
ChainCatcher•27 分钟前数据：稳定币持仓占比从 4% 升至 28%，加密交易所正成为新型储蓄账户
ChainCatcher•45 分钟前富国银行一季度增持 ETH ETF，同时大幅加仓 Strategy 股票
ChainCatcher•56 分钟前本次上涨明显由杠杆驱动，未平仓合约激增伴随现货成交量走低
ChainCatcher•1 小时前数据：Pension-usdt.eth 的 BTC 与 ETH 空头持仓浮亏逾 1,500 万美元
ChainCatcher•3 小时前数据，不丹再次转移 100 枚 BTC，自年初已累计出售 2.3 亿美元的 BTC
ChainCatcher•3 小时前Vitalik 再次向动物福利基金捐赠 64 枚 ETH，呼吁关注动物福利问题
ChainCatcher•4 小时前BIT：加密监管进入关键节点，Circle 受益权益增强
ChainCatcher•5 小时前韩国加密 KOL：近期 Upbit 上币存在疑似老鼠仓行为
ChainCatcher•5 小时前The Smarter Web Company 增持 25 枚比特币，总持仓达 2830 枚