Artículos Relacionados con Vulnerabilidad

El Centro de Noticias de HTX ofrece los artículos más recientes y un análisis profundo sobre "Vulnerabilidad", cubriendo tendencias del mercado, actualizaciones de proyectos, desarrollos tecnológicos y políticas regulatorias en la industria de cripto.

Mythos de Versión Pública Oficialmente Lanzado: Analizando las Ventajas y Limitaciones de la Auditoría de Contratos Inteligentes con IA

El 9 de junio, Anthropic lanzó la versión pública de Mythos, Claude Fable 5, que destaca por su capacidad para detectar vulnerabilidades de seguridad. Un ejemplo reciente es el caso de Zcash, donde un investigador utilizó el modelo Claude Opus 4.8 para descubrir una vulnerabilidad crítica no detectada en cuatro años de auditorías manuales, lo que provocó una caída del 40% en el precio de ZEC. La IA es cada vez más común en la auditoría de contratos inteligentes por su eficiencia en el emparejamiento de patrones de código y el cribado inicial masivo. Analizamos sus fortalezas y debilidades con casos reales y pruebas con Fable 5. **Fortalezas de la Auditoría con IA:** En un caso, se detectó una colisión de ranuras de almacenaje (*storage slot collision*) entre un *mapping* de recompensas personalizado y la librería Solady ReentrancyGuard. El guardia utilizaba una ranura fija para optimizar gas, que coincidía con la primera ranura del *mapping*. Esto permitía a un atacante reclamar recompensas repetidamente, drenando los fondos del contrato. La IA puede identificar instantáneamente estos conflictos de diseño que suelen pasar inadvertidos en auditorías manuales. **Limitaciones de la Auditoría con IA:** Al probar Fable 5 con los contratos del ataque a Curve LlamaLend sDOLA, no logró identificar el riesgo central. Este ataque explotó una vulnerabilidad de combinación entre protocolos: manipular el precio de un activo en un *pool* de liquidez para desencadenar liquidaciones en masa en otro protocolo y obtener ganancias. Este tipo de vulnerabilidades complejas, que dependen de la interacción semántica y económica entre múltiples contratos y protocolos DeFi, aún superan la capacidad de análisis de la IA. **Conclusión:** Fable 5 es eficaz para encontrar vulnerabilidades estandarizadas, detalladas y de lógica simple en contratos individuales. Sin embargo, su comprensión de la lógica de negocio compleja, los modelos económicos DeFi y los vectores de ataque combinados entre protocolos es limitada. En la auditoría de seguridad es crucial combinar la eficiencia de la IA con el análisis experto para lograr una cobertura integral.

marsbit06/11 08:08

Mythos de Versión Pública Oficialmente Lanzado: Analizando las Ventajas y Limitaciones de la Auditoría de Contratos Inteligentes con IA

marsbit06/11 08:08

Beosin: En mayo ocurrieron 36 incidentes de seguridad importantes, con pérdidas superiores a 76 millones de dólares

**Resumen de los incidentes de seguridad de mayo según Beosin: pérdidas superiores a 76 millones de dólares** Según los datos de monitorización de Beosin Alert, en mayo de 2026 se registraron **36 incidentes de seguridad significativos**, con pérdidas totales que superan los **76.15 millones de dólares**. Las causas principales fueron vulnerabilidades en contratos inteligentes y fugas de claves privadas. **Hallazgos clave:** * Los **puentes cruzacadenas (cross-chain bridges)** sufrieron las mayores pérdidas (27,995 millones de dólares), destacando el ataque al Verus-Ethereum Bridge (pérdida: 11,58 millones) por un defecto en la verificación de mensajes. * Los protocolos **DeFi** fueron los más atacados (14 incidentes). * La cadena con mayores pérdidas fue **Ethereum** (más de 48,76 millones), seguida de BNB Chain, Monad y TON, mostrando una tendencia de ataques multicalena. * Los incidentes por **fuga de claves privadas** resultaron en pérdidas conjuntas de más de 25 millones de dólares. El caso de **StablR** ejemplifica fallos de seguridad operativa, como el uso de multifirmas con umbral bajo (1 de N) y la falta de mecanismos de respuesta rápida. **Análisis de incidentes destacados:** 1. **Verus-Ethereum Bridge:** Vulnerabilidad en la verificación de datos de prueba, permitiendo transferencias no respaldadas por fondos. 2. **Trusted Volumes:** Defecto en la verificación de firmas durante el proceso RFQ (solicitud de cotización), que permitió a un atacante desviar fondos. 3. **StablR (y otros):** Múltiples incidentes por compromiso de claves privadas, enfatizando riesgos en la gestión operativa y de gobernanza. **Tendencias de seguridad en Web3:** La superficie de ataque se amplía sistémicamente, apareciendo vulnerabilidades en código, infraestructura, interoperabilidad y procesos humanos. Se requiere un enfoque de seguridad continuo que vaya más allá de las auditorías puntuales. Además, los ataques a contratos antiguos o en desuso son frecuentes, por lo que se recomienda su revisión, desactivación segura y la revocación de autorizaciones por parte de los usuarios.

marsbit06/10 09:29

Beosin: En mayo ocurrieron 36 incidentes de seguridad importantes, con pérdidas superiores a 76 millones de dólares

marsbit06/10 09:29

Cuando la IA empieza a auditar el mundo: desde Claude descubriendo una vulnerabilidad en ZEC, observando cómo la industria cripto ingresa a la 'Era de la Seguridad Recursiva'

