韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Застереження. Вміст, опублікований на OKX Orbit, надається виключно в інформаційних цілях. Докладніше
Відповіді
Related Flash News
ChainCatcher•1г томуB.AI Уклав стратегічне партнерство з CoinAnk
ChainCatcher•1г томуCoinshares: Минулого тижня інвестиції в продукти цифрових активів отримали припливи $857,9 мільйона, досягнувши чистих прибутків протягом шести тижнів поспіль
ChainCatcher•2г томуВіталік пропонує стандарт оплати ZK, що стимулює транзакції з конфіденційністю агентів Ethereum та AI
ChainCatcher•2г томуРелізи Binance на травні, оновлення підтвердження резервів, коефіцієнт резервів BTC досягає 100,22%
ChainCatcher•2г томуBinance видалить пари з кредитним плечем, такі як LSK/USDC та HEI/USDC
ChainCatcher•3г томуЗловмисники TrustedVolumes перевели $278,000 відмитих коштів
ChainCatcher•3г томуАвстралія планує коригувати правила податку на приріст капіталу, що може вплинути на податкове навантаження довгострокових інвесторів у криптоактиви
ChainCatcher•3г томуФранцузька публічна компанія Capital B завершила фінансування на суму €15,2 мільйона для прискорення корпоративної стратегії казначейства Bitcoin
ChainCatcher•3г томуBinance запустить спотові торгові пари MEGA/U, TON/U та TON/USD1 та сервіси торгових ботів
ChainCatcher•4г томуMatrixport вивів 5 000 ETH з Binance, на суму приблизно $11,67 мільйона