韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Declinarea responsabilității: conținutul OKX Orbit este furnizat doar în scopuri informative. Aflați mai multe
Răspunsuri
Related Flash News
ChainCatcher•42m în urmăCircle anunță raportul financiar pentru trimestrul 1 din 2026: veniturile ajung la 694 milioane de dolari, volumul tranzacționării on-chain USDC crește cu 263% anual
ChainCatcher•1h în urmăProtocolul de predicție Fortune a finalizat o rundă seed de finanțare, cu participarea Cogitent Ventures și a altora
ChainCatcher•1h în urmăDate: Fundația Ethereum a răscumpărat 21.271 ETH de la Lido, în valoare de aproximativ 49,66 milioane de dolari
ChainCatcher•2h în urmăB.AI A încheiat un parteneriat strategic cu CoinAnk
ChainCatcher•2h în urmăCoinshares: Produsele de investiții în active digitale au înregistrat intrări de 857,9 milioane de dolari săptămâna trecută, atingând intrări nete timp de șase săptămâni consecutive
ChainCatcher•3h în urmăVitalik propune un standard de plată ZK, care să stimuleze Ethereum și tranzacțiile de confidențialitate ale agenților AI
ChainCatcher•3h în urmăBinance publică în mai Actualizarea dovadelor de rezerve, raportul rezervelor BTC ajunge la 100,22%
ChainCatcher•4h în urmăBinance va elimina perechile de tranzacționare cu efect de levier precum LSK/USDC și HEI/USDC
ChainCatcher•4h în urmăAtacatorii TrustedVolumes au transferat 278.000 de dolari în fonduri spălate
ChainCatcher•4h în urmăAustralia plănuiește să ajusteze regulile privind impozitul pe câștigurile de capital, ceea ce ar putea afecta povara fiscală a investitorilor pe termen lung în active cripto