| CrackmesForBeginners (CFB) #5 |
Nice crackme. Used i traced the comparison block in the main function to extract all 8 bytes (0x1b, 0x13, 0x01, 0x20, 0xd0, 0x44, 0x07, 0x11), then used a Z3 SMT solver to invert the 4 generation GoL transition with an ASCII constraint. Anyone wanting to do the same should note the bit ordering: password char i maps to row i of the grid, with bit j = column j (LSB = col 0), and all grid cells live on a wrapping (toroidal) boundary! |
2026-06-11 01:03 |