論文の概要: Making Quantum Local Verifiers Simulable with Potential Applications to
Zero-Knowledge
- arxiv url: http://arxiv.org/abs/2209.10798v1
- Date: Thu, 22 Sep 2022 06:00:38 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-25 18:16:47.480822
- Title: Making Quantum Local Verifiers Simulable with Potential Applications to
Zero-Knowledge
- Title（参考訳）: ゼロ知識への可能性を考慮した量子局所検証
- Authors: Lijie Chen and Ramis Movassagh
- Abstract要約: 局所量子検証器は, 完全性や音質をわずかに低下させることで, シミュレーション可能であることを示す。
我々は、Chen と Movassagh の簡潔な量子論証をシミュレーション可能な局所検証器に適用することは、確かにゼロ知識であると予想する。
- 参考スコア（独自算出の注目度）: 1.5787663289343947
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recently Chen and Movassagh proposed the quantum Merkle tree, which is a
quantum analogue of the well-known classical Merkle tree. It gives a succinct
verification protocol for quantum state commitment. Although they only proved
security against semi-honest provers, they conjectured its general security.
Using the proposed quantum Merkle tree, they gave a quantum analogue of
Kilian's succinct argument for NP, which is based on probabilistically
checkable proofs (PCPs). A nice feature of Kilian's argument is that it can be
extended to a zero-knowledge succinct argument for NP, if the underlying PCP is
zero-knowledge. Hence, a natural question is whether one can also make the
quantum succinct argument by Chen and Movassagh zero-knowledge as well.
This work makes progress on this problem. We generalize the recent result of
Broadbent and Grilo to show that any local quantum verifier can be made
simulable with a minor reduction in completeness and soundness. Roughly
speaking, a local quantum verifier is simulable if in the yes case, the local
views of the verifier can be computed without knowing the actual quantum proof;
it can be seen as the quantum analogue of the classical zero-knowledge PCPs.
Hence we conjecture that applying the proposed succinct quantum argument of
Chen and Movassagh to a simulable local verifier is indeed zero-knowledge.
- Abstract（参考訳）: 最近、ChenとMovassaghは、有名な古典メルクル木の量子アナログである量子メルクル木を提案した。
量子状態のコミットメントに対する簡潔な検証プロトコルを提供する。
彼らは半正直なプローバーに対するセキュリティを証明しただけだったが、一般のセキュリティを推測した。
提案された量子メルクル木を用いて、彼らは確率的にチェック可能な証明(PCPs)に基づく、キリアンのNPの簡潔な引数の量子アナログを与えた。
キリアンの議論のよい特徴は、基礎となるPCPがゼロ知識であれば、NPのゼロ知識簡潔な引数に拡張できることである。
したがって、自然な疑問は、chen と movassagh のゼロ知識による量子簡潔な議論もできるかどうかである。
この仕事はこの問題に進展をもたらす。
ブロードベントとグリロの最近の結果を一般化し、任意の局所量子検証器を完全性と健全性の小さな減少でシミュレートできることを示した。
おおまかに言えば、局所量子検証器は、正の場合、検証器の局所的なビューを実際の量子証明を知らずに計算でき、古典的なゼロ知識PCPの量子アナログと見なすことができる。
したがって、Chen と Movassagh の簡潔な量子論証をシミュレート可能な局所検証器に適用することは、確かにゼロ知識である。
関連論文リスト
- Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18: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) - Towards understanding the power of quantum kernels in the NISQ era [79.8341515283403]
量子カーネルの利点は,大規模データセット,計測回数の少ないもの,システムノイズなどにおいて消失することを示した。
我々の研究は、NISQデバイス上で量子優位性を得るための先進量子カーネルの探索に関する理論的ガイダンスを提供する。
論文 参考訳（メタデータ） (2021-03-31T02:41:36Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳（メタデータ） (2021-03-15T05:09:17Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。