Woops, Another Proof Framework
Update: 2023-05-10
Description
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
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
