韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Disclaimer: OKX Orbit content is provided for informational purposes only. Learn more
Replies
Related Flash News
ChainCatcher•17m agoAustralia plans to adjust capital gains tax rules, which may affect the tax burden of long-term investors in crypto assets
ChainCatcher•21m agoFrench publicly traded company Capital B has completed a €15.2 million financing to accelerate its Bitcoin treasury corporate strategy
ChainCatcher•35m agoBinance will launch MEGA/U, TON/U, and TON/USD1 spot trading pairs and trading bot services
ChainCatcher•1h agoMatrixport withdrew 5,000 ETH from Binance, worth approximately $11.67 million
Odaily•1h agoOverseas investors allocated 63% of U.S. stocks, exceeding the peak during the dot-com bubble
ChainCatcher•3h agoData: XRP spot ETFs saw a net inflow of $34.21 million last week
Odaily•3h agoSOL spot ETFs had a net inflow of $39.23 million last week
ChainCatcher•3h agoData: The TRUMP team address transferred another $12.09 million in tokens to Fireblocks after three months
ChainCatcher•3h agoGoldman Sachs: The Fed is expected to cut interest rates by 25 basis points each in 2026 and 2027
ChainCatcher•5h agoOpenAI allows employees to sell up to $30 million in shares in a recent funding round