La inteligencia artificial está comenzando a transformar fundamentalmente la ciberseguridad, especialmente en industrias complejas como la de blockchain y las criptomonedas. Un hito reciente es el descubrimiento por parte de Claude Opus 4.8 (de Anthropic) de una vulnerabilidad crítica en el sistema de pruebas de conocimiento cero de Zcash (ZEC). Este evento va más allá de la simple identificación de un fallo; señala una tendencia emergente: la IA está pasando de ser una herramienta pasiva a un participante activo en la comprensión, análisis y verificación de sistemas complejos. Anthropic explora este concepto en su investigación sobre "Mejora Recursiva", donde la IA acelera su propio desarrollo. Paralelamente, en seguridad, estamos entrando en una era de "Seguridad Recursiva". Aquí, la IA no realiza auditorías puntuales, sino que habilita un ciclo de retroalimentación continuo: analiza código y datos en tiempo real, identifica riesgos potenciales, ayuda en las reparaciones y luego reevalúa el sistema actualizado. Esto comprime drásticamente el "ciclo de vida" de las vulnerabilidades, haciendo que la detección y respuesta sean más rápidas. El sector de la ciberseguridad es ideal para esta transformación porque su esencia (encontrar anomalías en sistemas vastos y complejos) se alinea con las fortalezas de los modelos de IA de gran escala. Estos modelos pueden procesar contextos extensos y conectar lógica entre múltiples capas de un sistema, reduciendo el costo de descubrir riesgos. Sin embargo, esta capacidad potencia tanto a defensores como a atacantes. El futuro no se trata de eliminar todos los riesgos, sino de desarrollar una resiliencia dinámica: la ventaja competitiva la tendrán los protocolos con mayor capacidad de detectar, verificar y mitigar riesgos de forma ágil y continua. El caso de Zcash es un presagio de esta nueva era donde la seguridad se convierte en una capacidad sistémica y en evolución constante.

marsbit06/08 13:33

Cuando la IA empieza a auditar el mundo: desde Claude descubriendo una vulnerabilidad en ZEC, observando cómo la industria cripto ingresa a la 'Era de la Seguridad Recursiva'

marsbit06/08 13:33

Claude Opus 4.8 encuentra un bug de 4.500 millones de dólares, la era de la IA está produciendo hackers en masa

Un investigador de seguridad descubrió un grave error en el protocolo Orchard de Zcash, el cual permitía la creación ilimitada de tokens, llevando a una caída del 50% en su valor. Este bug fue identificado utilizando Claude Opus 4.8 de Anthropic, un modelo de IA disponible públicamente. El caso destaca cómo la IA democratiza la ciberseguridad, reduciendo drásticamente el costo de encontrar vulnerabilidades. Modelos potentes y accesibles como Opus 4.8 permiten que tanto investigadores como potenciales atacantes descubran fallos complejos que antes requerían expertos dedicados. Esto genera una paradoja: un aumento masivo de informes de seguridad, muchos de baja calidad o falsos, que saturan a los mantenedores de software, a menudo voluntarios sin recursos. Simultáneamente, se exponen vulnerabilidades reales y antiguas en la base de nuestro mundo digital. La industria enfrenta una crisis de talento, con una escasez global de profesionales capacitados para analizar, priorizar y reparar estas fallas. Mientras la IA abarata el descubrimiento, la reparación sigue siendo costosa y requiere juicio humano experto. En esencia, la IA ilumina las grietas en los cimientos de nuestra infraestructura digital. La verdadera prueba será si contamos con suficientes personas dispuestas y capaces de repararlas, manteniendo la frágil cadena de confianza sobre la que se construye la vida en línea.

marsbit06/06 09:27

Claude Opus 4.8 encuentra un bug de 4.500 millones de dólares, la era de la IA está produciendo hackers en masa

marsbit06/06 09:27

La caída del ZEC supera el 30%: el trasfondo es una vulnerabilidad de "emisión infinita" que no se puede probar si fue explotada

El 5 de junio, el fundador de Zcash, Zooko Wilcox, reveló un grave fallo de seguridad descubierto en el protocolo de privacidad Orchard, activo desde 2022. Un investigador demostró que este error, presente desde hace casi cuatro años, permitiría generar ZEC falsificados de forma ilimitada e indetectable dentro de la pool privada. Tras la divulgación, el precio de ZEC cayó más de un 30%. Aunque el fallo fue reparado con rapidez mediante una bifurcación de emergencia, la comunidad no puede demostrar criptográficamente si el exploit fue utilizado en el pasado. Esta incertidumbre sobre la integridad histórica de la oferta es la principal causa de la desconfianza del mercado. La vulnerabilidad residía en una restricción matemática incompleta dentro del circuito de pruebas de conocimiento cero de Orchard, permitiendo falsificar la prueba de conservación de activos. Aunque mecanismos existentes como Turnstile Accounting protegen el límite máximo de suministro total, no pueden certificar que nunca existieran monedas falsas dentro de Orchard. Para restaurar la confianza, los desarrolladores proponen una nueva actualización que incluiría una nueva pool privada y un mecanismo de migración verificable para todos los fondos de Orchard, permitiendo probar públicamente la integridad del suministro. El descubrimiento del fallo, asistido por herramientas de IA de uso general, subraya la creciente accesibilidad de capacidades avanzadas de auditoría de seguridad.

marsbit06/05 06:55

La caída del ZEC supera el 30%: el trasfondo es una vulnerabilidad de "emisión infinita" que no se puede probar si fue explotada

marsbit06/05 06:55

活动图片