ロシア連邊のCECのリモヌト電子投祚システムの抂芁

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



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



システム芁求



すべおの投祚システムに適甚される基本的な芁件は、埓来の察面投祚ずリモヌト電子投祚の䞡方で䞀般的に同じであり、2002幎6月12日の連邊法第67-FZ号2020幎7月31日に改正で定矩されおいたす。遞挙暩ずロシア連邊垂民のレファレンダムに参加する暩利」。



  1. 垂民の意志の衚明を支配する可胜性を陀いお、遞挙や囜民投祚ぞの投祚は秘密である第7条。
  2. 投祚の可胜性は、その投祚に積極的な怒りを持っおいる人にのみ提䟛されるべきです。
  3. 1人の投祚者-1人の投祚、「二重」投祚は蚱可されおいたせん。
  4. 投祚プロセスは、有暩者ずオブザヌバヌに察しおオヌプンで透過的である必芁がありたす。
  5. キャスト投祚の䞀貫性を確保する必芁がありたす。
  6. 投祚が完了する前に、投祚の小蚈を蚈算するこずはできたせん。


぀たり、投祚者、遞挙委員䌚、オブザヌバヌの3人の参加者がいお、その間で察話の順序が決定されたす。積極的なサフラヌゞュは垂民暩ず登録堎所に関連しおいるため、4番目の参加者である領土内の垂民の登録を行う機関たず、内務省やその他の執行機関を遞び出すこずも可胜です。



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



盞互䜜甚プロトコル



バロットボックスず玙のバロットを䜿甚した、埓来のポヌリングステヌションでの投祚プロセスを怜蚎しおください。䞀般的に、簡略化された圢匏は次のようになりたす。有暩者がポヌリングステヌションに来お、身分蚌明曞パスポヌトを提瀺したす。校区遞挙委員䌚は校区で働き、そのメンバヌは、以前に線集された投祚者リストでの投祚者の身元ず圌の存圚をチェックしたす。有暩者が芋぀かった堎合、委員䌚のメンバヌが有暩者に投祚甚玙を発行し、有暩者は投祚甚玙を受け取るために眲名したす。その埌、投祚者は投祚ブヌスに行き、投祚甚玙に蚘入し、投祚ボックスに入れたす。すべおの手順が法埋に埓っお厳密に遵守されるようにするために、オブザヌバヌ候補者の代衚者、公的監芖機関がすべおを監芖しおいたす。投祚の完了埌、オブザヌバヌの立䌚いの䞋で、遞挙委員䌚は投祚を数え、投祚結果を確立するものずする。



埓来の投祚システムでの投祚に必芁なプロパティは、組織的な措眮ず参加者の盞互䜜甚のための確立された手順によっお提䟛されたす投祚者パスポヌトの確認、投祚の個人眲名、投祚ブヌスず封印された投祚ボックスの䜿甚、投祚のカりント手順など。



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



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



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



システムコンポヌネント



技術的な芳点から、DEGシステムは゜フトりェアずハ​​ヌドりェアの耇合䜓以䞋、PTCであり、䞀連のコンポヌネントを組み合わせお、単䞀の情報環境で遞挙プロセスの参加者の盞互䜜甚を保蚌したす。



次の図に、DEGPTCシステムのコンポヌネントず参加者の盞互䜜甚のスキヌムを瀺したす。クリック可胜









リモヌト投祚プロセス



ここで、リモヌト電子投祚のプロセスず、DEG゜フトりェアおよびハヌドりェアコンプレックスのコンポヌネントによるその実装に぀いお詳しく考えおみたしょう。



リモヌト電子投祚の手順によるず、リモヌト電子投祚の参加者のリストに含たれるためには、有暩者は州のサヌビスポヌタルで申請曞を提出する必芁がありたす。同時に、このような申請曞は、アカりントが確認され、GAS「Vybory」システムのレファレンダムの参加者である有暩者登録ずの照合に成功したナヌザヌのみが提出できたす。申請曞を受け取った埌、投祚者デヌタはロシアのCECによっお再床チェックされ、「投祚者リスト」コンポヌネントにアップロヌドされたす。PTK床アップロヌドプロセスには、ブロックチェヌン内の䞀意の識別子の蚘録が䌎いたす。遞挙委員䌚のメンバヌずオブザヌバヌは、遞挙委員䌚の敷地内にある特別なAWPを䜿甚しおリストを衚瀺するこずができたす。



有暩者がポヌリングステヌションを蚪問するず、圌/圌女の認蚌パスポヌトデヌタずの比范ず有暩者リストでの識別が行われ、この有暩者が以前に投祚を受け取ったこずがないこずを確認したす。ここに重芁なポむントがありたす。投祚者が受け取った投祚甚玙を投祚ボックスに萜ずしたかどうかを確認するこずは䞍可胜であり、投祚甚玙がすでに以前に発行されおいるずいう事実だけです。 PTK DEGの堎合、有暩者の蚪問は、DEGポヌタルぞのナヌザヌのアピヌルです。-これはvybory.gov.ruにあるサむトです。埓来の地区ず同様に、このサむトには、進行䞭の遞挙キャンペヌンに関する情報資料、候補者に関する情報、およびその他の情報が含たれおいたす。識別ず認蚌を実行するには、State ServicesPortalのESIAを䜿甚したす。したがっお、身分蚌明曞の䞀般的なスキヌムは、申請曞の提出時ず投祚ぞの参加時の䞡方で保持されたす。



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



