ee33 / Solve It 5: En Garde!


Solve It 5: En Garde! : resuelto por 5 equipos

Os dejo con el resumen de Servida, que mi cerebro está pidiendo vacaciones 🙂

Primero vimos que los espacios, puntos y comas no estaban puestos aleatoriamente, y por lo tanto, no podían formar parte del diccionario. Así que asumimos que las palabras estaban separadas correctamente y tenían que formar una frase con sentido.

Antes de seguir con decisiones correctas, hicimos un script para imprimir posibles frases descifradas, generando tablas de equivalencias aleatorias con hill climbing, dando como correctas aquellas frases cuyas k palabras (cuantas más mejor, pero asumimos que no todas las de la frase podían ser palabras que aparecieran en el diccionario) pertenecieran al diccionario de todas las palabras posibles en francés e inglés. Salieron algunas combinaciones con palabras con sentido, pero no ayudó mucho. [código después, pero de una versión mejorada]

Por la coma justo después de la primera palabra, pensamos que podía ser un saludo. Miramos posibles saludos en francés (por «en garde») pero el único que podía tener un poco de sentido («bonne») no encajaba nada, así que tiramos por los otros dos idiomas que pensábamos: inglés y español. Probando mentalmente, vimos que podría ser «Hello», y lo dimos por bueno.

Actualizamos el script para tener un diccionario de esas 4 sustituciones, y volvimos a probar. Este es el código del script (cortesIA):

import argparse
import random
import sys
from wordfreq import zipf_frequency

def parse_args():
    parser = argparse.ArgumentParser(
        description='Decifra una frase cifrada por sustitución usando hill climbing indefinidamente hasta encontrar todas las soluciones con score >= threshold.')
    parser.add_argument('-t', '--text', type=str,
                        default="iLEEB, D1 CPDL H7 hCHJB dBC6B1P. RB5 FHEELM D1 KP6IL8. a8LAP8L 6B MHL. a8yCnLX7p71zU3y7I",
                        help='Texto cifrado')
    parser.add_argument('-k', '--threshold', type=int, default=2,
                        help='Número mínimo de palabras en inglés para considerar buena una solución')
    parser.add_argument('-i', '--iterations', type=int, default=10000,
                        help='Número de intercambios por intento de hill climbing')
    parser.add_argument('-l', '--lang_threshold', type=float, default=3.0,
                        help='Frecuencia Zipf mínima para considerar una palabra perteneciente al idioma')
    return parser.parse_args()

def score_mapping(cipher, mapping, lang_thr):
    plain = ''.join(mapping.get(c, c) for c in cipher)
    count = 0
    for w in plain.split():
        w_clean = w.strip('.,;:?!"').lower()
        if w_clean:
            if zipf_frequency(w_clean, 'en') >= lang_thr:
                count += 1
    return count, plain

def random_fixed_mapping(symbols, known_map):
    remaining = [s for s in symbols if s not in known_map]
    available = [s for s in symbols if s not in known_map.values()]
    rand_mapping = known_map.copy()
    rand_mapping.update(dict(zip(remaining, random.sample(available, len(remaining)))))
    return rand_mapping

def hill_climb(cipher, symbols, known_map, lang_thr, iterations):
    # Empieza con mapping aleatorio que respeta known_map
    current_map = random_fixed_mapping(symbols, known_map)
    current_score, current_plain = score_mapping(cipher, current_map, lang_thr)

    for _ in range(iterations):
        # swap aleatorio entre símbolos no fijos
        m = current_map.copy()
        free = [s for s in symbols if s not in known_map]
        a, b = random.sample(free, 2)
        m[a], m[b] = m[b], m[a]
        sc, pl = score_mapping(cipher, m, lang_thr)
        if sc >= current_score:
            current_score, current_map, current_plain = sc, m, pl
    return current_score, current_map, current_plain

def main():
    args = parse_args()
    cipher = args.text
    threshold = args.threshold
    iterations = args.iterations
    lang_thr = args.lang_threshold

    symbols = sorted({c for c in cipher if c.isalnum()})
    # known mapping: "iLEEB" -> "Hello"
    known_map = {'i': 'H', 'L': 'e', 'E': 'l', 'B': 'o'}

    seen = set()
    attempt = 0
    print(f"Buscando soluciones con score >= {threshold} indefinidamente...")
    while True:
        attempt += 1
        score, mapping, plain = hill_climb(cipher, symbols, known_map, lang_thr, iterations)
        if score >= threshold and plain not in seen:
            seen.add(plain)
            print(f"[Solución {len(seen)} | Intento {attempt}] score={score}")
            print('Mapping:', mapping)
            print('Texto :', plain)
            print('-' * 60)

