Mike Rosulek

The Joy of Cryptography is now available for free online, in its entirety. joyofcryptography.com

Thanks to @mitpress for supporting open access.

In my dream last night, Shafi Goldwasser was giving a talk about some zero-knowledge thing, and then she erased the whiteboard using a cat.

I've been working on a tool to help humans write and understand game-hopping security proofs. It's just for "pen-and-paper" reasoning, not a formal verification tool. 1/3

My first experiment with LLM-assisted coding: an editor for writing sequence of hybrids. There is no formal verification; it's just display logic for "pen and paper" security proofs, meant to help the author reason about the sequence of hybrids "horizontally" and "vertically".

In Timberborn 1.0 you can configure a sluice to open if the beavers find a SHA-3 collision. Stay tuned here for updates.