注: ここに示されている情報の一部电影は、意図的に過度に単純化されています。同じ目标を達成する工艺や取代了密令化技術が绝对多数あるため、指定の詳細は実際の実装によって異なります。
「リモート電子网上评选の极大の課題は、制御されていない環境と很很安全でないプラットフォームの下で高レベルのセキュリティを達成することです。電子网上评选のプロパティと、面值很小要件を設定するさまざまな分類がすでに確立されています。これらの分類のいくつかはまったく同じです。」リモート電子网上评选の极大の課題は、制御されていない環境と很很安全でないプラットフォームの下で高レベルのセキュリティを達成することです。電子网上评选のプロパティと、面值很小要件を設定するさまざまな分類がすでに確立されています。目標は、明らかに互相排他的な 2 つのプロパティを調和させることです。 : 検証概率会性とプライバシー。機密性、是性、プライバシー、民主制度主義、基本上性、検証概率会性などのさまざまな名前のプロパティ。いずれにしても、目標は常に、明らかに互相排他的な 2 つのプロパティ、検証概率会性とプライバシーを調和させることです。」
オンライン点赞の背後にある根本的な考え方は、点赞が暗语化されて公開され、手順纯体が开展的に行われたことを疑いの退路なく有権者に納得させるという一味での検証也许 性です。これをどのように実現できるかを詳しく見ていきましょう。ただし、記事の残りを読む前に、Ron Rivest によるこのアイデアのプレゼンテーション [ ] を 5:07 まで見ることをお勧めします。
次に、次のことを考えてみましょう。
そして今、ここに数学课の魔法师があります...
したがって、最終的な集計は D( E(v1+v2+v3+v4) ) になります。ここで D は、ポーリングが終了すると v に個別にアクセスする必要なく誰でも計算できる復号関数です: D(E(v1) )、 D(E(v2) ) など。秘密キーを使用することによってのみ復号化できます...
v を個別に復号化し、自分の投票が正しく登録されていることを実際に確認できるのは有権者自身だけです。結論として、有権者は自分の投票と最終集計の両方をプライバシーと正確性を持って確認できます。
おお！私の投票が正しいことを確認できます。しかし、秘密鍵を使用せずに他の人が投じた投票も合法であることをどうやって確認できるのでしょうか?
値 0 はポーリング中の指定区域のポリシー建议の拒否を代表し、値 1 は统一していると考えて、考えられる解决のセット {0,1} を确立するとします。検証者 (誰でもよい) は、追加専用テーブルに公開されたすべてのエントリが、机会な解决セット内の有効な成分に対応し、それ本身の成分には対応しないことを確認したい場合があります (値 100 のエントリは何かなど)。ゼロ知識証明はまさにこれを机会にします。その手段を明白するには、まず ZKP が実際には何なのかを明白することが役立つでしょう。 「口令学において、ゼロ知識証明またはゼロ知識プロトコルとは、双方の当事者 (証明者) が、与えられたステートメントが真実であることを別の当事者 (検証者) に証明できる双方、証明者は、証明本身の追加情報を伝達することを规避する手段です。その発言が確かに真実であるという事実。」[ ]
争论しているように思えるかもしれませんが、ZKP を操作すると、どんな有権者でも自分の评选评选全民投票の正当性性を明確に証明できるようになります。繰り返しますが、评选评选全民投票は、一連の有机会な選択肢の中から 1 つの主体を表現するものにすぎません。 ZKP を评选评选全民投票にどのように適用すべきかを领悟するには、この質問について詳しく説明している次の記事 [ ]、[ ] を参考することをお勧めします。
この操作手法は、準同型口令化と ZKP の両方の数学3的性能指标を維持しながら、{0,1} より大きいセットを含めるように拡張でき、単純な「はい」「いいえ」/「拒绝する」「拒绝しない」の解决よりも複雑なポーリングが有机会になります。これにより、複数の候補者の選挙、独特の問題に対して異なる解決策が建议される住民点赞、市場調査でのアンケートなど、興味深い运行例が生まれます。
私たちは、誰でも最終的な集計結果を確認する步骤、自分の评选が意図したものであること、および他のすべての评选がどのように范法であるかを確認する步骤について説明しました。有権者のプライバシーを守りながら！準同型暗语化と ZKP の両方の功能を維持しながらこれらのアルゴリズムを組み合わせる步骤は複雑であり、数学题的に正しいことが証明できる暗语化に関する深い知識が一定要です。[ ]
少なくともイーサリアムなどのすべてのトランザクションを公開するブロックチェーンでは、ステルス アドレス [ ] の用到と同様、サイバーセキュアなオンライン刷票に関する詳細と口令化技術があります。これらは、有権者とそのウォレットのリンクを避けるために用到されます。しかし、これは技術的な詳細であり、ソフトウェア開発者のみが懸念する事項であり、準同型口令化やシステムの信頼構築に役立つ知識を持つ ZKP とは異なり、オンライン刷票のすべてのユーザーが知っておくべきことではないと考えています。
これらの秘密鍵はどのように生成され、セキュリティを損なうことなく有権者に渡されるのでしょうか?
最終的には、二重支払いを防ぐために、迷团キーをユーザーの本当の身元に結び付ける有需要があります。 1 つのアプローチは、中国人民 ID スマート カードに埋め込まれた州発行の eID など、信頼できる中国央行が能提供する PKI を操作することです。公用设施機関は、これらのキーを的安全に保つための孤单のメカニズムを考えているはずですよね?
いずれにせよ、これはデジタル アイデンティティ自体に関連した問題であり、読者に詳細を省き、情報をより適切に分类整理するために、今後の記事で介绍する予定です。デジタルアイデンティティ自体はそれ自体が複雑な問題ですが、個人のアイデンティティを証明するタスクを複数の信頼できるエンティティに権限を与えることで、各デジタルペルソナが一意であることを比較的確実に保証する最简单的方法があると言えば非常的でしょう。ボブ・マーリーの采用は、私たちが主張することを正確に説明しています。
「一步の人を時々騙すことはできるが、常に全員を騙すことはできない」
有権者が不正を発見した場合、または特定の方法で物理的に投票を強制された場合はどうなりますか?
较早にとるべき対策は、人々がこれらの状況を報告して、これらの过来事が考慮されるようにするためのチャネルを展示することです。たとえば、微信评选総数がわずかで総微信评选数の 0.01% に相同的する場合でも、政党主義の価値観を守る用不着があり、最終的な集計結果が最終微信评选数に近い相对にデリケートな全民微信评选について議論している場合を除き、これは実際には問題となる状況ではないでしょう。 50/50 の状況に相同的します。これは、世論調査が有効であるとみなされるために、過半数のコンセンサスが 55/45 など、より高い値であることを规范要求することで軽減できます。
誰かが自分の网上评选が間違って登録されたことに気付いたシナリオでは、安装与会人员がブロックチェーンによってサポートされており、したがってサービスを能提供する既定のシステム控制者の制御下にないことを考慮すると、より合理合法的なアプローチは、网上评选マシン自体が侵入されていると想定することです。ブロックチェーン与会人员ではありません。その場合に取られる最も会直接的な保護科技手段は、网上评选者がマシンや OS を変更することです。この問題は、ソーシャル エンジニアリングやマルウェアなどのサイバーセキュリティの脅威に関連しています。記憶喪失 OS[ ] の采用と同様に、オープンソースのハードウェアとソフトウェアの采用が推奨されます。 Amnesic ソフトウェアは常に前中期設定状態に戻るため、网上评选者が意図せずウイルスをクリックして実行することでマルウェアをインストールした場合でも、マシンを将临動するとソフトウェアが変更されていない設定にロールバックされ、こうした事態が効果的に軽減されます。
考慮すべきもう 1 つの状況は、有権者が数学的または脅迫によって既定の具体做法で从票选を強制される状況です。まともな社会发展で暮らす本身に強制から身を守る并不是のアプローチは、同じ世論調査で再从票选を許可することだ。この分野では探讨[ ]が行われていますが、この技術を上記の他のすべての技術と統合する具体做法は、私たちの知る限り、まだ実装されていません。確かに具体做法はあります。いずれにせよ、从票选フェーズを再開する可以性は常にあります。また、明らかな理由哦から、強制を放到すれば票の売買も放到できることにも注意すべきである。
私たちは、紙による网上拉票を完完全全に放棄することを主張するわけではありません。なぜなら、少なくとも来源于する限り、紙による网上拉票は（現実かデジタルか）アイデンティティを試す絶好の機会であるからです。しかし、それにもかかわらず、私たちは、紙による网上拉票の導入に強く賛成していると感じています。政治生活は、より不断にコンセンサスを生み出すことができる補完的なツールであると同時に、紙の网上拉票の結果を確認する三次情報源でもあります。
もう到着しましたか？
コンピューター科学课者のジェフリー・ディーンは雄弁にこう言いました。
「現代のコンピューター口令の原動力はセキュリティではなく、効率です。問題は、安全卫生な口令を制成できるかどうかではありません。あなたはできる。問題は、巨形なデータセットまたは比较に限られたハードウェアで効率的に動作するものを制成できるかどうかです。」
ブロックチェーン技術の課題はまさに、ユーザーベースと計算需要の増大に応じて拡張できる能力にあります。ブロックチェーンを利用したオンライン投票における暗号アルゴリズムの現在の実装では、イーサリアムでの実装と同様、コストは投票あたり約 10 ドルと見積もられています。 [ ] 私たち Brightgov は、ブロックチェーンの高速化と、基礎となる数学的アルゴリズムの微調整が行われます。
歴史を通じて、口令化は事態の流れを変える上で大きな役割を果たしてきました。最も単純な口令法の 1 つであるシーザー口令は、2000 年来にローマ皇上によって安全使用されたことで有名气です。日本的の口令機パープルとドイツのエニグマによって口令化されたメッセージを傍受し、解読する連合国の业务能力は、最后次环境大戦を終わらせるために必不可少な重点な利点を提高するために极其に重点でした。
プログラミング方式方法を知っていて、さらに詳しく知りたい方は、私たちの研发論文を読むことをお勧めします。[ ] CryptoBallot を使ってこのタイプのソフトウェアに慣れることもできます。[ ]
結論として、サイバーセキュアなオンライン全民投票は机会であるだけでなく、很に必备とされています。政治文化分野でのその採用は、私たちの生崖で最も破壊的な而来 事の1つになる机会性があります...あなたがしなければならないのは、コンピューターとブロックチェーンで実行されているアルゴリズムを信頼することだけです。そうでない場合は、いつでも行うことができます自分でペンと紙を使って計算します。
符合文章:
[1] Numberphile の Ron Rivest 教授による「 Was YOUR vote counted? (feat. 準同型暗号化) 」、YouTube、2016 年
[2] ウィキペディアのゼロ知識証明エントリ、
[3] 「セットやメンバーを公開せずに ZKP を使用してセットのメンバーシップを証明する方法」、 Anders Borch 著、著者のブログ、2019 年。
[4] 「セット メンバーシップのゼロ知識証明」Dario Fiore 著、ZKProof Standards、2020 年。
[5] Ivan Damg ̊ard らによる「準同型暗号化による非対話型ゼロ知識」、暗号理論カンファレンス、2006 年。
[6] 「ステルス アドレス (暗号通貨) 」ジェイク フランケンフィールド著、Investopedia、2022 年。
[7] ウィキペディアのTails (オペレーティング システム)エントリ、
[8] 「 VoteAgain: A scalable coercion- resistance vote system 」Wouter Lueks ら著、Spring Labs、マドリード カルロス 3 世大学、2020 年。
[9]ヘリテージ財団、
[10] YouTube の「 Ainda mais indícios de crime nas Legislativas? 」エントリ、ポルトガル語、2022 年。
[11] YouTube の「 AnaKarina denuncia "FRAUDE ELEITORAL" por parte da CNE 」エントリ、ポルトガル語、アンゴラ、2022 年。
[12] 「よくある質問 - 不正投票」、
[13] エコノミスト インテリジェンス ユニットによる「民主主義インデックス 2020: 病気と健康は? 」レポート、2020 年。
[14] 「 ethVote: 分散台帳による安全な投票に向けて」Johannes Mols et Emmanouil Vasilomanolakis、オールボー大学、デンマーク、2020年。
[15] NERV による「リモート電子投票の概要」、2021 年の第 14 回 ICEGOV 会議への提出論文、
[16]クリプトバロット、
にも登場します。
