密码学教授用 AI 打造单向函数交互实验室,可写安全归约与攻击
jedisct1 · x · 2026-09-21
密码学研究者 Chris Peikert 借助 AI 为其课程做了一个「单向函数变换实验室」:用户可以交互式地为多种自然函数变换书写安全证明(归约+分析)与攻击,包括正确的和错误的版本。这是一个把 LLM 辅助教学与密码学训练结合的交互式实验项目,已上线网页供人使用。
「编程与Agent」频道最新
- jev-skill-suggester:用前置技能路由解决 Agent 调错工具问题 — udmrzn · 2026-09-21
- OpenClaw 推出 FaceTime 插件:你的 agent 能主动打电话给你 — steipete · 2026-09-21
- 花 3 天逆向 Instinct 记忆机制：极简设计，60 行代码可复刻 — julianweisser · 2026-09-21
- 实测 3 周日志:40% 编码 Agent 输入是无效开销 — Lucky-Group9525 · 2026-09-21
- Humanizer Academic 更新：一个文件去掉医学论文的 AI 味 — udmrzn · 2026-09-21
- 不重训模型：用下一 token 评分把开源 LLM 变本地决策引擎 — udmrzn · 2026-09-21