透明性
透明性に分類されたTrustVotingの記事。
28件の記事
2つの民主主義、投票機に対する正反対の答え
ドイツは投票機を見て問いかけた：すべての市民がこれを検証できるか？エストニアは問いかけた：投票をもっと簡単にできるか？これらの質問のうち、実際に検証できる民主主義につながるのは1つだけです。
完全に検証可能な選挙が有権者にとって実際にどのように感じられるか
官僚を信頼するのではなく、自分自身で数学をチェックすることによって検証できるシステムで投票することは、実際にはどのような感じなのでしょうか？
1つの企業が投票システムを構築し、運用し、そして保証する場合
2017年8月2日、ベネズエラの投票機を製造した企業が世界に向けて公に、平易な英語で、公式な投票率の数字がうそであることを告げた。野党は言わなかった。ベンダーが言ったのだ。
オープンソース投票は必要です — しかしそれだけでは不十分です。その他に必要なことは以下の通りです。
ロサンゼルス郡は10年をかけて世界で最も透明性の高い投票システムを構築しました — オープンソース、公有、独立監査可能です。スイスも同じことをしました。研究者たちはそれでも隠された裏口を発見しました。両方のケースで何を見落としたのかを説明し…
ペーパーレス投票機：民主主義とのレシートなし取引
2006年のサラソタ郡では、18,000票が再集計するものを何も残さない機械に消えました。2020年の連邦裁判所は、新しい姿をした同じ問題を発見しました。
再現可能なビルド：検査したソフトウェアが実行されているソフトウェアであることを証明する
スイスが投票ソフトウェアのソースコードを公開し、誰もが検査できるようにしました。しかし研究者たちは直ちに、完璧に見える証明を作成する一方で投票を静かに改ざんできる隠された裏口を発見しました。
「公開」選挙の原則：復活させる価値のある法的理念
2009年、ドイツの最高裁判所は、普通の市民が専門知識なしに投票数を自分で確認できなければ、それは本当の民主的選挙ではないと判示しました。
「認定済み」とは、かつて1回テストに合格したという意味です。今日安全だという意味ではありません。
セキュリティレビューがシステムをクリアしました。その後、外部の研究者が欠陥を発見しました。その時点で、すでに28万人の人々が投票していました。「認定済み」という言葉がそれを防ぐことはできませんでした。
オンライン投票が銀行取引オンラインよりもはるかに難しい理由
銀行はすべての取引を確認できます。投票は設計上消えてしまいます。そしてだれかがそれを修正しようとする瞬間、彼らは投票買収者が常に望んでいた領収書を手渡してしまいます。
すべての紙の記録が同じではない：読める領収書と読めない領収書
あなたは投票した。機械はあなたの選択を印刷した領収書を出力した—そして読めないバーコードも一緒に。連邦裁判所が確認した：単語ではなく、バーコードが計算される。
「検証可能」とは政治家が好む言葉です。実際には何を意味すべきか。
ケニアの最高裁が大統領選挙を無効にしたのは、不正が証明されたからではなく、誰も——判事も、ジャーナリストも、普通の有権者も——結果がどのように築かれたのかを独立して確認できなかったからです。
投票機メーカー自身が言った：これらの数字を信じるな
2017年、ベネズエラの投票機を製造した企業が世界に告げた：公式な投票率は嘘だ—少なくとも100万票分。それ以外に証明する方法はなかった。
インドは投票機を保持した — しかし紙による確認を厳しくした。なぜか？
インドの最高裁判所は投票機廃止の要求を拒否した — その直後、より強力な紙製シールと独立した抜き取り検査を命じた。この緊張関係は、「信頼」が実際に何を必要とするのかについてすべてを物語っている。
あなたの投票を数えるバーコードは読めません。連邦裁判所がそれに気づきました。
投票用紙には人間が読める文字が印刷されています。しかしスキャナーはそれを無視し、あなたには解読できないバーコードを読みます。連邦裁判所がその事実を書面に残しました。
ハンギングチャドと誰も書き留めなかった標準
フロリダ2000年は不正のために失敗したのではなく、投票用紙カードの半分だけ穴の開いた状態が何を意味するのかを誰も書き留めなかったために失敗した。
もし投票を数えるソフトウェアを、ベンダーではなく市民が所有していたら？
ロサンゼルス郡はカリフォルニア州で認証された初の公有・オープンソースの投票集計システムを構築しました。それでも最も難しい問題は解決していません。ここでは、それが何を証明し、何を証明していないかを説明します。
ブラジルが投票機を攻撃するよう国民に促す — 意図的に
ブラジルの選挙裁判所は投票機を認証するだけでなく、ルールを公開し、国民がそれを破ろうとすることを促しています。実際にどのような取り組みなのか、そしてなぜそれでもまだ十分ではないのかをご紹介します。
数学的な「証明」が投票を正しく集計したことを示す — 秘密の裏口が組み込まれている
スイスは電子投票システムのソースコードを公開して誰もが検査できるようにしました。数週間以内に、暗号学者たちは、内部関係者が数学的に有効な証明を作成しながら、投票をひそかに改ざんすることを可能にする裏口を発見しました。
280,000人がオンラインで投票した後、誰かが問題に気づいた
280,000票がすでに投じられていたライブ選挙中に、2人の研究者が公式のセキュリティレビューが見落とした欠陥を発見しました。そしてそれをキャッチするはずだった検証システムも破損していました。
インターネット投票パイロットを公開したら、48時間で破られた。
ミシガン大学のチームがワシントンD.C.のインターネット投票パイロットに侵入し、すべての投票を改ざんし、サーバーに戦闘歌を演奏させた——そして選挙委員会の職員は数日間気づかなかった。
世界で最も有名なオンライン投票システム、研究者に分解される
独立系の研究者たちがエストニアの評判の高いインターネット投票システムが実際の国政選挙を運営する様子を観察し、外国政府または1人の腐敗した内部関係者が誰にも気付かれずに投票を改ざんできる可能性があると結論づけました。
アイルランドは国家電子投票システムを購入したが、それが機能することを証明できなかった
アイルランドは投票機に数百万ユーロを費やしたが、5年間倉庫に保管された後、廃棄された——独立した委員会がそれらが機能することを証明できなかったからである。
システムが検出した — それでも5年間、誰も見ることができなかった
2020年、ミシガン州のあるカウンティに数千の偽造有権者登録フォームが届きました。セーフガードは機能しました — 偽造有権者は一人も登録されませんでした。では、なぜそれを確認するのに5年間の、ほぼ秘密裏の調査が必要だったのでしょうか？
投票機を「廃止した」国
2007年、オランダの政府委員会は単純な質問を投げかけました：普通の市民が投票機が正しく計数したことを確認できるか？その答えは、一国の投票方法を変えました。
ドイツの最高裁判所が判示：専門家しか集計を確認できないなら、それは本当の選挙ではない
ドイツの最高裁判所は2009年、選挙結果を理解するのにコンピュータ科学の学位が必要なら、それは民主的な選挙ではないと判示しました。その影響は地球上のあらゆる投票システムに及びます。
投票機はコンピュータです。「認証済み」だからといって信頼できるわけではありません
2004年、アイルランドは数百万ユーロを投票機に費やしましたが、結局使用されることはありませんでした。独立した委員会がそれが機能することを証明できなかったためです。「認証済み」が実際に意味することを知れば、恐ろしくなるでしょう。
最も危険な攻撃者はすでに鍵を持っている
ジョージア州の投票システム全体をコピーした人たちはシステムに侵入したハッカーではなく、正面玄関から招き入れられた人たちでした。これは選挙セキュリティをどう考えるかを根本から変えます。
オープンソース投票：ハイプではなく必要性
あなたの投票を数えるソフトウェアは秘密です — そしてそれを信頼するよう求める当局者たちは、それが彼らが言う通りに機能していることを証明する方法がありません。