論文の概要: On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
- arxiv url: http://arxiv.org/abs/2409.03635v1
- Date: Thu, 5 Sep 2024 15:50:30 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-06 20:03:34.043780
- Title: On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
- Title（参考訳）: 相対論的ゼロ知識量子証明について
- Authors: Kaiyan Shi, Kaushik Chakraborty, Wen Yu Kon, Omar Amer, Marco Pistoia, Charles Lim,
- Abstract要約: 古典的コミュニケーションを伴う知識システムの相対論的ゼロ知識量子証明について検討する。
NP のすべての関係に対して知識誤差 1/2 + negl(eta) を持つ知識の量子証明が存在することを示す。
我々は、絡み合いのモノガミーと穏やかな測定レムマのアイデアを組み合わせることで、新しいマルチプロデューサ量子巻き戻し手法を開発した。
- 参考スコア（独自算出の注目度）: 1.660294296252135
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We initiate the study of relativistic zero-knowledge quantum proof of knowledge systems with classical communication, formally defining a number of useful concepts and constructing appropriate knowledge extractors for all the existing protocols in the relativistic setting which satisfy a weaker variant of the special soundness property due to Unruh (EUROCRYPT 2012). We show that there exists quantum proofs of knowledge with knowledge error 1/2 + negl({\eta}) for all relations in NP via a construction of such a system for the Hamiltonian cycle relation using a general relativistic commitment scheme exhibiting the fairly-binding property due to Fehr and Fillinger (EUROCRYPT 2016). We further show that one can construct quantum proof of knowledge extractors for proof systems which do not exhibit special soundness, and therefore require an extractor to rewind multiple times. We develop a new multi-prover quantum rewinding technique by combining ideas from monogamy of entanglement and gentle measurement lemmas that can break the quantum rewinding barrier. Finally, we prove a new bound on the impact of consecutive measurements and use it to significantly improve the soundness bound of some existing relativistic zero knowledge proof systems, such as the one due to Chailloux and Leverrier (EUROCRYPT 2017).
- Abstract（参考訳）: 我々は、古典的なコミュニケーションを伴う知識システムの相対論的ゼロ知識量子証明の研究を開始し、多くの有用な概念を正式に定義し、Unruh (EUROCRYPT 2012) による特殊音響特性の弱い変種を満たす相対論的設定において、既存のすべてのプロトコルに対して適切な知識抽出器を構築する。
知識誤差 1/2 + negl({\eta}) を持つ知識の量子証明は、Fehr と Fillinger (EUROCRYPT 2016) による有理結合性を示す一般相対論的コミットメントスキームを用いて、ハミルトニアンサイクル関係のためのシステムを構築することにより、NP のすべての関係に対して存在する。
さらに, 特殊性を示すことのできない証明システムに対して, 知識抽出器の量子的証明を構築することができ, 抽出器を複数回巻き戻す必要があることを示す。
量子巻き戻し障壁を破ることのできる絡み合いのモノガミーと温和な測定レムマのアイデアを組み合わせることで、新しいマルチプロデューサ量子巻き戻し手法を開発した。
最後に、連続測定による影響に新たな限界を証明し、Chailloux や Leverrier (EUROCRYPT 2017) など、既存の相対論的ゼロ知識証明システムの音質境界を大幅に改善する。
関連論文リスト
- Separable Power of Classical and Quantum Learning Protocols Through the Lens of No-Free-Lunch Theorem [70.42372213666553]
No-Free-Lunch(NFL)定理は、最適化プロセスに関係なく問題とデータ非依存の一般化誤差を定量化する。
我々は、様々な量子学習アルゴリズムを、特定の観測可能条件下で量子力学を学習するために設計された3つの学習プロトコルに分類する。
得られたNFL定理は, CLC-LP, ReQu-LP, Qu-LPにまたがるサンプルの複雑性を2次的に低減することを示した。
この性能差は、非直交量子状態のグローバル位相に関する情報を間接的に活用するために、量子関連学習プロトコルのユニークな能力に起因している。
論文 参考訳（メタデータ） (2024-05-12T09:05:13Z) - Entropic uncertainty relations and entanglement detection from quantum
designs [5.928675196115795]
設計構造を用いた量子計測に重点を置いたエントロピー不確実性関係と絡み付き検出について検討する。
設計構造測定におけるR'enyiエントロピー不確実性関係の改善を導出した。
設計・構造計測による多粒子絡み検出の基準を得る。
論文 参考訳（メタデータ） (2023-12-15T13:11:00Z) - Quantitative bounds to propagation of quantum correlations in many-body
systems [0.0]
我々は、多体系における量子相関を二分する限界を確立する。
その結果、宇宙における古典的な情報の拡散は量子相関を抑制することが確認された。
論文 参考訳（メタデータ） (2023-10-04T00:24:06Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - On the Concurrent Composition of Quantum Zero-Knowledge [11.09538194395154]
コンカレントコンポジションにおける量子時間検証器(量子ゼロ知識)に対するゼロ知識セキュアの概念について検討する。
この結果から,QMAの量子知識系が従来よりも優れたパラメータを持つことを示す。
論文 参考訳（メタデータ） (2020-12-05T23:09:29Z) - A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds [12.525959293825318]
我々は,統計音性およびブラックボックス$epsilon$-zero-knowledgeを満たすNPのラウンド・インタラクティブ証明を構築した。
我々の研究の核心は、シミュレーターが悪意のある検証者のコミットメッセージを抽出できる新しい量子巻き戻し技術である。
論文 参考訳（メタデータ） (2020-11-05T05:40:05Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Classical proofs of quantum knowledge [10.432041176720842]
検証者が古典的な設定で知識の証明という概念を定義する。
量子知識の非破壊的な古典的証明が何らかの状態に存在すれば、その状態は敵によってクローンできることを示す。
論文 参考訳（メタデータ） (2020-05-04T17:45:21Z) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳（メタデータ） (2020-04-24T17:58:10Z) - Entropic Uncertainty Relations and the Quantum-to-Classical transition [77.34726150561087]
我々は、不確実性関係の分析を通して見られるように、量子-古典的遷移にいくつかの光を当てることを目指している。
エントロピックな不確実性関係を用いて、2つの適切に定義された量の系を同時に作成できることを、マクロ計測のモデルに含めることによってのみ示す。
論文 参考訳（メタデータ） (2020-03-04T14:01:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。