韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Disclaimer: i contenuti di OKX Orbit sono forniti solo a scopo informativo. Scopri di più
Risposte
Related Flash News
ChainCatcher•8minuti faDati: La Ethereum Foundation ha riscattato 21.271 ETH da Lido, per un valore di circa 49,66 milioni di dollari
ChainCatcher•1ora faB.AI Stretto una partnership strategica con CoinAnk
ChainCatcher•1ora faCoinshare: I prodotti di investimento in asset digitali hanno registrato afflussi di 857,9 milioni di dollari la scorsa settimana, raggiungendo flussi netti per sei settimane consecutive
ChainCatcher•2ore faVitalik propone uno standard di pagamento ZK, che favorisce Ethereum e le transazioni di privacy degli agenti AI
ChainCatcher•2ore faRilasci Binance Aggiornamento Proof of Reserves, il rapporto di riserva BTC raggiunge il 100,22%
ChainCatcher•3ore faBinance rimuoverà coppie di trading con leva come LSK/USDC e HEI/USDC
ChainCatcher•3ore faGli aggressori di TrustedVolumes hanno trasferito 278.000 dollari di fondi riciclati
ChainCatcher•3ore faL'Australia prevede di adeguare le regole fiscali sulle plusvalenze, il che potrebbe influire sull'onere fiscale degli investitori a lungo termine in criptovalute
ChainCatcher•3ore faLa società quotata in borsa francese Capital B ha completato un finanziamento di 15,2 milioni di euro per accelerare la sua strategia aziendale di tesoreria Bitcoin
ChainCatcher•4ore faBinance lancerà coppie di trading spot MEGA/U, TON/U e TON/USD1 e servizi di trading bot