← すべての記事2026年8月9日

インドは投票機を保持した — しかし紙による確認を厳しくした。なぜか？

インドの最高裁判所は投票機廃止の要求を拒否した — その直後、より強力な紙製シールと独立した抜き取り検査を命じた。この緊張関係は、「信頼」が実際に何を必要とするのかについてすべてを物語っている。

2024年4月26日の朝、ニューデリーのどこかにあるインドの最高裁判所の2人の判事で構成される法廷が、102ページの請願書を読み終えたばかりだ。その請願書は、劇的なことを要求していた。つまり、同国全体の電子投票システムを廃止するか、少なくともすべての投票機によって生成されたあらゆる紙製スリップを手作業で数えることを要求するものだった。

請願人たち — 民主的改革協会およびその他の団体 — は陰謀論者ではなかった。彼らは本物の構造的な問題を指摘していた。約9億7000万人の有権者を持つ大陸的規模の国での選挙において、市民が独立して検証できる電子計数はどの程度か、という問題だ。

裁判所は両方の要求を拒否した。

そしてその直後、より強力な紙製シール、必須の安全な保管、および紙の証跡に関連した新しい紛争検証メカニズムを命じた。

その組み合わせ — 機械を認める、紙による確認を厳しくする — は時間をかけて検討する価値がある。なぜなら、それはコンピュータで選挙を実施しようとしたあらゆる民主主義に通用する議論を含んでいるからだ。

インドの機械が実際に何をするのか、そして裁判所が実際に何を言ったのか

インドの電子投票機（EVM）はスタンドアロンの非ネットワーク接続デバイスである。インターネットに接続されていない。商業的なオペレーティングソフトウェアを実行していない。インド選挙委員会は、それらを目的別に設計された改ざん耐性ユニットと説明している。2013年以来、このシステムは投票者検証可能紙監査証跡（VVPAT）と組み合わされてきた — ガラス窓の後ろの小型プリンターで、7秒間、機械が記録した政党シンボルと候補者名を示す紙製スリップを表示する。スリップは投票者が触れることができない密閉箱に落ちる。

Association for Democratic Reforms v. Election Commission of India（2024 INSC 341、2024年4月26日判決）において、インド最高裁判所は紙投票用紙への復帰またはVVPATスリップの100%手作業計数の命令を拒否した。既存の体制 — 各選挙区の無作為に選ばれた5つの投票所でのVVPATスリップの強制手作業検証 — は存続した。

しかし、裁判所は単に「選挙委員会を信頼する」と言ったわけではない。具体的な指示を発行した：

シンボル読み込みユニット（SLU）— 選挙前にEVMに候補者と政党のシンボルを読み込むために使用されるデバイス — 必ず密閉され、安全に保管されるべきであり、結果が発表された後の最低45日間保管される。
紛争の場合に、候補者は手数料を支払った上で、選挙区内のEVMの5%の焼損メモリマイクロコントローラーの検証を要求することができる。

これら2つの指示をよく読んでください。裁判所は機械は大丈夫である、われわれを信頼しろと言っていたのではない。次のことを言っていたのだ：投票前に機械に触れるデバイスを密閉し、その後チェック用に利用可能にしておき、落選した候補者に物理的なハードウェア証拠に対して計数に異議を唱えるメカニズムを与えよ。

電子システムを支持した判決でさえ、不安な瞬間のあらゆるところで、独立した紙およびハードウェア基盤のチェック可能性の論理に傾いていた。

それが議論だ。インドの議論ではない — すべての人の議論だ。

あらゆる国のあらゆる裁判所が最終的に到達する問題

2009年3月、カールスルーエのドイツの8人の判事が、現在は核心原則の最も明確な司法声明である結論に達した。2005年の連邦議会選挙でNedap投票コンピュータの使用をレビューしたドイツ連邦憲法裁判所は、電子投票は**「投票と結果決定の本質的なステップが市民によって確実に、そして専門的知識がなく検査できる場合にのみ合法である」**と判示した。

認定された専門家によってではない。選挙当局によってではない。市民によってだ。

機械は電子メモリにのみ投票を保存し、投票者が確認できる独立して検証可能な記録がなかった。それはテストに失敗した。連邦投票機令は違憲であると判断された。

2024年のインドの最高裁判所は、より大きな規模で、異なる機械アーキテクチャで、同じ問題と格闘し、異なるボトムラインに達していた — しかし、両方の方向で保持していたことに注意してください：投票者が箱に落ちるのを見る紙製スリップ、および紛争のある選挙区が現在検査を要求できるハードウェア記録。裁判所は機械を信頼することと機械をチェックする何かを持つことの間に線を引いた。

