Crypto professor builds an AI-assisted one-way function transform lab for interactive security proofs
jedisct1 · x · 2026-09-21
Cryptography researcher Chris Peikert built a "one-way function transform lab" with AI help for his class: an interactive site where you write security proofs (reductions + analysis) and attacks — both correct and deliberately wrong — for a variety of natural function transforms. A hands-on experiment blending LLM-assisted tooling with crypto pedagogy, now live on the web.
More from coding & agent
- jev-skill-suggester: a lightweight pre-execution skill router stops agents picking wrong tools — udmrzn · 2026-09-21
- OpenClaw adds FaceTime: your agent can now call you, and answer your calls — steipete · 2026-09-21
- Reverse-engineering Instinct's memory: beautifully simple, replicable in 60 lines — julianweisser · 2026-09-21
- 3 Weeks of Logs Show 40% of Messages to Coding Agents Are Overhead — Lucky-Group9525 · 2026-09-21
- Humanizer Academic: a one-file skill that de-AI-fies academic medical papers — udmrzn · 2026-09-21
- Build a 100% local decision engine from an open-source LLM, no retraining needed — udmrzn · 2026-09-21