Vulnerabilidad en ML-DSA (CVE-2026-24850)

El *crate* ML-DSA es una implementación en Rust del Estándar de Firma Digital Basado en Módulos de Retículos (ML-DSA). A partir de la versión 0.0.4 y antes de la versión 0.1.0-rc.4, la implementación de verificación de firma ML-DSA en el *crate* 'ml-dsa' de RustCrypto acepta incorrectamente firmas con índices de pista repetidos (duplicados). Según la especificación ML-DSA (FIPS 204 / RFC 9881), los índices de pista dentro de cada polinomio deben ser estrictamente crecientes. La implementación actual utiliza una comprobación monótona no estricta ('<=' en lugar de '<'), permitiendo índices duplicados. Esto es un error de regresión. La implementación original era correcta, pero un *commit* en la versión 0.0.4 cambió inadvertidamente la comparación estricta '<' a '<=', introduciendo la vulnerabilidad. La versión 0.1.0-rc.4 corrige el problema.