May 10 • 31M

Woops, Another Proof Framework

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

 
1×
0:00
-31:03
Open in playerListen on);
    Substack App
    Download MP3
    Get a private RSS link for listening
    Subscribe to CK's Cold Dive to get a private link for listening in your favorite podcast player. Learn about RSS.

Appears in this episode

cronokirby
Musings about cryptography, software, and technology
Episode details
Comments

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

Share