Topics: * Why I think the subfield of cryptographic proofs is interesting and worthwhile * Why I keep coming back and thinking about it * Why you want machines to check proofs (eventually) * Some ideas for a new graphical proof language for protocols If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe: If you want even more updates, feel free to check out my blog, and you can even follow me on Twitter. (Or on Bluesky). This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit cronokirby.substack.com Rss Apple Podcaster →
