机器说「检查通过」，谁能独立核对？

一份正确的程序，一台正在使用的机器

假设两方都审过源代码，选举日机器旁也贴了正确的校验值。Tom Scott 让问题具体了一步：如果由机器自己读出正在运行的程序、计算散列、再把结果显示给选民，谁能分辨它真的读了一遍，还是直接显示了贴纸上的字符串？Andrew Huang把同一个问题推进到制造环节。设计文件和交到买家手里的芯片是两个对象。审过前者很有价值，但要把这个结论用于后者，买家还缺一次可行的实物检验。

取下闪存，为什么检查看不出改动？

Hudson 的装置插在闪存和读取方之间。把芯片取下单独读，读到的可以完全正确。装回去时，那段数据经过了另一条路。Rutkowska 从另一端追问：若主板本身在威胁模型里，从本机启动一个小系统去问固件「你是什么」，答复仍然经过可疑的主板。画图时把检查探针实际接在哪里标出来。两次读取看起来都在查固件，却可能根本没探到同一处。演示证明这种路径可行，Hudson 明确保留了现实中那宗新闻指控是否属实的问题。

重装系统，从第几步开始？

把磁盘清干净，重新安装系统，能排除硬盘上遗留的程序。Rutkowska 要求再画一张表，标出机器上所有能跨重启保存状态的位置。AMD 研究组给出了具体的先后顺序：在他们测试的平台上，安全处理器比 x86 核心更早执行代码。依赖后续系统给早期启动阶段作证，需要说明依据。这个演示还有一个实践边界：团队动手需要物理接触。读者评估自己的机器时，要先写出谁有这种接触机会。

同一笔付款，两份不同的成功记录

Anderson 演示的中间设备向终端表示卡已经接受 PIN，同时向卡表示这是签名交易。事后只留一张「交易成功」的收据，会漏掉两端究竟同意了什么。把审计记录拆成两句完整的话：谁确认了哪个金额，用了哪种验证方式？若两句里的交易条件不同，即使两个设备都正常走到结束，也拼不出持卡人授权的同一笔付款。

一个签名能替谁同意？

Olson 讲述一种尴尬的转账：受骗者确实动用了自己的密钥，链也按规则接受了交易。发现被骗后，他还可以请交易平台下架那枚代币。把操作写成两行，一行是「转移登记」，另一行是「允许挂牌」；执行者和能拿来申诉的证据都变了。要在产品上写「所有权已验证」，先问读者会按哪一行来理解。

报对号码，证明了哪一项？

Grey 指出社会保障号码可以帮助机构找对记录，同时又经常被当成身份凭据。想象同事递给你一张写有号码的表单：你找到了记录，但还没有得到独立证据，说明对方就是记录的主人。与 Olson 讲的代币转移对照，一个系统可以准确执行它定义的检查；下一位使用者需要知道，这个检查究竟核对了号码、签名，还是本人的授权。

温控器应该看烤箱，还是看面包？

第二片面包下去时烤面包机可能已经很热。固定计时器只数秒，照向面包表面的恒温器却可随食材状态改变结束时刻。感雨器也不是把传感器伸到雨里，而是监测挡风玻璃处的光学变化。检查两个设计时都要问：在哪些条件下，即使传感器有读数，这个数也可能偏离真正关心的状态？

一张漂亮照片、一份匹配报告，谁还能重做核对？

克隆研究的回顾列举当年论文声称的卵细胞数量和细胞系数量。发布照片和公开展示容易复制传播，细胞系对应到哪一位供者却要从原始材料验证。Galef 讲笔迹调查时，替代样本的出现直接改变了比较对象。为一个匹配结果设计核验时，至少保留两样东西：独立可取的原始对象，以及能与最初解释竞争的另一种匹配。

看见了启动标志，究竟查过了什么？

