選挙当日前にソフトウェアをロックするものは何もない
投票ソフトウェアが数週間前にチェックされた場合でも、ほとんどの場所では、選挙当日に機械が同じくチェックされたバージョンを実行していることを証明することを強制するものは何もありません。そのため、ラストミニッツに静かにスワップされる可能性があります。
解説動画は近日公開予定
このギャップを 60 秒で、わかりやすく説明する動画です。
実際に何が起きたか
Washington, D.C. が 2010 年にインターネット投票用紙返送システムの公開テストを実施したとき、University of Michigan の J. Alex Halderman チームは 36 時間以内にサーバーをほぼ完全に制御でき、投票を変更することができ、パイロットは中止されました。ある時点で「レビュー済み」であるシステムは、実際に実行されると非常に異なる動作をする可能性があることをはっきり思い出させます。
今日の状況
この 2010 年のインターネット投票パイロットは現在使用されているシステムではなく、原則の実例です。現在のものは隙間そのものです：ほとんどの管轄区域は今でも、選挙当日に機械がレビューされたのと同じソフトウェアを実行していることを証明することを要求していません。これが上の図が現在の法律で測定しているものです。
一度チェックしただけでは選挙当日にはチェックされない
シェフのキッチンが月曜日に検査に合格したとしましょう。その後、土曜日にあなたの夕食を調理する前に誰も再度確認しません。検査は本物でしたが、その間に何が起こったかは分かりません。
投票ソフトウェアはしばしばこのようなものです。選挙前に検査され承認される場合があります。しかし、ほとんどの場所では、選挙当日に機械が承認されたバージョンを正確に実行していることを証明することを強制する何もありません。 「レビュー済み」から「実行中」までの間隔は無防備なままです。
なぜそれが重要なのか
その隙間は、ラストミニッツのスワップが隠れられる場所です。修正は 事前選挙約束 です：承認されたソフトウェアの暗号的フィンガープリントを事前に公開し、機械が起動時に一致する必要があります。
TrustVoting がどのように修正するか
各機械は起動時に、フィンガープリント化され承認されたビルドを正確に実行していることを証明します。その証明は公開されているため、誰もが選挙当日のソフトウェアがレビューされたソフトウェアであることを確認できます。
TrustVoting がこれをどう解決するか
TrustVoting は承認されたソフトウェアを暗号的にフィンガープリント化し、選挙当日の起動時に機械がそのバージョンを正確に実行していることを証明することを要求します。これは誰もがチェックできる公開された事前選挙約束です。