韩国金融安全院将开发智能合约验证工具,建立验证体系

ChainCatcher 消息,韩国金融安全院宣布,将围绕数字资产服务推进 3 项重点工作,包括开发智能合约验证工具、建立智能合约验证体系,以及培养数字资产专业人才。
其将面向代币证券、稳定币等场景,开发可自动检测重入攻击、访问权限错误、抵押品校验遗漏等主要漏洞的专用安全验证工具,并结合韩国金融监管环境持续更新检测规则。与此同时,该机构还将发布《智能合约安全指南》,覆盖开发、部署、运营全流程,并通过研讨会、协作网络等方式提升金融机构数字资产安全能力。
Deslinde de responsabilidades: el contenido de OKX Orbit se brinda únicamente con fines informativos. Más información
Respuestas
Related Flash News
Las direcciones relacionadas con BIT vendieron un total de 303.600 HYPE, generando unos 12,79 millones de dólares
Circle anuncia el informe financiero del primer trimestre 2026: los ingresos alcanzan los 694 millones de dólares, el volumen de operaciones on-chain de USDC aumenta un 263% interanual
Protocolo de predicción Fortune completó una ronda semilla de financiación, con la participación de Cogitent Enterprises y otros
Datos: La Fundación Ethereum canjeó 21.271 ETH de Lido, valorados aproximadamente en 49,66 millones de dólares
B.AI Estableció una alianza estratégica con CoinAnk
Coinshares: Los productos de inversión en activos digitales registraron entradas de 857,9 millones de dólares la semana pasada, logrando entradas netas durante seis semanas consecutivas
OKX publicará el contrato perpetuo de USOUSDT hoy a las 18:00
Vitalik propone un estándar de pago ZK, impulsando las transacciones de privacidad de Ethereum y agentes de IA
Actualización de prueba de reservas en mayo de Binance y el ratio de reservas en BTC alcanza el 100,22%
Binance eliminará pares de trading apalancados como LSK/USDC y HEI/USDC
