韩国金融安全院将开发智能合约验证工具，建立验证体系
ChainCatcher 消息，韩国金融安全院宣布，将围绕数字资产服务推进 3 项重点工作，包括开发智能合约验证工具、建立智能合约验证体系，以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景，开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具，并结合韩国金融监管环境持续更新检测规则。与此同时，该机构还将发布《智能合约安全指南》，覆盖开发、部署、运营全流程，并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Aviso legal: o conteúdo do OKX Orbit é fornecido apenas para fins informativos. Saber mais
Respostas
Related Flash News
ChainCatcher•32 min.Circle anuncia o relatório financeiro do primeiro trimestre de 2026: receitas atingem 694 milhões de dólares e o volume de negociação on-chain do USDC aumenta 263% em termos homólogos
ChainCatcher•53 min.Protocolo de previsão A Fortune completou uma ronda inicial de financiamento, com a participação da Cogitent Ventures e outros
ChainCatcher•1 horaDados: A Fundação Ethereum resgatou 21.271 ETH da Lido, no valor de aproximadamente 49,66 milhões de dólares
ChainCatcher•2 horasB.AI Estabeleceu uma parceria estratégica com a CoinAnk
ChainCatcher•2 horasCoinshares: Os produtos de investimento em ativos digitais registaram entradas de 857,9 milhões de dólares na semana passada, alcançando entradas líquidas durante seis semanas consecutivas
ChainCatcher•3 horasVitalik propõe um padrão de pagamento ZK, impulsionando as transações de privacidade do Ethereum e dos agentes de IA
ChainCatcher•3 horasA Binance Divulga Atualização de Prova de Reservas, Rácio de Reservas BTC Atinge 100,22%
ChainCatcher•3 horasA Binance irá remover pares de negociação alavancados como LSK/USDC e HEI/USDC
ChainCatcher•4 horasOs atacantes da TrustedVolumes transferiram 278.000 dólares em fundos branqueados
ChainCatcher•4 horasA Austrália planeia ajustar as regras de imposto sobre mais-valias, o que poderá afetar a carga fiscal dos investidores de longo prazo em criptoativos