結果の入れ替わりを見落とす可能性のある弱い監査
紙投票用紙のチェックが法律で必須であっても、毎回ごく小さな固定割合だけを再集計するような弱い方法では、接戦の結果の誤りを容易に見落とす可能性があります。より賢い方法は、確実であるために必要な数だけの投票用紙をチェックします。
解説動画は近日公開予定
このギャップを 60 秒で、わかりやすく説明する動画です。
実際に何が起きたか
統計学者 Philip Stark は「リスク制限監査」(RLA)を導入しました。固定割合ではなく、報告された勝者が本当に勝利したことを統計的に信頼できるレベルに達するために、十分な数のランダムに選ばれた紙投票用紙を手集計します。接戦の場合はより多くの投票用紙をチェックし、圧倒的な勝利の場合は少なくします。固定的な1～3%の再集計にはそのような保証がありません。
毎回同じ少数だけ
巨大な瓶に入ったビー玉の中から色違いのビー玉を数個探すために、瓶の大きさに関わらず毎回同じ少数のビー玉だけを取り出すと想像してください。色違いのビー玉がほんの数個だけなら、見落とす可能性が高いでしょう。
それが固定割合の再集計（例えば、投票用紙の1～3%）です。チェックのように見えますが、接戦の場合、わずかな差で結果が変わるのを確実に検出できる保証がありません。
実際に何かを保証する方法
リスク制限監査は、ランダムに選ばれた紙投票用紙を十分な数だけ計数し、統計的信頼度を定義して報告された勝者が本当に勝利したことを確認します。接戦の場合はより多くの投票用紙をチェックし、圧倒的多数の場合はより少ないチェックを行います。これが「いくつか確認した」と「正しいことが確信できる」の違いです。
TrustVotingはどのように対処するか
投票者確認済みの紙とバロット レベルのレコードは、リスク制限監査をサポートするために構築されているため、チェックの強度は選挙の接戦度に応じてスケーリングされます。
TrustVoting がこれをどう解決するか
TrustVotingの投票者確認済みの紙とバロット レベルのレコードは、リスク制限監査をサポートするために構築されているため、チェックは選挙の接戦度にスケーリングされ、真の統計的信頼を達成します。