← 所有漏洞
🔍 检查结果（审计）
无法实际改变结果的审计
审计应该能抓住计数错误。但在许多地方，审计只是"信息性的"——即使它发现机器出错了，也无法推翻已经认证的结果。
▶
说明视频即将推出
60 秒的平实语言演示，讲解此漏洞。
实际发生了什么
密歇根州是一个明确的、有成文法的例子：根据其选举法，选后审计"不是重新计票，也不改变任何已认证的选举结果"——它是信息性的，没有将审计结果转化为实际纠正结果的法定途径。（许多州的审计同样缺乏约束力。）
当前状况
这是现行法律，不是历史。在审计无法约束结果的地方，纸质记录和审计成了一种安心活动，而不是真正的检查。上图统计的是当今的法规。
检查数学，但总数已经锁定
想象一下，在仔细检查一份重要账单时发现了一个错误——却被告知无论你发现了什么，总数都是最终的。这就是无约束力的审计：它会进行，甚至可能发现机器计数有误，但它无权改变已经认证的结果。
为什么这很重要
纸质记录和审计只有在与机器计数不一致时采取行动，才能真正发挥作用。密歇根州的法律明确规定，其选后审计"不是重新计票，也不改变任何已认证的选举结果"，许多州的审计同样只是信息性的。因此，即使审计发现了问题，错误的结果仍然可能保持不变。
TrustVoting 如何解决这个问题
TrustVoting 的风险限制审计就绪纸质记录设计使得任何差异都会升级——进行更广泛的计票，如果结果有误则进行更正——而不是被记录后忽视。无法改变结果的审计不是真正的审计。
TrustVoting 如何消除它
TrustVoting 的风险限制审计就绪纸质记录设计使得审计发现差异时会升级——进行更广泛的计票，必要时进行更正——而不是被归档为备注。无法改变错误结果的审计不是真正的检查。