花六個月做工具再審計：Trail of Bits 的 AI 用法 Security auditing in the age of (good enough) AI

📝 本集重點：• 然後他們用 abstract interpretation 來做。這個技巧的精神是：不用真實數字跑程式，而是追蹤每一步 stack 上「可能是什麼型別的值」，像「一個 32 位元整數」或者「不知道」，反覆走到沒有新資訊為止。因為它保守地涵蓋...• 開發流程也講了：Claude 負責規劃和開發，Codex 負責 code review，兩邊輪著來。每加一個功能，就讓 agent 隨機抽一批 procedure 反編譯、跟原始 MASM 比對找 regression，找到的問題變成 re...• 文章配了張圖，左邊是 MASM 算兩個 128 位元值的 XOR，右邊是同一件事用 x86 寫。x86 你至少看得到 register 名字，MASM 你看到的是一堆 stack 操作。要在腦袋裡同時維護一個虛擬 stack 去追 data...• 他們接了 Miden VM 的審計，一個全新的零知識 VM，有自己的組合語言 MASM，開發工具幾乎是零。然後他們花了六個月，讓 agent 從零寫出 LSP server、反編譯器、靜態分析引擎，還有一個用 Lean 寫的 VM exec..

🔗 來源：https://news.ycombinator.com/item?id=49793957