March 17th, 2021 • 59 mins 51 secs • Download (41.1 MB) • Link with Timestamp
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.