Original writeup (https://chovid99.github.io/posts/tcp1p-ctf-2023/#digital-circuit).