ハクソク

世界を動かす技術を、日本語で。

公衆の信頼はオープンソースの投票システムを求める

2025年10月22日原文(voting.works)

概要

  • Dominion Voting Systems が Liberty Vote に売却されたニュース
  • アメリカ選挙の 信頼危機 とその修復の必要性
  • 透明性 確保のためのオープンソース化の重要性
  • VotingWorks のみが現時点でオープンソース投票機を提供
  • 全ベンダーに オープンソース化 を推奨

Dominion Voting Systems売却とアメリカ選挙の信頼危機

  • Dominion Voting Systems が Liberty Vote へ売却、アメリカで2番目に大きい投票システムベンダーの消滅
  • Dominionは アメリカ人の5人に1人 の票を集計していた実績
  • Liberty Voteは「アメリカ選挙への信頼回復」を掲げて新体制開始
  • アメリカ選挙における 信頼の危機 が深刻化
  • 信頼は 長い年月で築かれ、一瞬で壊れ、回復に永遠にかかる という格言

信頼回復への新戦略：透明性の確保

  • 選挙の信頼回復には 透明性の確保 が不可欠
  • アメリカ国内の投票機ベンダーは皆「透明性」を主張
  • しかし、実際には 多くの投票機が非公開の独自ソフトウェア で稼働
  • 誰もが信頼できる投票機 には、 完全に公開されたソフトウェア が必要
  • VotingWorks のみがアメリカで唯一のオープンソース投票機を提供
  • オープンソースは 公共の信頼 ・ 高セキュリティ ソフトウェアの現代標準
  • Signal （最も安全なメッセージングアプリ）もオープンソース
  • アメリカ軍 もオープンソースを推奨

オープンソース化の推奨と次世代投票システム

  • Liberty Vote および全ての投票機ベンダーに オープンソース化 を呼びかけ
  • すべてのベンダーがこれに同調すれば、 アメリカ人全員が信頼できる次世代投票システム の実現が可能

VotingWorksについて

Hackerたちの意見

ソースを開いても…投票機で何が動いてるかどうやってわかるの？この問題に対する実用的な解決策は本当にないよね。もっと大事なのは、有権者が確認できる紙の監査記録があって、その記録が実際にカウントされること。少なくともスポットチェックのリスク制限監査で確認するけど、理想はすべての票を手作業でカウントして確認することだね。

└

この問題に対する良い実用的解決策は本当にないよ。信頼できる実行環境を通じたリモートアテステーションは存在するし、理論的なものでもない。例えば、Graphene OSのAuditorアプリを見てみて。[0] これは特に投票機に関しては、良いデザインの問題であって、根本的に難しい問題を解決することではないよ。[0] https://attestation.app/

  • GitHubリポを開く * Cargo.lock [1] と pnpm-lock.yaml [2] を開く * Cargo.lock と pnpm-lock.yaml を閉じる * タイレノールを探しに行く オープンソースなら、作業の過程が見えるからいいよね… [1] https://github.com/votingworks/vxsuite/blob/main/Cargo.lock [2] https://github.com/votingworks/vxsuite/blob/main/pnpm-lock.y...
└

うわっ。じゃあ、私のエクストラストレングスアセトアミノフェンを少し分けるね。あのロックファイル、ほんと呪われてるわ。

└

あなたのコメントを読んでも、まだ準備ができてなかったよ。30,000行以上のロックファイルに驚愕してる！これを信頼しろって言うの？

└

公平に言うと… READMEからの情報では、これは7つのサブプロジェクトを含むモノレポらしいね。

└
  • タイレノールを探しに行く 自閉症にかからないように気をつけてね :) /s > [1] https://github.com/votingworks/vxsuite/blob/main/Cargo.lock > [2] https://github.com/votingworks/vxsuite/blob/main/pnpm-lock.y... これらのファイルは実際に呪われていると思うし、データを含むドライブは酸で破壊してほしい。でも、理論的にはシンプルなソフトウェアであるべきなのに、他の投票ソフトもあまり良くない気がする。

スロットマシンと同じくらいの厳しいチェックがあればいいんだけどな。市民連合の件を逆転させて、金が票に影響を与えるスピーチを買うために使えるなら、投票機にも同じレベルのチェックや検証、監査が必要だって主張できるかな？

└

毎年、誰かがスロットマシンでジャックポットや大きな賞金を勝ち取ったってニュースがあるけど、スロットマシンが「故障してた」って理由で却下される話があるよね。

└

カジノや金融機関では、小規模から大規模な不正が日常的に行われてるよね。投票にはもっとしっかりした基準が必要だと思う。

ソフトウェア自体はあまり重要じゃないよ。投票機を使うなら、監査可能な紙の記録を作る必要がある。ソフトウェアを監査するだけじゃ不十分で、実際にそれが機械で動いているかどうかを信頼できる形で確認できないと意味がないし、機械が他の方法で改ざんされていないかも確認しないといけない。

└

監査は、技術に詳しくない人でも理解できて、正しく実行できるプロセスである必要があるよ。匿名性も投票の重要な部分だからね。

Hacker Newsで議論の続きを見る