CK's Cold Dive
CK's Cold Dive
Woops, Another Proof Framework

Woops, Another Proof Framework

In which I ramble about the importance of proof frameworks and some ideas on improving protocol proofs


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

CK's Cold Dive
CK's Cold Dive
Musings about cryptography, software, and technology
Listen on
Substack App
RSS Feed
Email mobile setup link
Appears in episode