MultiBallot: Verifiable and privacy-preserving E-Collecting in the Swiss setting
本論文は、匿名チャネルを必要とせずに参加者のプライバシーを保証するために複数のアクティブな収集の並列性を活用し、スイスにおける電子署名の収集のための安全でプライバシーを保護し、検証可能なプロトコルを提案する。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
スイスを、町の運営方法について新しい規則や変更を人々が絶えず提案する、巨大で賑やかな広場だと想像してみてください。この町では、市民は選挙日を待つだけでなく、いつでも特定の議題について投票を強制するための「署名活動」を開始できます。十分な人数が署名すれば、町全体がその議題について投票しなければなりません。
問題は、現在これらの署名活動が主に紙で行われていることです。紙は遅く、紛失しやすく、時には署名の偽造によって不正を試みる者もいます。この論文の著者、フローリアン・モザーとレオ・ルイスティスランは、このプロセスをオンライン化したいと考えていますが、2 つの非常に厳格なルールを設けています：
- プライバシー：誰がどの特定の運動に署名したか、誰も知ってはいけません。
- 検証可能性：あなたの署名がカウントされたことを証明できなければならず、また町は最終的な集計が正しいことを証明できなければなりません。
以下に、彼らの「MultiBallot」と呼ばれる解決策が、簡単な比喩を用いてどのように機能するかを説明します。
大きな問題：「沈黙する」署名
通常の選挙では、「はい」または「いいえ」で投票します。「はい」と投票すれば、投票したことは明白です。しかし署名活動では、あなたは常に「はい」と投票しているだけです。請願書に署名すれば、「これを支持する」と言っていることになります。
厄介な点は、スイスでは多数の署名活動が同時に発生していることです。あるものは新しい公園の建設について、別のものは税金の引き下げについて、さらに別のものは学校の時間割の変更についてかもしれません。
- 従来の方法：あなたが「公園」の請願書に署名すれば、システムはあなたが「公園」の請願書に署名したことを知ります。他のものに署名しなければ、システムはあなたがそれらに署名しなかったことを知ります。これはプライバシーを漏洩させます。
- 新しい方法（MultiBallot）：システムは、すべての進行中の請願書を単一の巨大な「メニュー」として扱います。あなたがシステムと対話する際、単に一つの商品を選ぶのではなく、メニュー全体を更新します。
核心的なマジック：「再暗号化」マスク
国中のすべての進行中の請願書に対して、鍵のかかった箱が一つずつあると想像してください。
- デフォルト状態：すべての箱は鍵がかかり、「0」（「まだこれに署名していない」を意味する）が含まれています。
- アクション：あなたが「公園」の請願書に署名したい場合、その箱だけを開けるわけではありません。メニュー上のすべての箱を取り出し、中身を入れ替えます。
- 「公園」の箱については、「0」を「1」（「署名済み！」を意味する）に交換します。
- 他のすべての箱（税金、学校など）については、既存の「0」を取り出し、箱を振って（再暗号化して）、元に戻します。外部の観察者にとって、箱は完全に異なって見えますが、中身は依然として「0」です。
なぜこれが優れているのか？
あなたが同時にすべての箱を更新したため、あなたのメニューを外部から観察する者は、どの箱を実際に「1」に変更したのかを特定できません。彼らが目にするのは、あなたがメニュー全体を更新したという事実だけです。あなたは公園の請願書に署名したのか、税金の請願書に署名したのか、あるいは両方に署名したのか。彼らにとっては謎のままです。これが、秘密の匿名トンネルを必要とせずにプライバシーを隠す方法です。
「2 台のデバイス」による安全網
誰かが不正を行わないようにするため、システムはすべての市民に対して 2 つの異なるデバイスを使用します：
- 参加デバイス（あなたのスマートフォン）：実際に署名をクリックする場所です。このデバイスがあなたの秘密を安全に保つことを信頼します。
- 監査デバイス（別のタブレットまたはコンピュータ）：これは領収書プリンターのようなものです。署名した後、この 2 番目のデバイスを確認します。これは公開記録から「鍵のかかった箱」をダウンロードし、あなたに対してのみそれらを解錠します。そして、「はい、あなたは公園の請願書に署名しました」と表示します。
もしあなたのスマートフォンが不正を試み（例えば、税金の請願書に署名したのに、公園の請願書に署名したとあなたに告げる場合）、あなたの監査デバイスが真実を明らかにします。スマートフォンと監査デバイスが一致すれば、あなたの署名が安全にカウントされたことがわかります。
「公開台帳」（掲示板）
町の広場に、ガラス張りの巨大な黒板があると想像してください。誰かが請願書に署名するたびに、その更新をこの黒板に書き込みます。
- 透明性：誰でもこの黒板を見ることができます。
- 証明：すべての更新には「数学的シール」（ゼロ知識証明）が付属しています。このシールは、何を計算したかを明かさずに、「私は計算を正しく行いました」と証明します。
- 消去不可：一度この黒板に何かが書かれると、消したり変更したりすることはできません。これにより不正が防止されます。
「現実世界」の混乱への対応
著者たちは、生活が完璧ではないことを理解しています。人々は引っ越しをしたり、18 歳になったり、亡くなったりします。
- 資格リスト：署名を許可されている人を常に更新する信頼できる「名簿」（有権者登録のようなもの）があります。あなたが新しい町に引っ越すと、システムは自動的にあなたの地域請願書への署名権限を更新します。
- 紙とデジタルの併用：このシステムは、一部の人々が紙で署名し、他の人々がオンラインで署名する場合でも機能するように設計されています。「紙」の署名はデジタルのものと同様に扱われ、同じ鍵のかかった箱システムに入力されるため、デジタル投票と公平に一緒にカウントされます。
結果
この論文は、MultiBallotが「両方の世界の最善」を実現すると主張しています：
- プライバシー：あなたがどの請願書に署名したかを、他のすべての進行中の請願書の中に隠すことで隠します。
- 検証可能性：あなたの署名がカウントされたことを証明することを可能にし、また公衆が最終的な集計が正確であることを証明することを可能にします。
- 現実性：魔法のような匿名インターネットトンネルのような不可能な技術を必要とせず、同時に多数の請願書が進行するスイスの法的枠組みに適合します。
要するに、これは混沌とした署名活動の山を、あなたの「はい」がカウントされるが、あなたの特定の「はい」は秘密のままとなる、安全で透明かつプライバシーが守られたデジタルプロセスへと変えるものです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。