論文の概要: Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification

• arxiv url: http://arxiv.org/abs/2604.18163v2
• Date: Tue, 21 Apr 2026 17:02:34 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-22 14:04:47.941692
• Title: Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification
• Title（参考訳）: Audit-or-Cast:プライバシ保護による公正な選挙の実施
• Authors: Aman Rojjha, Gaurang Tandon, Varul Srivastava, Kannan Srinathan,
• Abstract要約: ACEは,公的な監査可能性と強力なプライバシ保証を両立させる投票プロトコルである。 信頼性のあるクライアントを使わずに、エンドツーエンドの検証性、公然と高い評価結果、強力なレシートフリーを同時に達成できることが示される。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Electronic voting systems must balance public verifiability with voter privacy and coercion resistance. Existing cryptographic protocols typically achieve end-to-end verifiability by revealing vote distributions, relying on trusted clients, or enabling transferable receipts - design choices that often compromise trust or privacy in real-world deployments. We present ACE, a voting protocol that reconciles public auditability with strong privacy guarantees. The protocol combines a publicly verifiable, tally-hiding aggregation mechanism with an Audit-or-Cast challenge that enforces cast-as-intended even under untrusted client assumptions. Tallier-side re-randomization eliminates persistent links between voters and public records, yielding information-theoretic receipt-freeness assuming at least one honest tallier. We formalize the security of ACE and show that it simultaneously achieves end-to-end verifiability, publicly tally-hiding results, and strong receipt-freeness without trusted clients.
• Abstract（参考訳）: 電子投票システムは、公共の妥当性と有権者のプライバシーと強制抵抗のバランスをとる必要がある。 既存の暗号プロトコルは一般的に、投票の配布を明らかにしたり、信頼できるクライアントに依存したり、転送可能なレシートを有効にすることで、エンド・ツー・エンドの検証性を達成する。 ACEは,公的な監査可能性と強力なプライバシ保証を両立させる投票プロトコルである。 このプロトコルは、信頼できないクライアントの前提の下でさえキャスト・アズ・インダクトを強制するAudit-or-Castチャレンジと、公に検証可能な、高いハイディングのアグリゲーションメカニズムを組み合わせる。 タリエ側の再ランダム化は有権者と公開記録の間の永続的なリンクを排除し、少なくとも1つの正直な高官を仮定する情報理論的レシート自由性をもたらす。 ACEのセキュリティを形式化し、エンドツーエンドの検証性、公に高い評価結果、信頼性のあるクライアントなしでの強力なレシートフリー化を同時に達成することを示す。

関連論文リスト

• Poster: Privacy-Preserving Compliance Checks on Ethereum via Selective Disclosure [9.47737368469032]
  本研究は,属性検証と識別情報の分離を目的とした,一般的な選択開示フレームワークを提案する。 このフレームワークは、クライアントサイドのzk-SNARKを利用することで、基礎となるID文書を公開せずに、特定の適性予測を証明できる。 予備的な結果は、厳格なコンプライアンス要件が無視可能なクライアント側のレイテンシで満たされることを示している。
  論文  参考訳（メタデータ） (2026-02-20T14:54:22Z)
• Your Privacy Depends on Others: Collusion Vulnerabilities in Individual Differential Privacy [50.66105844449181]
  個々の差別的プライバシ(iDP)は、ユーザが自身のプライバシをコントロールすることを約束するが、この約束は実際には破られる可能性がある。 我々は、サンプリングベースのiDPメカニズムにおいて、これまで見過ごされていた脆弱性を明らかにした。 我々は、$(varepsilon_i,_i,overline)$-iDPというプライバシー契約を提案します。
  論文  参考訳（メタデータ） (2026-01-19T10:26:12Z)
• VeilAudit: Breaking the Deadlock Between Privacy and Accountability Across Blockchains [2.676349883103404]
  ブロックチェーンシステムにおけるクロスチェーンの相互運用性は、ユーザのプライバシと規制説明責任の根本的な緊張を露呈する。 本稿では,Auditor Only Linkabilityを導入するクロスチェーン監査フレームワークであるVeilAuditを紹介する。 VeilAuditは、ユーザ生成のLinkable Audit Tagでこれを実現する。これは、ユーザマスタウォレットアドレスを公開せずに、その妥当性を証明するための知識証明をゼロに埋め込むものだ。
  論文  参考訳（メタデータ） (2025-10-14T05:16:23Z)
• Are Voters Willing to Collectively Secure Elections? Unraveling a Practical Blockchain Voting System [0.0]
  本稿では,投票者自身が秘密保持者として参加して投票の秘密を守ることを目的とした,安全な投票という概念を提案する。 実用的なブロックチェーンベースの集合的安全な投票システムの設計と実装を行う。 結果は、秘密保持者としての行動、株式公開への信頼性の高い参加、提案システムに対する高いセキュリティ信頼を示す。
  論文  参考訳（メタデータ） (2025-10-09T18:02:40Z)
• SD-BLS: Privacy Preserving Selective Disclosure of Verifiable Credentials with Unlinkable Threshold Revocation [0.0]
  本稿では,デジタル認証情報の選択的開示とプライバシ保護のための方法を提案する。 2階楕円曲線とBoneh-Lynn-Shacham(BLS)符号を用いる。 システムのユニークな設計は、大規模なリコールリストであっても、非常に高速なリコールチェックを可能にする。
  論文  参考訳（メタデータ） (2024-06-27T09:41:13Z)
• The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording [51.82772358241505]
  リスクリミット監査(リスクリミット監査、RLA)は、大規模な選挙の結果を検証する技術である。 我々は、効率を改善し、統計力の進歩を提供する監査の新たなファミリーを定めている。 新しい監査は、複数の可能なマーク解釈を宣言できるように、キャストボイトレコードの標準概念を再考することで実現される。
  論文  参考訳（メタデータ） (2024-02-09T16:23:54Z)
• FedGT: Identification of Malicious Clients in Federated Learning with Secure Aggregation [69.75513501757628]
  FedGTは、フェデレーション学習における悪意のあるクライアントを安全なアグリゲーションで識別するための新しいフレームワークである。 我々はPillutlaらによって最近提案された幾何的中央値に基づいて,FedGTがプライベートロバストアグリゲーションアプローチを著しく上回っていることを示す。
  論文  参考訳（メタデータ） (2023-05-09T14:54:59Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。