韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Disclaimer: OKX Orbit content is provided for informational purposes only. Learn more
Replies
Related Flash News
ChainCatcher•4m agoStarknet launches strkBTC, bringing zero-knowledge privacy Bitcoin to Ethereum Layer2
Odaily•12m agoMichael Saylor: The CLARITY Act will unlock the next wave of digital capital in the United States and around the world
ChainCatcher•17m agoData: Bitdeer produced 783 BTC in April, a 372% year-on-year increase
ChainCatcher•31m agoAnalysis: The crypto market waits and sees before the release of the US CPI for April, and XRP and SOL are once again blocked by key pressure levels
ChainCatcher•34m agoThe new draft CLARITY Act adds insider trading provisions and adjusts several key sections
ChainCatcher•51m agoData: BNB Chain RWA TVL exceeded $4 billion, hitting a new all-time high
ChainCatcher•59m agoData: Stablecoin holdings have risen from 4% to 28%, and crypto exchanges are becoming a new type of savings account
ChainCatcher•1h agoWells Fargo increased its holdings in ETH ETFs in the first quarter while significantly increasing its position in Strategy stock
ChainCatcher•1h agoThis rise is clearly driven by leverage, with a surge in open interest accompanied by lower spot volume
ChainCatcher•2h agoData: Pension-usdt.eth's BTC and ETH short positions have floating losses of more than $15 million