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

ChainCatcher 消息,韩国金融安全院宣布,将围绕数字资产服务推进 3 项重点工作,包括开发智能合约验证工具、建立智能合约验证体系,以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景,开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具,并结合韩国金融监管环境持续更新检测规则。与此同时,该机构还将发布《智能合约安全指南》,覆盖开发、部署、运营全流程,并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Zřeknutí se odpovědnosti: Obsah v síti OKX Orbit je poskytován pouze pro informační účely. Další informace
Odpovědi
Related Flash News
Bitcoinové držby Strategy jsou aktuálně v plovoucím zisku 4,54 miliardy dolarů a Ethereum držby Bitmine jsou v aktuálně ve ztrátě 6,297 miliardy dolarů
BNY Mellon zavádí v Abú Dhabí splňující služby institucionální úrovně pro správu digitálních aktiv
Bitmine: Podíl ETH vzrostl na přibližně 5,206 milionu a rozsah závazků dosáhl 11,1 miliardy dolarů
Ronin přejde do sítě Ethereum vrstvy 2 12. května s dočasnou desetihodinovou pauzou
Michael Saylor, Strategie 上周增持 535 枚 BTC
Galaxy se spojila se společností Sharplink na spuštění on-chain DeFi fondu příjmů ve výši 125 milionů dolarů
Podle analýzy dlouhodobí držitelé Bitcoinu hromadí velké množství prostředků a institucionální nákupy přinášejí výnos nad $80,000
Analytik Bloomberg: Předpovídejte, že prodloužení ETF může být zpožděno kvůli žádosti SEC o další přezkoumání dokumentů o zveřejnění
Adresy související s BIT prodaly celkem 303 600 HYPE, přičemž vydělaly přibližně 12,79 milionu dolarů
Ripple získala financování ve výši 200 milionů dolarů od Neuberger Berman na rozšíření svého maržového podnikání jak na tradičních, tak krypto trzích
