PROVIDENCE：一种灵活的分轮风险限制审计
密码学与安全
2022-10-18 v1
摘要
风险限制审计（RLA）是一种具有严格错误保证的统计选票计票审计。我们提出选票轮询 RLA PROVIDENCE，一种兼具 MINERVA 效率与 BRAVO 灵活性的审计。我们证明，在能够依据已知先前样本选择后续轮次规模的对手存在时，PROVIDENCE 仍是风险限制的。我们描述了一种将审计工作负载表示为轮次数、涉及选区数与抽取选票数函数的度量。我们量化了轮次过小时获得误导性审计样本的问题，论证了由此产生的审计规划约束的重要性。我们给出仿真结果，利用这些度量证明了 PROVIDENCE 的优越性并描述了一种规划审计轮次安排的方法。我们介绍了罗德岛选举委员会在 2021 年选举计票审计中对 PROVIDENCE 的使用。我们在开源 R2B2 库中对 PROVIDENCE 及审计规划工具的实现，应对佐治亚州与宾夕法尼亚州有所助益，两州正为 2022 年大选规划认证前选票轮询 RLA。
引用
@article{arxiv.2210.08717,
title = {PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit},
author = {Oliver Broadrick and Poorvi L. Vora and Filip Zagórski},
journal= {arXiv preprint arXiv:2210.08717},
year = {2022}
}