扫码下载
BTC $79,138.69 -2.93%
ETH $2,228.98 -2.87%
BNB $673.97 -1.53%
XRP $1.43 -4.14%
SOL $89.29 -3.42%
TRX $0.3521 -0.51%
DOGE $0.1130 -3.04%
ADA $0.2617 -3.80%
BCH $427.19 -2.22%
LINK $10.08 -4.27%
HYPE $44.15 -1.59%
AAVE $93.27 -5.69%
SUI $1.10 -7.46%
XLM $0.1552 -4.74%
ZEC $516.87 -7.50%
BTC $79,138.69 -2.93%
ETH $2,228.98 -2.87%
BNB $673.97 -1.53%
XRP $1.43 -4.14%
SOL $89.29 -3.42%
TRX $0.3521 -0.51%
DOGE $0.1130 -3.04%
ADA $0.2617 -3.80%
BCH $427.19 -2.22%
LINK $10.08 -4.27%
HYPE $44.15 -1.59%
AAVE $93.27 -5.69%
SUI $1.10 -7.46%
XLM $0.1552 -4.74%
ZEC $516.87 -7.50%

韩国金融安全院将开发智能合约验证工具,建立验证体系

2026-05-11 12:03:44
收藏

ChainCatcher 消息,韩国金融安全院宣布,将围绕数字资产服务推进 3 项重点工作,包括开发智能合约验证工具、建立智能合约验证体系,以及培养数字资产专业人才。

其将面向代币证券、稳定币等场景,开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具,并结合韩国金融监管环境持续更新检测规则。与此同时,该机构还将发布《智能合约安全指南》,覆盖开发、部署、运营全流程,并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。

app_icon
ChainCatcher 与创新者共建Web3世界