ClipAudit：一种简单的风险限制选后审计

我们提出一种用于选举的简单风险限制审计，ClipAudit。为确定在多数制选举中候选人 A（公布的获胜者）是否确实击败了候选人 B，ClipAudit 无放回地随机抽选选票，直到抽完所有已投选票，或者直到 $$a - b \ge \beta \sqrt{a+b}$$ 其中 $a$ 是样本中支持公布的获胜者 A 的选票数，$b$ 是样本中支持对手 B 的选票数，且 $\beta$ 是作为已投选票数 $n$ 与风险限制 $\alpha$ 的函数预先确定的常数。ClipAudit 不依赖于非官方差额（不同于 Bravo）。我们展示了如何将 ClipAudit 扩展到具有多个获胜者或失败者的竞选，或扩展到多场竞选。