[0CTF] One Time Pad by Z3

This challenge can be solved by two ways, mathematically or using SMT Solver Intially, I want to remind you that there is a blog post written carefully how to solve it in mathematical way. So please read it first. One Time Pad 1 Now let take a look at the…