Cómo resolví el desafío de ingeniería inversa de Jane Street

Jane Street es una firma de trading cuantico famosa por sus desafíos de programación que publican ocasionalmente. Hace algunos meses,publicaron un desafío de ingeniería inversa que la comunidad de desarrolladores intentó resolver sin éxito durante meses. El desafío consistía en reconstruir un algoritmo propietario a partir de solo sus entradas y salidas observables.

Lo que llamó mi atención fue la elegancia del problema: a diferencia de la ingeniería inversa tradicional donde tienes acceso al binario, aquí solo tenías la especificación de comportamiento. Esto es lo que hice para resolverlo.

1. Análisis de entradas-salidas: Comencé generando docenas de entradas aleatorias y observando los patrones de salida. El algoritmo tenía propiedades matemáticas interesantes que sugerían un diseño basado en aritmética modular.
2. Detección de patrones repetitivos: Usé scripts en Python para ejecutar el algoritmo con miles de entradas y busqué correlaciones en los resultados. Después de la milésima iteración, noté que los primeros bits seguían una secuencia pseudoaleatoria determinista.
3. Reverse engineering del esquema de generación: Una vez identificado el patrón, deduje la estructura interna del generador. Resultó ser un LCG (Generador Congruencial Lineal) con parámetros no estándar.
4. Validación cruzada: Implementé la fórmula propuesta y la comparé contra 100+ salidas originales. El modelo coincidía exactamente en todos los casos.

El desafío me enseñó valiosas lecciones sobre cómo los firms de trading protegen sus algoritmos y por qué la ingeniería inversa moderna requiere un enfoque diferente cuando no tienes acceso al código fuente. Si te enfrentas a un desafío similar, mi consejo es empezar buscando propiedades matemáticas fundamentales antes de entrar en detalles de implementación.

¿Has intentado resolver algún desafío de ingeniería inversa? ¿Cuál fue tu enfoque? ¡Comparte tu experiencia en los comentarios!