次に、投祚者は、遞択内容を確認できない堎所クロヌズドブヌスで投祚甚玙に蚘入したす。情報システムで投祚者がリモヌトで投祚する堎合、そのような堎所はナヌザヌの個人甚デバむスのみです。これを行うには、ナヌザヌは最初に別のドメむン匿名ゟヌンに転送されたす。先に進む前に、VPN接続を起動しおIPアドレスを倉曎できたす。このドメむンは、ニュヌスレタヌが衚瀺され、ナヌザヌの遞択が凊理される堎所です。ナヌザヌのデバむスで実行される゜ヌスコヌドは最初は開いおいたす-ブラりザで確認できたす。



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



プロトコルの最も重芁な特城の1぀は、完了前に投祚結果を芋぀けるこずができないこずです。埓来の境内では、これはバロットボックスを密閉し、オブザヌバヌが監芖するこずで保蚌されたす。デゞタル通信では、最良の解決策は投祚者の遞択を暗号化するこずです。䜿甚される暗号化アルゎリズムは、投祚が完了する前に結果を開瀺する可胜性を排陀したす。このために、2぀のキヌを持぀スキヌムが䜿甚されたす。すべおの参加者に知られおいる1぀の公開キヌが音声の暗号化に䜿甚されたす。同じキヌで埩号化するこずはできたせん。2番目のプラむベヌトキヌが必芁です。䞀方、秘密鍵は、遞挙参加者遞挙委員䌚のメンバヌ、公䌚議所、カりントサヌバヌのオペレヌタヌなど間で共有されるため、鍵の各郚分が圹に立たなくなりたす。秘密鍵が収集された埌でのみ、埩号化を開始できたす。怜蚎䞭のシステムでは、キヌ共有手順には、システム内でのキヌの䞀郚の共有、システム倖でのキヌの共有、および共通の公開キヌの生成ずいういく぀かの段階が含たれたす。以䞋の出版物で、暗号化のプロセスず暗号化キヌの操䜜に぀いお詳しく説明したす。



キヌが収集されおロヌドされた埌、ブロックチェヌンでのさらなる固定ずその埌のアナりンスのために合蚈が蚈算されたす。怜蚎䞭のシステムの特城は、同圢暗号化技術の䜿甚です。このアルゎリズムに぀いおは、今埌の出版物で詳しく説明し、このテクノロゞヌが投祚システムの䜜成に広く䜿甚されおいる理由に぀いお説明したす。そしお、その䞻な機胜に泚目したしょう。䌚蚈システムに蚘録された暗号化されたバロットは、そのような結合された暗号テキストを埩号化した結果がバロットの各遞択肢の合蚈倀になるように、埩号化せずに組み合わせるこずができたす。この堎合、システムはもちろん、そのような蚈算の正しさの数孊的蚌明を実装したす。これは䌚蚈システムにも蚘録され、オブザヌバヌがチェックできたす。



以䞋は、投祚プロセスの図です。クリック可胜









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



リモヌト電子投祚システムの実装の䞻な機胜を分析したので、私たちが始めた質問に答えたす-これでブロックチェヌンテクノロゞヌはどのような圹割を果たし、どのようなタスクを解決したすか



実装されたリモヌト投祚システムでは、ブロックチェヌンテクノロゞヌが特定の範囲の問題を解決したす。



  • 基本的なタスクは、投祚のフレヌムワヌク内で情報の䞍倉性を確保するこずであり、たず第䞀に、有暩者の投祚です。
  • スマヌトコントラクトの圢匏で実装されたプログラムコヌドの実行の透明性ず䞍倉性を保蚌したす。
  • , : , , , .
  • , , .
  • , , .


したがっお、この技術を䜿甚しないず、投祚システムで必芁な特性を達成し、それを信頌するこずは事実䞊䞍可胜であるこずがわかりたす。



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



同時に、怜蚎されおいるリモヌト電子投祚システムでは、「分散ストレヌゞず投祚のカりント」コンポヌネントはブロックチェヌンノヌドだけに限定されたせん。ノヌドごずに、投祚プロトコルの基本的な暗号化機胜であるサヌバヌのカりントを実装する個別のサヌバヌを展開できたす。



カりントサヌバヌ



これらは分散型コンポヌネントであり、投祚結果の埩号化ずカりントだけでなく、投祚暗号化キヌの分散生成の手順を提䟛したす。圌らのタスクは次のずおりです。



  • バロット暗号化キヌの䞀郚の分散生成を提䟛したす。キヌ生成手順に぀いおは、次の蚘事で説明したす。
  • 暗号化された投祚の正確さを埩号化せずにチェックしたす。
  • 最終的な暗号テキストを圢成するための暗号化された圢匏の投祚の凊理。
  • 最終結果の分散埩号化。


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



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



  • 電子眲名;
  • 有暩者の公開鍵のブラむンド眲名。
  • 楕円曲線䞊のElGamal暗号化スキヌム。
  • れロ知識蚌明;
  • DKG分散キヌ生成Pedersen 91;
  • Shamirのスキヌムに埓った秘密鍵共有プロトコル。


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



結果



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



  • . . , .
  • . , , . « » .
  • . , . .
  • . . -.
  • . , .
  • . , « ».



All Articles