掷骰子但不要切片：优化 ONEAudit 效率
统计方法学
2025-08-20 v2
摘要
ONEAudit 在投票系统无法报告与每张选票卡对应的投票记录时，比其他现有方法提供更高效的风险限制性审计。该方法无需重新扫描，比'混合'审计更简单且更高效，也比批次级比较审计高效得多。通过调整其使用的统计检验或采用分层抽样，可进一步提高 ONEAudit 的效率。我们表明，通过针对报告的批次级计数值进行优化或对分布进行积分，可将预期工作量在多种模拟选举中降低70%-85%。改进后的检验方法可将2024年旧金山市长选举的审计工作量减半——从约200张选票卡降至约100张。相比之下，分层抽样并未提供帮助：平均而言，工作量增加约25%。
引用
@article{arxiv.2507.22179,
title = {Dice, but don't slice: Optimizing the efficiency of ONEAudit},
author = {Jacob V Spertus and Amanda K Glazer and Philip B Stark},
journal= {arXiv preprint arXiv:2507.22179},
year = {2025}
}
备注
16 pages, 3 tables, accepted to E-Vote ID 2025