Cómo resolví el desafío de ingeniería inversa de Jane Street
Solving the Jane Street Reverse Engineering Challenge
El autor relata su experiencia resolviendo el desafío de ingeniería inversa de Jane Street, que implica extraer el circuito de un ASIC a partir de un archivo GDS. Tras construir herramientas propias (simulador, parser, visor) y perder tiempo en tangentes, logra descifrar el circuito de calentamiento, identificando registros de desplazamiento, un sumador y un comparador. Luego aplica su método al rompecabezas real, que es mucho más complejo, y comparte sus avances y frustraciones en el proceso.
¿Por qué siempre hago las cosas de la manera difícil?
- mdritch
Me encanta z3. Lo usé por primera vez para el rompecabezas de Jane Street del año pasado que involucraba un algoritmo hash disfrazado de red neuronal. Uso mucho MCMC en el trabajo y he hecho algunas pequeñas investigaciones sobre verificación formal de modelos MCMC mediante z3, pero nada real todavía. Esto me ha inspirado a retomarlo.
- ctippett
> Terminé usando una herramienta llamada 'z3'. ¿Es un poco mágica? Cada vez que encuentra una solución siento una oleada de alegría.
Esto resuena mucho conmigo. Tuve un sentimiento similar después de asistir a mi primera conferencia de investigación operativa. Resolver problemas aparentemente incomprensibles y complejos planteándolos como un montón de restricciones simples y obtener una solución me pareció una auténtica magia.
- josu
Le di el problema a chatGPT 5.6 Sol Pro y este fue el resultado:
> Trabajó durante 12m 36s
> Resuelto
- piker
> Bueno, realmente no sé en qué trabajar a continuación
Déjame ayudarte: trabaja en descubrir cómo gastar los millones de dólares que Jane Street te pagará cada año por fichar. He oído que la aviación privada es cara, por ejemplo. :)
- xvilka
Para ayudar con estas tareas en chips reales (dada la buena calidad de las imágenes) existe el software de código abierto Degate[1][2].