ee33 / SolveIt 4: From A to B.

Empezamos con un enunciado sencillo:

El rey se siente muy solo y le ha gritado a la reina «¡Tira paquí!», pero la reina ha visto que por el suelo hay monedas en todas las casillas y no piensa llegar hasta el rey sin recogerlas. ¿Le puedes ayudar a llegar hasta el rey lo más rápido posible pasando por todas las casillas? Es la reina y no le gusta pasar dos veces por el mismo sitio, por si mancha.

Y el tablero de la imagen con la dama en f3 y el rey en c6. Lo que va en negrita del enunciado fue una pista metida a posteriori, cuando llevábamos ya unas cuantas horas dándole caña.

Aquí tuvimos muchos problemas. Para empezar, siendo un SolveIt, no nos parecía razonable implementar un sistema de backtracking para probar todas las soluciones (además, sin un sistema pre-calculado de movimientos posibles, no era viable terminarlo a tiempo – como nos comentó el team Insomnia a posteriori, esa idea de movimientos precalculados era una vía muy razonable y posible). Por otra parte, creíamos que «a mano no debía de ser muy complicado» (fueron nuestras últimas palabras 🙂

Bueno, resumiendo muy mucho, enseguida creamos (gracias, Claude) un chess path visualizer para ver la trayectoria de nuestra dama, las casillas atravesadas y el número de movimientos:
https://ikasten.io/images/ee33_chesspath.html

El primer intento, se quedaba un poco lejos del óptimo:

La siguiente (hat-off to Paul) mucho mejor:


f3f4d2g2g6b1h1h8a1a8g8b3b7e7c5c6

¿Pero cómo demonios metemos la posición en la web del HackIt? Esto es algo que la org debe mejorar (hint: Ontza). Algo del estilo: «Right answer. Wrong format» valdría Eso evitaría la frustración de no saber si lo que falla es la solución o el formato.

Otra: no hay una única solución de 15 movimientos. Esta otra también cumple con los requisitos de solución válida (con la sintaxis correcta):

Qe3 Qg5 Qg2 Qc2 Qh7 Qh1 Qa1 Qh8 Qa8 Qa2 Qf7 Qb7 Qb4 Qd6 Qc6

(Gracias a Ricardo, que se cebó con esta prueba hasta resolverla. Debería haber sacado una foto a su cuaderno… os hubiera gustado…)

ee33 / Solve It 3: Universal Language


Solve It 3: Universal Language: Resuelto por 3 equipos

Z+E+R+O \= 0
urefu(jibu) \= 16 (la longitud de la clave es 16)

Bonita prueba que nos ha tenido entretenidos largo tiempo. Especialmente a Owen, que se «pegó» con Ontza para convecerle de que la solución con enteros no existía 🙂

Una gran pista: si buscas la primera ecuación en Google, obtendrás este post en Quora:
https://www.quora.com/How-far-can-you-go-so-that-the-system-z-e-r-o-0-o-n-e-1-t-w-o-2-t-h-r-e-e-3-f-o-u-r-4-f-i-v-e-5-s-i-x-6-etc-has-a-solution-The-letters-in-the-LHS-are-the-unknowns

Así que, lo que buscamos es resolver este sistema de ecuaciones:

Z + E + R + O \= 0
O + N + E \= 1
T + W + O \= 2
T + H + R + E + E \= 3
F + O + U + R \= 4
F + I + V + E \= 5
S + I + X \= 6
S + E + V + E + N \= 7
E + I + G + H + T \= 8
N + I + N + E \= 9
T + E + N \= 10
E + L + E + V + E + N \= 11
T + W + E + L + V + E \= 12
T + H + I + R + T + E + E + N \= 13
F + O + U + R + T + E + E + N \= 14
F + I + F + T + E + E + N \= 15
S + I + X + T + E + E + N \= 16

Aquí la org emitió una pista cuando llevábamos atascados un buen rato:

«PISTA: Begitxo tiene sus años y tiene un 386SX de CPU, tenedlo en cuenta.»

Si pedimos a gpt 4o explicaciones:

«El 386SX, al igual que otros procesadores de la serie 386, no incluye un coprocesador matemático integrado para realizar operaciones en coma flotante. Por lo tanto, las operaciones en coma flotante debían ser manejadas mediante un coprocesador externo, el 80387, o por medio de emulación por software, lo que podía ralentizar las operaciones de este tipo.»

Así que la pista venía a decir que el sistema de ecuaciones tenía que resolverse con enteros. Pero lo curioso es que ese sistema no tiene solución con números enteros. Sí la tiene para números reales. Varias, de hecho.

Aquí una demostración de Owen sobre por qué la solución obligatoriamente debe incluir números reales en alguna de las variables (en N, por ejemplo):


Aquí la org tuvo que reconocer el bug y quitó la pista.

Soooo… una posible solución:
E \= 0
F \= 2.5
G \= 5
H \= -2.5
I \= 0
L \= 4
N \= 4.5
O \= -3.5
R \= 0
S \= 0
T \= 5.5
U \= 5
V \= 2.5
W \= 0
X \= 6
Z \= 3.5

Donde el input habría que ponerlo así:
0 2.5 5 -2.5 0 4 4.5 -3.5 0 0 5.5 5 2.5 0 6 3.5

(orden alfabético de las variables, sólo los valores de la solución)

Bonita prueba.

ee33 / Solve It 2

Born to run es un level que me encantó. Tranquilamente podría haber sido un level de HackIt y no de SolveIt. Nos pasan un fichero level.bin:
http://ikasten.io/images/ee33_level.bin
que a primera vista no nos dice nada:

$ file level.bin
level.bin: data

Pero, como siempre, el comando strings te ayudará:

$ strings level.bin| grep «V» | grep «2»
*Ver S1.20*
UV2C
#V2 x
Xf2V12
xuuvWdVgXueUHFUFWTDT7BB2#»
fUEVE4T4VR4Dd$3$\&DED5%#55BB2#»
+$WVE»XGE$hUV»xdT#xeD#XEF»XV5#wF5″X5D#7E5″722$»
VFV%Fe2#EBT»5%$$E45″T3$$FD
d’d+d/Z’V’R’Z1Z5Z9P1L1H1D1@1\<14\<2?2C4F8H\<H@HCTFWIZL]PRTRXRZ[^[o_ocogokoolrhrdw`wRyFuBu7r4o1l,q(q$q!f
#%$$2TCVdF6EFDddDDC
2V$BbE
XLLRRVV,^#»2\


Solve It 2: Born to Run (resuelto por 25 equipos)

Y si buscamos *Ver S1.20* en Google, cantamos bingo:

Ese string en concreto solo sale en algunas ROM de SNES. Así que estamos hablando de un volcado de un cartucho SNES. Tras unas cuantas vueltas (buscaba un emulador de SNES para macOS) encontré OpenEmu: https://openemu.org/

Cambiamos la extensión de .bin a .smc (por alguna extraña razón OpenEmu no tragaba con level.bin simplemente porque no le gustaba la extensión) y… nos ponemos a jugar al Super Mario Kart 🙂


En Linux podemos usar snes9x

Aquí he de decir que me vicié un poco al juego… pero era por una buena causa! Pensé que si quedaba primero me saldría algún mensaje con la flag. Pero no… quedé primero, pero no hubo flag:

Así que hubo que recurrir a técnicas de HackIt (!). Abriendo la ROM con el editor EpicEdit, ¡sorpresa!:

Addendum
NavarParty usó un plugin de cheating para poder saltarse paredes que les permitió ver la flag mientras jugaban por el level. Brilliant!

ee33 / SolveIt 1

Ajedrez… este ha sido un tema recurrente para mí en esta #ee33


Solve It 1: Entretenimiento Universal, resuelto por 37 equipos.

Nos pasan 7 gifs de posiciones de ajedrez en un tablero. Parece que esconden un mensaje…. Aquí os dejo una descripción de Servida con la solución:


Primera imagen: How about a nice game of chess?

Servida, [25 Jul 2025 at 00:48:02]:
La presencia de las piezas es una variable booleana, y cada fila es un byte, que en ASCII es un mensaje, en orden de arriba a abajo y de las imágenes de la 1 a la 7
Solo he mirado la primera que pone «How «
….
Me ha dado la pista que ninguna primera columna tuviera piezas

https://ikasten.io/images/ee33_01.gif

https://ikasten.io/images/ee33_07.gif

ee33: Hackit Level 5

Ramandi (w0pr) explicó hasta donde habían llegado, con discusión incluida con Ontza 🙂
Es un webassembly de 2.6Mb (compilado a partir de un programa en Go). Al analizarlo han visto que lanza conexiones contra el server de hackit. Han analizado el protocolo viendo que se pueden hacer peticiones GET y POST. Las GET te devuelven un token que puedes usar luego para las POST. Al hacer un GET han visto también que el server establece conexiones contra tu propia máquina, vía UDP. Ahí se han quedado. Si todo va bien, espero que junto con Ontza podamos hostear una versión jugable en ikasten.io.

http://ikasten.io/images/ee33_level.wasm


HackIt 5: All you need is love. NO Resuelto.