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