その線はインドの発明ではない。それはあらゆる真摯な国家裁判所が最終的に要求してきた削減不可能な最小限度だ。

チェックするものが何もない場合に何が起こるか

2006年のフロリダ州サラソタ郡の事件は、紙の証跡がなく、実際に何がコストをもたらすのかについて、依然として最も明確な単一の例である。フロリダの第13議会地区の約18,000投票用紙は、その競争で記録された選択肢を示さなかった — ペーパーレスのES&S iVotronic タッチスクリーン機械で13%の未投票率だ。その競争は369票の差で決着した。GAOはシステムをテストしたが、機械の不具合を特定できなかったが、投票者検証可能紙の証跡はタッチスクリーンが投票を正しく記録したことを独立して確認できたであろうことを指摘した。

再計数するものは何もなかった。箱に入ったスリップはない。投票者が生成されるのを見ていた物理的なアーティファクトはない。機械はそれが言ったことを言った、そしてそれを尋問する独立した層がなかった。

チェック可能な痕跡を残さない機械は計数システムではない。それは宣言だ。

インドのVVPAT体制は、それがどうであれ、その結果の構造的な拒否である。紙製スリップが存在する。最高裁判所が裁定していた問題は、紙の証跡を持つかどうかではなく、どのくらいの量を手作業で検証する必要があるのか、そしてどのような条件下でその下のハードウェアを検査できるのかという問題だった。

これは議論する価値のある本物の議論だ。それはすべてをチェックするかどうかについての同じ議論ではない。

5つの投票所のサンプルが快適な回答ではなく、本物の緊張である理由

裁判所は、各選挙区の5つの無作為に選ばれた投票所でVVPATスリップを手作業で数えるという要件を保持した。インドには数千の選挙区がある。サンプルは小さい。

判決の批評家たち — そして裁判所の前の請願人たち — は、小さなランダムサンプルが接近した結果を認定するために必要な統計的信頼を提供できないと主張した。これは周辺的なものではなく、合法的な技術的異議である。

コロラド州のアプローチを比較してみてください。2017年に、コロラド州は州全体のリスク制限監査を完了した最初の米国州となった。これは、その手作業チェックサンプルの大きさをレースの接近度に合わせるメソッドである。大勝利は確認するために小さなサンプルを必要とする。競争の激しい競争には、手で検査された多くの投票用紙が必要である。RLAは定義された統計的信頼を提供する。固定の5駅サンプルはそうではなく、競争の激しいレースでは、数学が重要だ。

インドの裁判所の答えは、5駅が最適であるということではない。その答えは、紛争解決のアーキテクチャ — 密閉されたSLU、45日間保管、マイクロコントローラー検証はリクエストで利用可能 — は、5駅サンプルだけでは提供しない異なるチェックの層を提供するということだ。

その層が十分であるかどうかは、判決が完全に解決しない技術的な問題である。その未解決の問題は、この作品の議論の欠陥ではない — それは判決に緊張をもたらす問題だ。

裁判所は機械を支持した。ハードウェアレベルの紛争チェックを追加した。接近したレースでの統計的信頼の数学的保証を提供しなかった。これら3つのことは同時に真実である。そしてあなたにそのうち1つだけを伝える誰もが、快適な話をあなたに伝えている。

より深い問題：「検証される」ことが7秒間のウィンドウで実際に何を意味するのか

ここに裁判所の判決が本物を残す部分がある、そしてそれは率直に名前を付ける価値がある。

VVPATスリップはガラス窓の後ろに7秒間表示される。投票者はそれを見る。その後、密閉箱に落ちる。

投票者が検証したことは、スリップが正しく印刷されたということだ。その機械がそのスリップを正しく集計したかどうかは検証しなかった。スリップは、抽出された駅でのみ手作業で計数される密閉箱に入る。

米国では、アトランタの連邦裁判所は2020年に構造的に類似した観察をした。Curling v. Raffenspergerで、ジョージア州のDominion投票機デバイスをレビューして、裁判所はシステムが「検証可能で監査可能な投票記録を提供しない。なぜなら、計数にQRコードに依存し、そのコード自体は投票者によって読んで検証できないからだ」と判断した。紙の印刷物が存在した。計数アーティファクト — QRコード — は人間が読めるものではなかった。

インドの状況はアーキテクチャが異なる。VVPATスリップは人間が読める、そして集計はバーコードにエンコードされるのではなく、EVM自体で行われる。しかし、構造的な質問は同じだ：投票者が検証するアーティファクトと計数を決定するアーティファクトは同じアーティファクトでなければならず、それらの間の接続は独立して確認可能でなければならない。

