In this week’s episode, Anna chats with Alex Ozdemir, a PhD student at Stanford researching formal methods, cryptography and distributed systems. They take a bird’s eye view of the current landscape of zk languages and libraries, looking at the history and current state-of-the-art of circuit-building tools.