Played with Redbud and got third place. The challenges are really difficult and out of my distribution. I solved PRFCasino, LinearCasino, OhMyDH, softHash and hashgame and here’s the writeup.
I played as Twilight Light and solved 3.5 crypto challenges. The crypto is very hard and I can’t fully understand why everything works. So this writeup will mainly focus on how I found these properties heuristically.