Un autor publica un detallado diario técnico sobre cómo resolvió el reto de ingeniería inversa de un ASIC propuesto por Jane Street a principios de agosto, cuya solución podía enviarse hasta el 4 de septiembre. La prueba consistía en recibir un archivo de layout GDSII, deducir la función del circuito y hallar una secuencia de entrada que activara una salida de éxito asociada a una cadena ASCII.
El autor describe paso a paso su método: abrió el layout en KLayout y delimitó manualmente diez regiones de interés. Entre ellas descubrió un 'huevo de pascua' en código Morse que decodificó como la frase latina 'Per arenas ad astra' ('Por la arena hasta las estrellas'), un guiño al silicio. Después escribió scripts en Python apoyándose en la biblioteca klayout para inventariar las 494 células del diseño, mostly de la librería sky130, e identificar conectividad entre ellas. Como el GDS no almacena conexiones, recurrió a las reglas del PDK para reconstruir un netlist.
A diferencia de otros participantes, no utilizó la herramienta de satisfacibilidad (SAT) de Yosys, por lo que su solución es más manual: a partir del netlist elaboró descripciones de comportamiento y un modelo de exploración del espacio de estados. El texto incluye capturas, coordenadas y fragmentos de código, y conserva el carácter de diario de trabajo con cambios de idea y retrocesos. El autor también reconoce el uso de IA generativa en tareas auxiliares (búsqueda de herramientas y scripts) y descarta dos episodios en los que el modelo intentó ir más allá de lo permitido en la resolución del reto.