if __name__ == '__main__':
    main()

[la gracia está en subir el k, que por defecto es solo 2]

Salían más palabras reales, pero aún así no nos sirvió de mucho porque parecía casualidad; no tenían mucho sentido. Sí que llegaron a salir «killed» y «die» (a las que no dimos demasiada importancia). Aún así, lo dejamos corriendo con k=13 por si acaso encontraba algo.

Después nos dimos cuenta (con ayuda de la IA) de que sustituyendo las letras que ya teníamos, en las siguientes palabras, las 3 siguientes palabras podrían tratarse de «my name is», que también dimos por bueno. Casi inmediatamente, al tener ya «Hello, my name is» y con la cadencia de las frases (por los puntos y las comas) nos sonó muchísimo a la frase de Iñigo Montoya, y para nuestra enorme sorpresa, los caracteres encajaban perfectamente.

Antes de seguir con decisiones correctas, ignoramos la última palabra (que luego descubriríamos que sería la contraseña) y nos pusimos a mirar otras frases o mantras de la película, o incluso metiendo el número de veces que la dicen. Pero luego ya la consideramos como contraseña.

Así que a partir de aquí hicimos un diccionario:

cipher = "iLEEBD1CPDLH7hCHJBdBC6B1PRB5FHEELMD1KP6IL8a8LAP8L6BMHL"
clear  = "HellomynameisInigoMontoyaYoukilledmyfatherPreparetodie"

mapping = {}

for c, p in zip(cipher, clear):
    if c not in mapping:
        mapping[c] = p

print(mapping)

resultado:

{'i': 'H',
'L': 'e',
'E': 'l',
'B': 'o',
'D': 'm',
'1': 'y',
'C': 'n',
'P': 'a',
'H': 'i',
'7': 's',
'h': 'I',
'J': 'g',
'd': 'M',
'6': 't',
'R': 'Y',
'5': 'u',
'F': 'k',
'M': 'd',
'K': 'f',
'I': 'h',
'8': 'r',
'a': 'P',
'A': 'p'}

Este diccionario fue el que usamos para la variable `known_map`, y así el script siguió dando combinaciones, esta vez para la única palabra que faltaba. No llegamos a que nos diera una palabra que apareciera en el diccionario, pero luego vimos que tampoco la habría dado. Pero teniendo lo que teníamos hasta ahora, pudimos sustituir de la contraseña: `Pr_n_e_s_sy____sh`. Con ayuda de la IA sacamos que sería «princess as you wish» (frase que se repite mucho en la peli). Probamos «Princessasyouwish» y no era, pero claro, no podía ser, porque las letras que faltarían ya tenían su contrapartida de la clave, y ya se habrían sustituido.

Pensando (en parte) que las equivalencias serían simétricas, salió la idea de que el tercer carácter de la clave («y») correspondería a un «1» (para la «i» de «Princess»). Y aunque no son simétricas, sí nos dio la idea para probar lenguaje leet en las letras que faltaban (además de que la contraseña de otros retos también eran en leet) [¡Y por pura suerte, realmente luego vimos que «y» sí que correspondía a «1»!] Por lo tanto, para los 8 caracteres que faltaban, estas eran las opciones:

Pr_n_e_s_sy____sh
  1 c S A  Ouw1
    C   4  0UW

[la «i», «I», «s», «a» y «o» no podían ser porque ya estaban en la tabla de equivalencias»]

Así que solo tenemos 32 posibles contraseñas, que decidimos probar a mano (generándolas con 5 bucles anidados):

Pr1nceSsAsyOuw1sh
Pr1nceSsAsyOuW1sh
Pr1nceSsAsyOUw1sh
Pr1nceSsAsyOUW1sh
Pr1nceSsAsy0uw1sh
Pr1nceSsAsy0uW1sh
Pr1nceSsAsy0Uw1sh
Pr1nceSsAsy0UW1sh
Pr1nceSs4syOuw1sh
Pr1nceSs4syOuW1sh
Pr1nceSs4syOUw1sh
Pr1nceSs4syOUW1sh
Pr1nceSs4sy0uw1sh
Pr1nceSs4sy0uW1sh
Pr1nceSs4sy0Uw1sh
Pr1nceSs4sy0UW1sh
Pr1nCeSsAsyOuw1sh
Pr1nCeSsAsyOuW1sh
Pr1nCeSsAsyOUw1sh
Pr1nCeSsAsyOUW1sh
Pr1nCeSsAsy0uw1sh
Pr1nCeSsAsy0uW1sh
Pr1nCeSsAsy0Uw1sh  

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\ #%$$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