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