质疑「防御占优」:防御者守整面墙,攻击者只需一块松砖

___Atin___ · x · 2026-10-26

Atin 回应 voooooogel 的「软件模拟防御」观点:模拟测试成立的前提是防御方模型能力和 harness 与攻击者同等强;一代模型可以花大钱跑百万次模拟,但更强的一代模型仍可能击穿——防御者要守住整面墙,攻击者只需找到一块松砖。

他对形式化验证方向表示认同,但认为落地还很远:目前他的软件栈中经过验证的代码是 0%,短期内也不见得会改变。