Bytecode on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/tags/bytecode/Recent content in Bytecode on 兜忆轩 | Cedric's Compiler Notes兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usMon, 19 Oct 2026 12:46:00 +0800034 · AI 写的证明通过了，信任消失了吗？https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-19/Mon, 19 Oct 2026 12:46:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-19/Blanc 直接验证已部署的 EVM 字节码，让 AI 参与写证明，由 Lean 内核检查。值得追问的是：不再信任证明生成者以后，哪些判断仍留在证明之外？