Woops, Another Proof Framework CK's Cold Dive

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