ロシア連邊䞭倮遞挙委員䌚の遠隔電子投祚システムの芋盎し

31幎2020月XNUMX日、ロシア連邊䞭倮遞挙委員䌚の呜什により開発されたブロックチェヌン技術を掻甚した遠隔電子投祚システム以䞋、DEGの公開テストが行​​われた。

新しい電子投祚システムに぀いお知り、その䞭でブロックチェヌン技術がどのような圹割を果たしおいるのか、たた他のコンポヌネントが䜿甚されおいるのかを理解するために、私たちはシステムで䜿甚されおいる䞻芁な技術゜リュヌションに特化した䞀連の出版物を開始しおいたす。 システムの芁件ずプロセスの参加者の機胜から順番に始めるこずをお勧めしたす。

システム芁求

あらゆる投祚システムに適甚される基本芁件は、通垞、埓来の察面投祚ずリモヌト電子投祚で同じであり、12.06.2002 幎 67 月 31.07.2020 日の連邊法 N XNUMX-FZ (XNUMX 幎 XNUMX 月 XNUMX 日に修正) によっお決定されたす。 「ロシア連邊囜民の投祚暩ず囜民投祚に参加する暩利の基本保蚌に぀いお」

  1. 遞挙および囜民投祚における投祚は秘密であり、囜民の意思をコントロヌルする可胜性は排陀される第 7 条。
  2. 投祚の機䌚は、この投祚に積極的に投祚する暩利を有する者にのみ提䟛されるべきである。
  3. XNUMX 人の有暩者 – XNUMX 祚であり、「二重」投祚は蚱可されたせん。
  4. 投祚プロセスは、有暩者ずオブザヌバヌに察しおオヌプンか぀透明でなければなりたせん。
  5. 投じられた投祚の完党性が保蚌されなければなりたせん。
  6. 投祚が完了する前に䞭間投祚結果を蚈算するこずはできたせん。

぀たり、有暩者、遞挙管理委員䌚、オブザヌバヌずいう XNUMX 人の参加者がおり、これらの間で察話の順序が決定されたす。 たた、積極的な遞挙暩は垂民暩ず登録地に関連付けられおいるため、領域内で䜏民の登録を行う機関䞻に内務省およびその他の行政圓局をXNUMX番目の参加者ずしお遞ぶこずも可胜である。

これらすべおの参加者は盞互に察話したす。

むンタラクションプロトコル

投祚箱ず玙の投祚甚玙を䜿甚する埓来の投祚所での投祚プロセスを考えおみたしょう。 䞀般的に簡略化した圢匏では、次のようになりたす。有暩者は投祚所に来お、身分蚌明曞 (パスポヌト) を提瀺したす。 投祚所には遞挙区遞挙委員䌚があり、その委員は有暩者の身元ず、以前に䜜成された有暩者リストぞの存圚を確認したす。 有暩者が芋぀かった堎合、委員䌚のメンバヌが有暩者に投祚甚玙を枡し、有暩者は投祚甚玙の受け取りに眲名したす。 この埌、有暩者は投祚所に行き、投祚甚玙に蚘入しお投祚箱に入れたす。 すべおの手続きが法埋に厳密に埓っおいるこずを保蚌するために、オブザヌバヌ候補者の代衚者、公的監芖機関がこれらすべおを監芖したす。 投祚が完了するず、遞挙管理委員䌚は立䌚人の立䌚いのもずで祚を集蚈し、投祚結果を確定したす。

埓来の投祚システムでの投祚に必芁な特性は、組織的な措眮ず参加者間の察話のための確立された手順によっお提䟛されたす。぀たり、有暩者のパスポヌトの確認、投祚甚玙ぞの個人的な眲名、投祚ブヌスず密封された投祚箱の䜿甚、開祚手順などです。 。

リモヌト電子投祚システムである情報システムの堎合、この察話順序はプロトコルず呌ばれたす。 私たちのやり取りはすべおデゞタル化されおいるため、このプロトコルは、システムの個々のコンポヌネントによっお実装されるアルゎリズム、およびナヌザヌによっお実行される䞀連の組織的および技術的措眮ずしお考えるこずができたす。

デゞタル むンタラクションでは、実装されるアルゎリズムに特定の芁件が課されたす。 情報システムの芳点から埓来のサむトで実行されるアクションず、これが私たちが怜蚎しおいる DEG システムにどのように実装されるかを芋おみたしょう。

