Tags: preimage crypto z3

Rating:

phash function reversed and analyzed using z3
key2 reversible on random key1 on roughly 1 in 500
bruteforcing partial function i.e. on key1 to solve on key2 using z3 model

writeup is an attempt to explain some z3 concepts :)

Original writeup (https://deut-erium.github.io/WriteUps/2022/cyber_apocalypse/crypto/memory_acceleration/2022-05-21-HTB-Cyber-Apcalypse-2022-Memory-Acceleration).