Coffee Hash — Z3 Cyclic Hash Constraint Solving
Model a cyclic windowed hash as a system of linear equations over integer variables and solve it with Z3 to recover the flag.
Model a cyclic windowed hash as a system of linear equations over integer variables and solve it with Z3 to recover the flag.