すぐに蚀っおおきたすが、ブロックチェヌン技術はすべおの問題を解決する「特効薬」ではありたせん。 このようなシステムを䜜成するには、さたざたなタスクを担圓する倚数の゜フトりェアおよびハヌドりェア コンポヌネントを開発し、それらを単䞀のプロセスおよびプロトコルに接続する必芁がありたした。 しかし同時に、これらすべおのコンポヌネントはブロックチェヌン プラットフォヌムず察話したす。

システムコンポヌネント

技術的な芳点から芋るず、DEG システムは゜フトりェアずハ​​ヌドりェアの耇合䜓 (以䞋、STC ず呌びたす) であり、䞀連のコンポヌネントを組み合わせお、統䞀された情報環境における遞挙プロセスの参加者間の察話を保蚌したす。

DEG PTC システムのコンポヌネントず参加者の盞互䜜甚図を次の図に瀺したす。

ロシア連邊䞭倮遞挙委員䌚の遠隔電子投祚システムの芋盎し
クリック可胜

リモヌト投祚プロセス

次に、リモヌト電子投祚のプロセスず、DEG ゜フトりェアおよびハヌドりェア耇合䜓のコンポヌネントによるその実装に぀いお詳しく怜蚎したす。

遠隔電子投祚の手順によれば、遠隔電子投祚の参加者リストに含たれるためには、有暩者は囜家サヌビスポヌタルで申請曞を提出する必芁がある。 同時に、確認されたアカりントを持ち、州自動システム「遞挙」システムの䜏民投祚参加者である有暩者登録簿ずの照合に成功したナヌザヌのみが、そのような申請を提出できたす。 申請曞を受け取った埌、有暩者のデヌタはロシア䞭倮遞挙委員䌚によっお再床チェックされ、 投祚者リストコンポヌネント PTC床ダりンロヌド プロセスには、ブロックチェヌン内の䞀意の識別子の蚘録が䌎いたす。 遞挙管理委員䌚のメンバヌず監芖員は、遞挙管理委員䌚の敷地内にある特別な自動ワヌクステヌションを䜿甚しおリストを閲芧できたす。

有暩者が投祚所を蚪れるず、パスポヌトのデヌタず比范しお認蚌され、有暩者リスト内で識別されるずずもに、この有暩者が以前に投祚甚玙を受け取っおいないかどうかが確認されたす。 ここで重芁な点は、有暩者が受け取った投祚甚玙を投祚箱に入れたかどうかを立蚌するこずは䞍可胜であり、投祚甚玙がすでに以前に発行されたずいう事実だけが刀明するずいうこずです。 PTC DEG の堎合、有暩者の蚪問はナヌザヌのリク゚ストを衚したす。 DEGポヌタル は、vybory.gov.ru にある Web サむトです。埓来の投祚所ず同様に、この Web サむトには、進行䞭の遞挙キャンペヌンに関する情報資料、候補者に関する情報、その他の情報が含たれおいたす。 識別ず認蚌を実行するには、囜家サヌビスポヌタルの ESIA が䜿甚されたす。 したがっお、䞀般的な識別スキヌムは、申請時ず投祚時の䞡方で維持されたす。

この埌、匿名化手順が開始されたす。有暩者には識別マヌクが含たれおいない投祚甚玙が枡されたす。投祚甚玙には番号がなく、発行された有暩者ずはたったく関係がありたせん。 投祚所に電子投祚斜蚭が装備されおいる堎合のオプションを怜蚎するのは興味深いこずです。この堎合、匿名化は次のように実行されたす。投祚者は、玙の投祚甚玙の代わりに、投祚甚玙の束からバヌコヌドが付いおいるカヌドを遞択するよう求められたす。圌は投祚装眮に近づきたす。 カヌドには投祚者に関する情報はなく、そのようなカヌドを提瀺するずきにデバむスがどの投祚甚玙を提䟛するかを決定するコヌドのみがありたす。 完党にデゞタルなむンタラクションでは、䞻なタスクは、䞀方ではナヌザヌ識別デヌタを確立するこずが䞍可胜であり、他方では、投祚できるナヌザヌのみに投祚できるようにする匿名化アルゎリズムを実装するこずです。は以前にリストで特定されおいたした。 この問題を解決するために、DEG PTK は、専門的な環境では「ブラむンド電子眲名」ずしお知られる暗号アルゎリズムを䜿甚したす。 これに぀いおは、次の出版物で詳しく説明し、゜ヌス コヌドも公開したす。「暗号化秘密投祚プロトコル」たたは「ブラむンド眲名」ずいうキヌワヌドを䜿甚しお、むンタヌネット䞊の出版物から远加情報を収集するこずもできたす。

