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