論文の概要: On the Concurrent Composition of Quantum Zero-Knowledge
- arxiv url: http://arxiv.org/abs/2012.03139v4
- Date: Sun, 18 Jul 2021 00:02:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-22 00:46:31.691232
- Title: On the Concurrent Composition of Quantum Zero-Knowledge
- Title（参考訳）: 量子ゼロ知識の同時合成について
- Authors: Prabhanjan Ananth, Kai-Min Chung, Rolando L. La Placa
- Abstract要約: コンカレントコンポジションにおける量子時間検証器(量子ゼロ知識)に対するゼロ知識セキュアの概念について検討する。
この結果から,QMAの量子知識系が従来よりも優れたパラメータを持つことを示す。
- 参考スコア（独自算出の注目度）: 11.09538194395154
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We study the notion of zero-knowledge secure against quantum polynomial-time
verifiers (referred to as quantum zero-knowledge) in the concurrent composition
setting. Despite being extensively studied in the classical setting, concurrent
composition in the quantum setting has hardly been studied. We initiate a
formal study of concurrent quantum zero-knowledge. Our results are as follows:
-Bounded Concurrent QZK for NP and QMA: Assuming post-quantum one-way
functions, there exists a quantum zero-knowledge proof system for NP in the
bounded concurrent setting. In this setting, we fix a priori the number of
verifiers that can simultaneously interact with the prover. Under the same
assumption, we also show that there exists a quantum zero-knowledge proof
system for QMA in the bounded concurrency setting.
-Quantum Proofs of Knowledge: Assuming quantum hardness of learning with
errors (QLWE), there exists a bounded concurrent zero-knowledge proof system
for NP satisfying quantum proof of knowledge property. Our extraction mechanism
simultaneously allows for extraction probability to be negligibly close to
acceptance probability (extractability) and also ensures that the prover's
state after extraction is statistically close to the prover's state after
interacting with the verifier (simulatability). The seminal work of [Unruh
EUROCRYPT'12], and all its followups, satisfied a weaker version of
extractability property and moreover, did not achieve simulatability. Our
result yields a proof of quantum knowledge system for QMA with better
parameters than prior works.
- Abstract（参考訳）: コンカレントコンポジションにおける量子多項式時間検証器(量子ゼロ知識)に対するゼロ知識確保の概念について検討する。
古典的設定で広く研究されているにもかかわらず、量子的設定における同時構成はほとんど研究されていない。
並列量子ゼロ知識の形式的研究を開始する。
NP と QMA に対する有界並行QZK: 後量子片方向関数を仮定すると、有界並列設定における NP に対する量子ゼロ知識証明システムが存在する。
この設定では、証明者と同時に対話できる検証器の数を優先的に固定する。
同じ仮定の下では、有界並行性設定においてQMAの量子ゼロ知識証明システムが存在することも示している。
-quantum proofs of knowledge: if quantum hardness of learning with error (qlwe) を仮定すると、知識特性の量子証明を満たすnpのための有界並列ゼロ知識証明システムが存在する。
この抽出機構は、抽出確率が受理確率(抽出可能性)に無視できるほど近いことと同時に、抽出後の証明者の状態が検証者と相互作用した後の証明者の状態に統計的に近いことを保証する(同化可能性)。
また, [Unruh EUROCRYPT'12] の精巧な研究とそれに続くすべての成果は, 抽出性の弱いバージョンを満足し, さらに, 再現性は得られなかった。
その結果,qmaの量子知識システムの先行研究よりも優れたパラメータが得られた。
関連論文リスト
- On the Relativistic Zero Knowledge Quantum Proofs of Knowledge [1.660294296252135]
古典的コミュニケーションを伴う知識システムの相対論的ゼロ知識量子証明について検討する。
NP のすべての関係に対して知識誤差 1/2 + negl(eta) を持つ知識の量子証明が存在することを示す。
我々は、絡み合いのモノガミーと穏やかな測定レムマのアイデアを組み合わせることで、新しいマルチプロデューサ量子巻き戻し手法を開発した。
論文 参考訳（メタデータ） (2024-09-05T15:50:30Z) - Unconditionally Secure Commitments with Quantum Auxiliary Inputs [8.093227427119325]
2つの関連する異なるモデルにおいて、量子コミットメントに関する以下の無条件の結果を示す。
我々はChailloux, Kerenidis, Rosgen (Comput. Complex. 2016)によって導入された量子補助入力のコミットメントの概念を再考する。
我々は、コモンリファレンス量子状態(CRQS)モデルと呼ばれる新しいモデルを紹介し、コミッタとレシーバは、効率的なセットアップアルゴリズムによってランダムにサンプリングされる同じ量子状態を取る。
論文 参考訳（メタデータ） (2023-11-30T13:57:30Z) - Unifying (Quantum) Statistical and Parametrized (Quantum) Algorithms [65.268245109828]
我々はカーンズのSQオラクルとヴァリアントの弱い評価オラクルからインスピレーションを得ます。
評価クエリから学習するための非条件の下限を出力する,広範かつ直感的なフレームワークを提案する。
論文 参考訳（メタデータ） (2023-10-26T18:23:21Z) - Quantum Conformal Prediction for Reliable Uncertainty Quantification in
Quantum Machine Learning [47.991114317813555]
量子モデルは暗黙の確率予測器を実装し、測定ショットを通じて各入力に対して複数のランダムな決定を生成する。
本稿では、そのようなランダム性を利用して、モデルの不確実性を確実に捉えることができる分類と回帰の両方の予測セットを定義することを提案する。
論文 参考訳（メタデータ） (2023-04-06T22:05:21Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Approximation of the Nearest Classical-Classical State to a Quantum
State [0.0]
計算における革命的なステップは量子性または量子相関によって駆動される。
量子性の正確な定量化はNPハード問題であり、近似する代替手法を考える。
実測値と数値結果により, 目的値が流れに沿って減少することを示す。
論文 参考訳（メタデータ） (2023-01-23T08:26:17Z) - Commitments to Quantum States [11.217084610985674]
コミットフェーズの後、コミットした状態が送信者の視点から隠されている場合、量子メッセージへのコミットが結合される。
量子状態コミットメント(QSC)の隠蔽は、古典的なメッセージに対するコミットメントスキームによってもたらされることを示す。
量子状態へのコミットは多くの新しい暗号可能性への扉を開く。
論文 参考訳（メタデータ） (2022-10-11T04:34:36Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。
私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文 参考訳（メタデータ） (2021-06-29T14:01:40Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。