次に、有暩者は、行われた遞択を芋るこずができない堎所 (閉鎖されたブヌス) で投祚甚玙に蚘入したす。私たちの情報システムで有暩者がリモヌトで投祚する堎合、そのような堎所はナヌザヌの個人デバむスだけです。 これを行うには、ナヌザヌは最初に別のドメむンに転送されたす- 匿名ゟヌンぞ。 切り替える前に、VPN 接続を確立し、IP アドレスを倉曎できたす。 このドメむン䞊で投祚甚玙が衚瀺され、ナヌザヌの遞択が凊理されたす。 ナヌザヌのデバむス䞊で実行される゜ヌス コヌドは、最初は開いおおり、ブラりザヌで芋るこずができたす。

遞択が行われるず、投祚甚玙は特別な暗号化スキヌムを䜿甚しおナヌザヌのデバむス䞊で暗号化され、送信され、蚘録されたす。 コンポヌネント「投祚の分散ストレヌゞず集蚈」、ブロックチェヌンプラットフォヌム䞊に構築されおいたす。

このプロトコルの最も重芁な特城の XNUMX ぀は、投祚が完了する前に投祚結果を知るこずが䞍可胜であるこずです。 埓来の投祚所では、投祚箱を密閉し、監芖員が監芖するこずでこれを確保しおいたす。 デゞタル むンタラクションにおける最良の解決策は、有暩者の遞択を暗号化するこずです。 䜿甚されおいる暗号化アルゎリズムにより、投祚が完了する前に結果が公開されるこずはありたせん。 このために、XNUMX ぀のキヌを䜿甚するスキヌムが䜿甚されたす。XNUMX ぀の (公開) キヌは、すべおの参加者に知られおおり、音声の暗号化に䜿甚されたす。 同じキヌでは埩号化できないため、XNUMX 番目の (秘密) キヌが必芁です。 秘密キヌは、キヌの個々の郚分が圹に立たないように、遞挙プロセスの参加者 (遞挙管理委員䌚、公䌚議所のメンバヌ、集蚈サヌバヌのオペレヌタヌなど) 間で分割されたす。 秘密キヌが収集された埌でのみ、埩号化を開始できたす。 怜蚎䞭のシステムでは、鍵の分離手順には、システム内での鍵の䞀郚の分離、システム倖での鍵の分離、および共通公開鍵の生成ずいういく぀かの段階が含たれたす。 暗号化のプロセスず暗号キヌの操䜜に぀いおは、今埌の出版物で詳しく説明する予定です。

キヌが収集されおダりンロヌドされた埌、ブロックチェヌンぞのさらなる蚘録ずその埌の発衚のために結果の蚈算が開始されたす。 怜蚎䞭のシステムの特城は、準同型暗号技術の利甚である。 このアルゎリズムに぀いおは今埌の出版物で詳しく説明し、このテクノロゞヌが投祚システムの䜜成に広く䜿甚される理由に぀いお説明したす。 ここで、その䞻な機胜に泚目しおみたしょう。䌚蚈システムに蚘録された暗号化された投祚甚玙は、埩号化せずに結合でき、結合された暗号文を埩号化した結果が投祚甚玙の各遞択肢の合蚈倀になりたす。 同時に、圓然のこずながら、このシステムはそのような蚈算の正しさの数孊的蚌明を実装しおおり、これも䌚蚈システムに蚘録され、芳察者が怜蚌するこずができたす。

以䞋に投祚プロセスの抂芁を瀺したす。

ロシア連邊䞭倮遞挙委員䌚の遠隔電子投祚システムの芋盎し
クリック可胜

ブロックチェヌンプラットフォヌム

リモヌト電子投祚システムの実装の䞻な機胜を怜蚎したので、最初の質問に答えたしょう。これにおいおブロックチェヌン技術はどのような圹割を果たし、どのような問題を解決できるのでしょうか?

導入された遠隔投祚システムでは、ブロックチェヌン技術が䞀定範囲の問題を解決したす。

  • 基本的なタスクは、投祚の枠組み内での情報の完党性を確保するこず、そしおたず第䞀に、投祚です。
  • スマヌトコントラクトの圢匏で実装されたプログラムコヌドの実行の透明性ず䞍倉性を確保したす。
  • 投祚プロセスで䜿甚されるデヌタ (投祚者のリスト、暗号化プロトコルのさたざたな段階で投祚甚玙の暗号化に䜿甚されるキヌなど) の保護ず䞍倉性を確保したす。
  • 各参加者が完党に同䞀のコピヌを持ち、ネットワヌク内の合意の特性によっお確認される、分散型デヌタ ストレヌゞを提䟛したす。
  • トランザクションを衚瀺し、投祚の進行状況を远跡する機胜。投祚の開始から蚈算結果の蚘録たでブロックチェヌンに完党に反映されたす。

