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).