Una IA detectó un fallo crítico en OpenVM, pero la auditoría humana cerró el caso

La inteligencia artificial puede recorrer una base de código enorme, enlazar funciones y proponer patrones que merecen una segunda mirada. Pero en criptografía, donde una comprobación aparentemente pequeña puede proteger una garantía enorme, una propuesta no basta. El caso reciente de OpenVM ilustra esa frontera: una herramienta de auditoría de IA señaló un posible problema, especialistas humanos lo validaron y el proyecto publicó una corrección y un aviso de seguridad.

ZKSecurity ha contado en julio cómo su auditor, zkao, encontró un candidato a fallo en la biblioteca openvm-pairing de OpenVM. El advisory de seguridad de OpenVM sitúa la divulgación pública el 15 de mayo, clasifica el problema como crítico y señala que afectaba a versiones anteriores a la 1.6.0. La versión 1.6.0 contiene el parche. Por tanto, el artículo técnico publicado después no anuncia una vulnerabilidad nueva sin resolver: explica el trabajo de auditoría que llevó a una corrección ya publicada.

Qué estaba en juego

OpenVM es un framework para construir máquinas virtuales de conocimiento cero, o zkVM. En términos sencillos, una zkVM permite ejecutar un programa y generar una prueba criptográfica de que el resultado es correcto. Quien recibe esa prueba puede verificarla sin repetir todo el cálculo original. Esta idea se usa cuando verificar debe resultar mucho más barato que ejecutar.

Dentro de ese tipo de sistemas hay operaciones matemáticas llamadas emparejamientos, empleadas en varias construcciones criptográficas. La biblioteca afectada incluía una forma optimizada de comprobar uno de esos emparejamientos. El advisory explica que esa optimización dependía de una condición adicional sobre un valor proporcionado durante la comprobación y que dicha condición no se verificaba correctamente.

No hace falta seguir la aritmética de campos finitos para entender la consecuencia. La comprobación podía aceptar un resultado que no debía aceptar. En una biblioteca criptográfica, la diferencia entre “parece válido” y “se ha probado que es válido” es precisamente el problema de seguridad.

El aviso identifica el paquete afectado como openvm-pairing, no a la zkVM completa como concepto. ZKSecurity también precisa que el hallazgo se encontraba en una biblioteca de invitado y no en el sistema de pruebas general de OpenVM. Esa precisión evita dos errores frecuentes: minimizar el alcance de una dependencia vulnerable o extenderlo, sin evidencia, a todo un proyecto.

Una IA propuso; las personas verificaron

Según ZKSecurity, zkao se ejecutó sobre OpenVM después de intentos con configuraciones más sencillas de modelos de lenguaje. El auditor de IA devolvió varios hallazgos y uno destacó como candidato serio. El equipo explica que sus especialistas realizaron el triaje, confirmaron que el caso era explotable, entendieron el impacto y gestionaron la divulgación responsable con OpenVM.

Ese proceso es más importante que el titular de que una IA “encontró” un bug. Los modelos pueden producir observaciones plausibles pero equivocadas, especialmente cuando deben unir supuestos repartidos por módulos complejos. Una auditoría útil necesita separar el descubrimiento de candidatos de la validación: reproducir el efecto, revisar los supuestos matemáticos, definir las versiones afectadas y acordar una corrección comprobable.

El commit público de OpenVM añade las verificaciones de subcampo que faltaban en las rutas relevantes y suma pruebas para impedir que el caso vuelva a pasar inadvertido. Es una señal saludable de la cadena de respuesta: informe, confirmación, parche y prueba.

Qué pueden aprender los equipos

El caso no convierte a un agente en auditor autónomo. Sí enseña dónde puede aportar valor. Una herramienta automatizada puede mantener la atención sobre invariantes de seguridad, buscar relaciones entre componentes y redactar un informe inicial que permita a un experto decidir dónde invertir tiempo. En proyectos con dependencias densas, eso puede reducir el coste de hallar una aguja importante entre mucho código.

Para los equipos que dependen de OpenVM, la acción práctica es revisar la versión de la biblioteca integrada y comprobar las notas del advisory. La fuente oficial marca la 1.6.0 como corregida; el repositorio recomienda v2.0.0 y posteriores para uso en producción a julio de 2026. Como siempre en criptografía, una actualización debe probarse con la propia integración antes de desplegarse.

La lección es constructiva: la IA puede ampliar la capacidad de una revisión de seguridad, pero no reemplaza la rendición de cuentas. En este caso, el valor no residió solo en encontrar una anomalía, sino en que hubo personas que la verificaron, un proyecto que la corrigió y un registro público que permite a los usuarios tomar decisiones informadas.