De acordo com a Edaily, o Instituto de Segurança Financeira da Coreia do Sul (FSI) anunciou hoje o desenvolvimento de uma ferramenta dedicada de verificação de segurança de contratos inteligentes e está avançando três grandes iniciativas, incluindo a construção de um sistema de verificação de contratos inteligentes e o cultivo de talentos em ativos digitais. A ferramenta de verificação detectará automaticamente vulnerabilidades importantes em contratos inteligentes usados para títulos de tokens, stablecoins e outros serviços de ativos digitais, com foco em tipos de vulnerabilidades de alto risco, como ataques de reentrância, erros de controle de acesso e validação insuficiente de garantias. A ferramenta será atualizada continuamente com padrões de inspeção personalizados alinhados ao ambiente regulatório financeiro da Coreia do Sul. O FSI também estabelecerá procedimentos e padrões de verificação que abranjam todo o ciclo de vida do contrato inteligente, da criação até a implantação e as operações, e publicará um Smart Contract Security Guide para as empresas membros.