Steil 解释，Game Boy 开机时显示的标志取自卡带；机器还会比较那段图案。于是一个看起来只是品牌展示的画面，背后有一个具体的输入检查。把它与 Abagnale 在演讲里讲述的飞行员制服对照：人可以认出衣着，供应商还可以索要员工编号。下一步都要追问匹配的依据来自哪里。能复现图案、能填写编号、能得到独立系统的确认，是三个不同的条件。这里引用的是 Abagnale 的讲述，未将其当作航空公司留存的事件记录。

要独立检查计算机，探针能接到哪里？

前面的固件例子要求找出检查信号经过哪条路径。阿波罗计算机的修复把这个问题变成了实际操作：这台开发机的大部分模块没有灌封，团队可以用电路图定位引脚，切换输入，再看每个 NOR 门是否给出预期输出。若外围连线让某个门难以单独驱动，就直接测量中间状态。这里多出来的证据是可触及的物理信号，而非机器自己显示的一句「正常」。但检查范围也必须写清：一块模块里的门都能翻转，并不等于存储器、接口和整套任务软件已经一起通过验证。灌封的内存正好提醒我们，检查的边界有时由封装决定。

信任贡献者，能替代检查变更吗？

独立检查不仅需要能接触到机器，也取决于谁还会认真看变更。Kamp 的演讲用一个明确虚构的情境指出：长期提交有用补丁的人可能逐渐获得直接提交权限，而其他人因为熟悉他而少做检查。这里值得借用的是这个失效路径，不是把讽刺演讲中的组织或行动代号当成事实。与前面的硬件探测对照，两个条件缺一不可：系统要提供可观察的证据，团队也要保留实际检查证据的过程。它提醒我们，在阅读审计报告时，除了问「有没有检查机制」，还应问「哪些变更实际经过了检查」。这并不意味着每个贡献者都不可信，更不证明某个真实项目已经遭到渗透。

用来判断对错的工具，也可能继承同一个错误

Domas 没有先把反汇编结果当成处理器行为，而是让处理器执行候选输入，观察解码长度和异常，再与反汇编器比较。这让两种证据有机会互相冲突。但冲突还不等于找到硬件错误：他发现作为「标准答案」代理的反汇编器本身就有 bug，有些误解还出现在多个工具里。这个例子给独立检查加了一条要求：除了数有几个检查器，还要追踪它们的判断依据是否真正不同。同一份文档或同一个架构假设衍生出来的多个输出，并不是自动获得了多份独立证明。演讲提供的是一种发现差异的方法，解释差异仍需要结合具体芯片、运行环境与人工分析。

把核对交给另一台机器，谁来选它？

Tom Scott 在电子投票讲解里同时追问选票匿名与公众能否信任计票。把校验交给另一套软件以后，仍要解释观察者凭什么相信它。Moxie Marlinspike 在 2011 年的证书演讲里提出由使用者选择见证节点，同时指出正常站点也可能在不同网络路径上返回不同证书。

投票和证书的目标不同。把它们放在一起，可以检查验证的两个前提：谁有权选验证者，验证者看到差异时又能得出什么结论？

换了中间人，谁能看到数据，谁能核对记录？

Tom Scott 说，把流量交给 VPN 转发，会改变谁能看到连接元数据。他用不留日志的承诺追问，消费者能从外部核实多少。Mickens 从另一头看记录系统。他举出写入者少且已知的场景，提出可用签名核对一条记录来自哪里。对一份由服务商保管的记录，先写下谁有机会看到或写入它，再问其他人手里有什么能独立核对。签名可以为记录来源提供依据，完整性和现实中的真伪还需要各自的证据。

能核对总票数，需要同时核对某个人的票吗？

James D’Angelo 的历史评论提出一种施压机制：如果第三方能核实某人怎么投票，就能检查对方是否照办。Tom Scott 的电子投票讲解则把选票匿名和公众对计票的信任列成两个需要同时满足的要求。

可以用这两个问题检查一种投票设计。公众能观察哪些步骤来核对总数？单个投票人又能向第三方证明什么？两个答案会影响问责与施压分别能走到哪一步。