安全研究者称形式验证应下沉至物理层

2026年10月25日，安全研究者 @diagramchaser 提出，形式验证不应止步于汇编层，而应一路下沉到麦克斯韦方程组的物理层面；他称汇编只是通往该目标途中近乎通用的中间表示（IR）。报道指出，这折射出安全研究界对验证深度的分歧：多数工作停留在软件/汇编层面，而彻底的硬件级验证需触及物理定律本身。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。