yasl-lang reversing, you had to solve a series of expressions. I wrote a symbolic executor in z3: [https://ctf.harrisongreen.me/2020/poseidonctf/vm/](https://ctf.harrisongreen.me/2020/poseidonctf/vm/)