韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Avertissement : les contenus d'OKX Orbit sont uniquement publiés à titre informatif. En savoir plus
Réponses
Related Flash News
ChainCatcher•Il y a 8 mDonnées : La Fondation Ethereum a racheté 21 271 ETH auprès de Lido, d’une valeur d’environ 49,66 millions de dollars
ChainCatcher•Il y a 1 hB.AI A conclu un partenariat stratégique avec CoinAnk
ChainCatcher•Il y a 1 hCoinshares : Les produits d’investissement en actifs numériques ont enregistré des entrées de 857,9 millions de dollars la semaine dernière, atteignant des entrées nettes pendant six semaines consécutives
ChainCatcher•Il y a 2 hVitalik propose une norme de paiement ZK, favorisant les transactions de confidentialité d’Ethereum et d’agents IA
ChainCatcher•Il y a 2 hPublication de Binance en mai : mise à jour de la preuve de réserves, le ratio de réserve BTC atteint 100,22 %
ChainCatcher•Il y a 3 hBinance supprimera les paires de trading à effet de levier telles que LSK/USDC et HEI/USDC
ChainCatcher•Il y a 3 hLes attaquants de TrustedVolumes ont transféré 278 000 $ de fonds blanchis
ChainCatcher•Il y a 3 hL’Australie prévoit d’ajuster les règles d’imposition sur les plus-values, ce qui pourrait affecter la charge fiscale des investisseurs à long terme dans les crypto-actifs
ChainCatcher•Il y a 3 hLa société française cotée en bourse Capital B a finalisé un financement de 15,2 millions d’euros pour accélérer sa stratégie de trésorerie Bitcoin
ChainCatcher•Il y a 4 hBinance lancera des paires de trading au comptant MEGA/U, TON/U et TON/USD1 ainsi que des services de bots de trading