インドの裁判所の新しいマイクロコントローラー検証メカニズムは、紛争のある場合にその接続をチェック可能にする方向への一歩である。それは、すべての市民が当然として利用可能な一般的な公開検証メカニズムではない。

その隙間 — 裁判所が救済措置として命じることができる間と、システムがデフォルトとして提供すべき間 — は、本当の設計議論が存在する場所である。

検証可能性のために構築されたシステムはどのように見えるか

インドの判決、ドイツの憲法基準、およびオランダ政府の2007年委員会報告書（選挙は透明でかつチェック可能でなければならないという明示的な根拠に対して紙投票用紙への復帰をした）すべて同じ仕様を指摘している。

信頼できる計数には次のものが必要である：

人間が読める、投票者が検証した物理的記録 — 7秒間のウィンドウではなく、投票者が確認し、システムが保持する耐久性のあるアーティファクト。
公開監査プロトコル — 統計的に設計されて間違った結果を検出し、便利さではなく、マージンに合わせられたもの。
ハードウェアおよびソフトウェア保管チェーン — 密閉され、記録され、独立して検証可能 — 手数料を支払う候補者だけでなく、透明な公開記録の問題として。
即座な投票所レベルの結果公開 — 誰でもダウンロードして紙に対して調整できる機械が読める形式で。

これらの4つのことはどれも電子投票を放棄する必要はない。インドの裁判所は放棄しろと言わなかった。ドイツの裁判所は放棄しろと言わなかった — それは普通の市民によってチェック可能にしろと言った。オランダ委員会は技術が悪いと言わなかった — それは透明性とチェック可能性は譲歩できないと言い、紙は現在それらをより良く提供していると言った。

あらゆる管轄区域全体の一貫性は、紙よりもシリコンへの嗜好ではない。それは、システムが公開が独立して検査できる証拠を生成する — 当局が勝者を宣言する信頼を誰にも求めない証拠 — という要求である。

ブラジルは、その記載票に公式の公開対立セキュリティテストを実行し、承認されたテスト計画を持つ誰もがシステムを壊す試みを招待している。ロサンゼルス郡は、部外者がコードを検査できるように、公開ソースの公開所有計数システムを構築した。コロラドは、光学効果ではなく統計的信頼を提供するために、その監査を設計した。

それらのどれも「紙投票用紙は魔法だ」ではない。それらはすべて「ここに証拠がある。自分でチェックに来てください」である。

何が未解決のままか — そしてそれを何がチェック可能にするか

インドの2024年4月の判決は、決定した結論ではなく、重要なデータポイントである。

ここに本物で解決されずに残っているものがある：

5駅VVPATサンプル — 接近した選挙区のレースで十分な統計的信頼を提供することが示されていない。インドの裁判所または選挙当局は現在のサンプルが受け入れるどのような誤った結果のリスクを示す数学的分析を公開していない。
マイクロコントローラー検証メカニズム — 候補者のみが利用でき、紛争がある場合にのみ、支払いでのみ、EVMの5%のみ利用可能。それは透明な公開監査ではなく、法的救済である。
SLU密閉要件 — 保管チェーン改善である。シールが独立して記録されているか、シールの保管権を持つ誰であるか、そして矛盾がどのように表面化され、裁定されるかは、判決で公開指定されていない。
EVMソフトウェア — 閉じられたままである。プリンストンチームの2006年のDiebold AccuVote-TS分析、またはエストニアのi投票分析と比較可能な現在のインドEVMのピアレビューされたセキュリティ分析を公開していない独立した研究者はない。それは検出不可能な操作リスクを特定した。

これのどれを独立してチェック可能にするのか？

サンプルサイズ計算を公開する。シール保管ログを公開する。EVM ファームウェアを独立した暗号分析に開く。すべての選挙区のVVPATスリップ計数をその投票所レベルのEVM合計に対して公開する必要がある。誰でもダウンロードして検証できるマシン読取可能形式で。

裁判所はダイヤルを動かした。ダイヤルはまだ「誰でもチェックできます」にはない。

それは非難ではない。それは設計仕様である — そしてそれはドイツが2009年に明確にした同じ仕様であり、ケニアの最高裁判所が2017年に強制した同じ仕様であり、大統領選挙が無効とされたのは結果チェーンが独立して追跡されることができなかったからであり、そしてそれは検証できる選挙とあなたが信頼するよう求められている選挙の間の違いを作る。

信頼が目標ではない。検証可能性が目標だ。それらは同じものではない。

世界中の選挙でこの隙間がどこに表示されるかを見てください · 2分間のバージョンを読んでください · 完全なケースアーカイブを探索してください

ソース

すべての記事を表示ギャップを探索