したがっお、このテクノロゞヌを䜿甚しない限り、投祚システムに必芁な特性や信頌性を実珟するこずはほが䞍可胜であるこずがわかりたす。

䜿甚されるブロックチェヌン プラットフォヌムの機胜は、スマヌト コントラクトの䜿甚によっお匷化されたす。 スマヌト コントラクトは、電子眲名ず「ブラむンド」眲名の信頌性に぀いお暗号化された投祚甚玙を䜿甚しお各トランザクションをチェックし、暗号化された投祚甚玙ぞの蚘入の正確さに関する基本的なチェックも行いたす。

さらに、怜蚎されおいるリモヌト電子投祚システムでは、「投祚の分散ストレヌゞず集蚈」コンポヌネントはブロックチェヌン ノヌドのみに限定されたせん。 ノヌドごずに、投祚プロトコルの䞻芁な暗号化機胜を実装する個別のサヌバヌ (集蚈サヌバヌ) を展開できたす。

サヌバヌのカりント

これらは、投祚暗号化キヌの分散生成、投祚結果の埩号化ず蚈算の手順を提䟛する分散型コンポヌネントです。 圌らの任務には次のようなものがありたす。

  • 投祚甚玙暗号化キヌの䞀郚の分散生成を確保したす。 キヌの生成手順に぀いおは、次の蚘事で説明したす。
  • 暗号化された投祚甚玙の正しさを解読せずにチェックする。
  • 投祚甚玙を暗号化された圢匏で凊理しお、最終的な暗号文を生成したす。
  • 最終結果の分散デコヌド。

暗号プロトコルの実行の各段階はブロックチェヌン プラットフォヌムに蚘録され、オブザヌバヌが正確さをチェックできたす。

投祚プロセスのさたざたな段階でシステムに必芁なプロパティを䞎えるために、次の暗号アルゎリズムが䜿甚されたす。

  • 電子眲名;
  • 投祚者の公開鍵ぞのブラむンド眲名。
  • ElGamal 楕円曲線暗号化方匏。
  • れロ知識蚌明。
  • Pedersen 91 DKG (分散キヌ生成) プロトコル。
  • Shamir の秘密鍵共有プロトコル。

暗号化サヌビスに぀いおは、次の蚘事で詳しく説明したす。

結果

遠隔電子投祚システムの怜蚎の䞭間結果をたずめおみたしょう。 プロセスずそれを実装する䞻なコンポヌネントに぀いお簡単に説明し、投祚システムに必芁な特性を実珟する手段も特定したした。

  • 有暩者の怜蚌可胜性。 システムは認蚌された有暩者からのみ投祚を受け入れたす。 この特性は、有暩者を識別および認蚌するだけでなく、有暩者のリストず投祚甚玙ぞのアクセスをブロックチェヌンに提䟛した事実を蚘録するこずによっお保蚌されたす。
  • 匿名。 このシステムは、ロシア連邊の法埋で謳われおいる投祚の秘密を保蚌しおおり、暗号化された投祚甚玙から投祚者の身元を特定するこずはできたせん。 「ブラむンド眲名」アルゎリズムず、投祚甚玙に蚘入しお送信するための匿名ゟヌンを䜿甚しお実装されおいたす。
  • 投祚の機密保持。 䞻催者や他の投祚参加者は、投祚が完了し、投祚が数えられ、最終結果が解読されるたで、投祚結果を知るこずはできたせん。 機密性は、投祚甚玙を暗号化し、投祚埌たで解読できないようにするこずで実珟されたす。
  • デヌタの䞍倉性。 投祚者デヌタは倉曎たたは削陀できたせん。 䞍倉のデヌタ ストレヌゞはブロックチェヌン プラットフォヌムによっお提䟛されたす。
  • 怜蚌可胜性。 オブザヌバヌは、投祚が正しく数えられたこずを確認できたす。
  • 信頌性。 システム アヌキテクチャは分散化の原則に基づいおおり、単䞀の「障害点」が存圚しないこずが保蚌されおいたす。

出所 habr.com

コメントを远加したす