エストニアが国政選挙のオンライン投票システムのソースコードを公開
Source code of the Estonian online voting system
エストニアのオンライン投票システムIVXVのソースコードがGitHubで公開された。目的は一般によるレビューであり、活発な開発には使われないが、実際の選挙で使われるコードが常に最新の状態で保たれる。法的拘束力のある選挙に用いるため、開発はエストニア国家選挙管理委員会の監督下で行われている。主要言語はGo、Java、Python。
このリポジトリの目的は、エストニアのオンライン投票システムのソースコードを一般のレビューに供することにある。
HNでの議論
132- cryptonector
ソフトウェアのみでは、たとえソフトウェアとハードウェアの組み合わせであっても、それ自体で選挙を安全にすることはできない。「Reflections On Trusting Trust」問題や、ファームウェアを検証する必要性などを考えてみてほしい。マシンが「正しく動作する」ことを保証することはできないが、マシンが「正しく動作した」ことを検証することはできる。事後にマシンの動作を検証するには、投票所が閉まった直後に、ごく早い段階で行う必要があり、手作業による統計的な無作為抽出法を考案して、無作為に抽出した印付き紙投票用紙をデジタルの投票記録と手作業で照合し、その後、デジタルのリスク制限監査（risk limiting audit）を行って、CVR（投票記録）の集計がマシンの報告した結果と一致するかを確認しなければならない。投票所が閉まった後、これを早く行えば行うほど、不正が発見される可能性は高まる。つまり、十分な数の無作為に選ばれた投票所を対象に、直ちに手作業による部分監査を行うということだ。
それでもなお、郵便投票／不在者投票の安全性、期日前投票に使われる投票箱の安全性（おそらく、夜ごとの結果が公開されるために上記の手作業部分監査を実施できないからだ。あるいは、それを容認するかもしれない）、有権者登録など、対処すべき技術的な問題は山ほど残っている。
- kuratkull
私はエストニア人だ。電子投票はここで広く受け入れられ、利用されている。2001年から実施しており、2007年以降は（初の議会選挙の電子投票以降）大規模に行われている。
オープンソースであるという事実は（少なくともITコミュニティでは）以前からよく知られており、高く評価されている。
その正当性について、国内の専門家や国際社会の間に本質的な疑念は存在しない。
- AndroTux
エストニアに住んでいる私としては、この投票システムについてどう感じるべきか決めかねている。
現在は、人々が政府を信頼しているため、このシステムは素晴らしい。ここでの他のあらゆることをするのと同じように、オンラインで投票でき、前述のシステムへの信頼のおかげで、自分の票が数えられていると合理的に確信できる。
しかし、その信頼が損なわれる日が来ることを本当に恐れている。
一方で、信頼が失われてしまえば、それがアナログの集計であろうとデジタルの集計であろうと、あまり関係ないとも思う。いずれにせよ人々はシステムを信頼しないだろう。
とはいえ、多くのニュアンスや信頼のさまざまなレベルがあり、だからこそ正しい答えが何なのか私には分からないのだ。
- devin
この話題が出るたびに、すでに存在し、実際の選挙ですでに使われてきたシステムについて何も知らない人がたくさんいるようだ。例えば、ElectionGuardは2020年以降、米国のいくつかの実際の選挙で使われている[1]。
- aussieguy1234
侵害するのに十分な大きなインセンティブがあるコンピュータハードウェアやソフトウェアは、必ずハッキングされる。
最近のBitcoinウォレットの事例では、サプライチェーン攻撃で隠された5Gモデムが追加されていた。この場合、攻撃者にとっての見返りは、彼らがそこまで極端な手段に訴える動機になるほど大きかった。
民主主義国の選挙に干渉することは、ロシアのような国にとってかなり大きなインセンティブだ。彼らにはそれを実行するリソースもある。
- SP3269
議論には多くの懸念があるが、事実として電子投票はエストニアでかなり長い間使われており、堅牢で安全であることが証明されている。うまくスケールするだろう。ソースコードを確認してほしい。
スイスも電子投票ソフトウェアをオープンソース化したと記憶している。
- samat
ほぼ1年間アップデートがないのは興味深い。安定したクールなソフトウェアということだろうね？
- pelagicAustral
答えはIDで裏付けられた紙だと思うが、そうするにはもう手遅れなのだろう。