Comprobador de Solana 1
Hoy presentamos el Comprobador de Cheques de Propietarios Desaparecidos.
Este es nuestro primer verificador de @solana en la serie Chain-Fox sobre herramientas de seguridad y análisis de contratos inteligentes.
Vamos a sumergirnos 🧵
¿Qué hace este verificador?
Detecta cuando los contratos inteligentes de Solana usan cuentas sin verificar que sean propiedad del programa esperado.
Este simple descuido puede conducir a vulnerabilidades peligrosas.
El problema
Los programas de Solana dependen de cuentas externas. Si un contrato no comprueba si el campo del propietario de una cuenta coincide con el programa previsto, un actor malintencionado puede proporcionar una cuenta falsificada propiedad de otro programa.
El resultado puede ser una escalada de privilegios, corrupción lógica o robo.
¿Por qué es importante?
Una cuenta puede parecer válida, pero estar totalmente controlada por un atacante.
Si se omiten las comprobaciones de propiedad, el contrato puede:
• Aprobar transferencias de tokens falsos
• Aceptar cuentas maliciosas de configuración o autoridad
• Escribir en regiones de memoria no seguras
Estos errores ya han dado lugar a verdaderas hazañas en el ecosistema.
Cómo funciona el verificador
Este verificador escanea los programas de Solana para analizar el uso de la cuenta dentro de los controladores de instrucciones.
Realiza un seguimiento de:
• Dónde se accede a las cuentas
• Si account.owner==expected_program_id está validado
• Contextos de instrucción con validaciones faltantes
A continuación, marca los sitios de uso de cuentas específicos en los que faltan las comprobaciones del propietario.
Impacto en el mundo real
Hemos observado que la falta de comprobaciones del propietario es una causa raíz común en @solana vulnerabilidades de contratos.
En varios proyectos de alto perfil, las cuentas no marcadas permitieron a los atacantes eludir las puertas lógicas y manipular el estado del programa.
Este verificador está diseñado para detectar y prevenir eso.
Por qué es esencial para los desarrolladores de Solana
Si bien Solana ofrece rendimiento, viene con complejidad.
La seguridad depende de una validación cuidadosa de la cuenta.
Este verificador ayuda a hacer cumplir una suposición crítica que con demasiada frecuencia no se verifica.
Este es el primer verificador de Solana que compartimos. En nuestro próximo post, destacaremos otra herramienta clave de la suite Chain-Fox para detectar vulnerabilidades específicas de Solana.
44
2.95 K
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.