論文の概要: Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets
- arxiv url: http://arxiv.org/abs/2407.19212v1
- Date: Sat, 27 Jul 2024 08:45:34 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-30 19:21:07.437535
- Title: Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets
- Title（参考訳）: 協調的なCP-NIZK: 分散シークレットのためのモジュール的で構成可能な証明
- Authors: Mohammed Alghazwi, Tariq Bontekoe, Leon Visscher, Fatih Turkmen,
- Abstract要約: 構成性により、ユーザーは異なるNIZKを組み合わせられる。
我々は、NIZKのコラボレーティブ・コミット・アンド・プロブのための、最初の一般的な定義を示す。
- 参考スコア（独自算出の注目度）: 3.3373764108905455
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Non-interactive zero-knowledge (NIZK) proofs of knowledge have proven to be highly relevant for securely realizing a wide array of applications that rely on both privacy and correctness. They enable a prover to convince any party of the correctness of a public statement for a secret witness. However, most NIZKs do not natively support proving knowledge of a secret witness that is distributed over multiple provers. Previously, collaborative proofs [51] have been proposed to overcome this limitation. We investigate the notion of composability in this setting, following the Commit-and-Prove design of LegoSNARK [17]. Composability allows users to combine different, specialized NIZKs (e.g., one arithmetic circuit, one boolean circuit, and one for range proofs) with the aim of reducing the prove generation time. Moreover, it opens the door to efficient realizations of many applications in the collaborative setting such as mutually exclusive prover groups, combining collaborative and single-party proofs and efficiently implementing publicly auditable MPC (PA-MPC). We present the first, general definition for collaborative commit-and-prove NIZK (CP-NIZK) proofs of knowledge and construct distributed protocols to enable their realization. We implement our protocols for two commonly used NIZKs, Groth16 and Bulletproofs, and evaluate their practicality in a variety of computational settings. Our findings indicate that composability adds only minor overhead, especially for large circuits. We experimented with our construction in an application setting, and when compared to prior works, our protocols reduce latency by 18-55x while requiring only a fraction (0.2%) of the communication.
- Abstract（参考訳）: 非対話的ゼロ知識(NIZK)の知識証明は、プライバシと正当性の両方に依存する広範囲のアプリケーションを実現する上で、極めて関連性があることが証明されている。
証明者は、秘密の証人に対する公言の正当性をいかなる当事者にも納得させることができる。
しかし、ほとんどのNIZKは、複数のプローバーに分散した秘密の目撃者の知識の証明をネイティブにサポートしていない。
以前は、この制限を克服するために共同証明[51]が提案されていた。
本稿では,レゴSNARK[17]のコミット・アンド・プロブ設計に従って,コンポーザビリティの概念を考察する。
構成性により、ユーザーは異なる特殊なNIZK(例えば、1つの算術回路、1つのブール回路、1つのレンジ証明)を、証明生成時間を短縮するために組み合わせることができる。
さらに、相互排他的な証明グループ、協調的な証明と単一パーティの証明を組み合わせること、公的な監査可能なMPC(PA-MPC)を効率的に実装することなど、協調的な環境で多くのアプリケーションの効率的な実現への扉を開く。
本稿では,知識の協調的コミット・アンド・プロブNIZK(CP-NIZK)証明の最初の一般定義を示し,その実現を目的とした分散プロトコルの構築を行う。
我々は、一般的なNIZKであるGroth16とBulletproofのプロトコルを実装し、その実用性を様々な計算環境で評価する。
コンポーザビリティは,特に大型回路において,わずかなオーバーヘッドしか生じないことが示唆された。
アプリケーション設定で構築実験を行い、以前の作業と比較すると、通信の分数(0.2%)しか必要とせず、レイテンシーを18～55倍削減しました。
関連論文リスト
- Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。
既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。
我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
論文 参考訳（メタデータ） (2024-05-24T17:33:10Z) - Security of hybrid BB84 with heterodyne detection [0.0]
量子鍵分布(QKD)は物理学の法則に基づく永続的なセキュリティを約束する。
最近のハイブリッドQKDプロトコルは、両方のカテゴリの利点を活用するために導入されている。
我々は2021年にQiによって導入されたプロトコルの厳密なセキュリティ証明を提供し、そこでは情報を離散変数に符号化する。
論文 参考訳（メタデータ） (2024-02-26T19:00:01Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - Experimental Implementation of A Quantum Zero-Knowledge Proof for User
Authentication [0.39845810840390733]
アイデンティティ認証のための新しい対話型量子ゼロ知識プロトコルを提案し、実証した。
プロトコル設計は、事前共有された秘密を知っている検証者及び証明者を含み、証明の受理又は拒否は量子ビット誤り率によって決定される。
論文 参考訳（メタデータ） (2024-01-17T19:00:00Z) - Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum
Key Distribution Protocols [4.58733012283457]
本稿では,一般的なDM CV-QKDプロトコルに対して,独立かつ同一に分散された集団攻撃に対する構成可能な有限サイズセキュリティ証明を提案する。
我々は、セキュア鍵レートの厳密な下限を計算するために、数値的なセキュリティ証明手法を拡張し、適用する。
その結果,少なくとも72kmの伝送距離で実験可能な条件下では,セキュアな有限サイズ鍵レートが得られることがわかった。
論文 参考訳（メタデータ） (2023-01-20T17:16:21Z) - Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive
Privacy Analysis and Beyond [57.10914865054868]
垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。
我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
論文 参考訳（メタデータ） (2022-07-19T05:47:30Z) - Multi-party Semi-quantum Secret Sharing Protocol based on Measure-flip and Reflect Operations [1.3812010983144802]
半量子秘密共有(SQSS)プロトコルは、量子セキュアなマルチパーティ計算の基本的なフレームワークとして機能する。
本稿では,多粒子GHZ状態に基づく新しいSQSSプロトコルを提案する。
論文 参考訳（メタデータ） (2021-09-03T08:52:17Z) - Round-robin differential phase-time-shifting protocol for quantum key
distribution: theory and experiment [58.03659958248968]
量子鍵分布(QKD)は、遠隔者間で共通の暗号鍵の確立を可能にする。
近年,信号の乱れの監視を回避できるQKDプロトコルが提案され,初期の実験で実証されている。
我々は,ラウンドロビン差動位相シフトプロトコルのセキュリティ証明を,集団攻撃シナリオにおいて導出する。
その結果,RRDPTSプロトコルは高い量子ビット誤り率の条件下で,RDPSと比較して高い秘密鍵レートが得られることがわかった。
論文 参考訳（メタデータ） (2021-03-15T15:20:09Z) - Joint Contrastive Learning with Infinite Possibilities [114.45811348666898]
本稿では,新しい確率論的モデリングによるコントラスト学習における最近の発展の有用性について考察する。
コントラスト学習(Joint Contrastive Learning, JCL)という,コントラスト学習の特定の形態を導出する。
論文 参考訳（メタデータ） (2020-09-30T16:24:21Z) - Co-Saliency Detection with Co-Attention Fully Convolutional Network [47.26829884104539]
共塩分検出は、関連した画像のグループから一般的な塩分物を検出することを目的としている。
我々は、コアテンションFCN(CA-FCN)と呼ばれる、コアテンションモジュール組み込みFCNフレームワークを提案する。
論文 参考訳（メタデータ） (2020-08-20T11:52:40Z) - Multi-theorem (Malicious) Designated-Verifier NIZK for QMA [4.264192013842096]
マルチセオラムセキュリティを備えたQMAのための非対話型ゼロ知識引数システムを提案する。
我々の技術は古典的だが量子プロトコルに向いており、QMAのための再利用可能なMDV-NIZKの構築を可能にしている。
論文 参考訳（メタデータ） (2020-07-25T13:14:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。