May 10 • 31M

Woops, Another Proof Framework

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

Open in playerListen on);

Appears in this episode

Musings about cryptography, software, and technology
Episode details


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