`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 :)

[writeup link](https://deut-erium.github.io/WriteUps/2022/cyber_apocalypse/crypto/memory_acceleration/2022-05-21-HTB-Cyber-Apcalypse-2022-Memory-Acceleration)
[github link](https://github.com/deut-erium/WriteUps/blob/master/_posts/2022/cyber_apocalypse/crypto/memory_acceleration/2022-05-21-HTB-Cyber-Apcalypse-2022-Memory-Acceleration.md)

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