安全研究者@diagramchaser：形式验证应做到麦克斯韦方程层，而非止步汇编

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