RLAs
Risk-limiting audits (RLAs) are post-election procedures that provide statistical evidence that a reported election outcome is correct, with a pre-specified maximum probability that an incorrect outcome is certified, known as the risk limit. When implemented, RLAs can confirm results with far fewer ballots than a full hand recount, while preserving transparency and verifiability. Originating from statistical audit theory and election integrity initiatives, RLAs have been developed to handle various voting systems and ballot formats.
There are two primary families of RLAs. Ballot-level comparison audits compare each scanned ballot or ballot
Core steps include: selecting a target risk limit; defining the scope and hypotheses; choosing a sampling plan;
Advantages of RLAs include formal guarantees of correctness, efficiency relative to full recounts, and improved public