論文の概要: On Removing Interaction from Quantum Proofs
- arxiv url: http://arxiv.org/abs/2609.38387v1
- Date: Tue, 29 Sep 2026 18:44:33 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-01 18:57:26.611292
- Title: On Removing Interaction from Quantum Proofs
- Title（参考訳）: 量子証明からの相互作用の除去について
- Abstract要約: 量子プロトコルを (Q)ROM の NIZK にコンパイルする方法は明らかではない。
量子プロトコルの一般的な "Fiat-Shamir-like" コンパイラが QROM に存在するなら、QMA = BQP である。
- 参考スコア（独自算出の注目度）: 1.2604738912025477
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: An important open question in quantum cryptography is the construction of publicly-verifiable NIZKs for QMA. Classically, one can construct NIZKs for NP in the random oracle model (and sometimes in the standard model) by compiling an honest-verifier ZK (HVZK) $Σ$-protocol for NP using the Fiat-Shamir transformation. Broadbent and Grilo introduced a quantum analog of a $Σ$-protocol (which they call a $Ξ$-protocol) in which the prover's first message is quantum, and show that HVZK $Ξ$-protocols exist for QMA. However, it is not clear how to compile such protocols into NIZKs in the (Q)ROM, because the Fiat-Shamir transformation seems to be incompatible with quantum messages. In this work we give formal evidence that this is indeed the case: we show that if generic "Fiat-Shamir-like" compilers for quantum protocols exist in the QROM (with small completeness and soundness error) then QMA = BQP.
- Abstract（参考訳）: 量子暗号における重要なオープンな疑問は、QMAのための公に検証可能なNIZKの構築である。
古典的には、ランダムなオラクルモデル(そして時として標準モデル)でNPに対するNIZKを、Fiat-Shamir変換を用いてNPに対する真正検証ZK (HVZK)$Σ$-protocolをコンパイルすることで構成することができる。
Broadbent と Grilo は、証明者の最初のメッセージが量子である$$$-protocol の量子アナログを導入し、QMA に対して HVZK $ $-protocol が存在することを示した。
しかし、Fiat-Shamir変換が量子メッセージと互換性がないように見えるため、そのようなプロトコルを(Q)ROMのNIZKにどのようにコンパイルするかは明らかではない。
量子プロトコルの一般的な "Fiat-Shamir-like" コンパイラが QROM に存在する場合、QMA = BQP であることを示す。
関連論文リスト
- Succinct Arguments for QMA in the Quantum Random Oracle Model [50.20559283775139]
量子乱数オラクルモデル(QROM)におけるQMAの最初の簡潔な議論を、暗号的仮定や証明されていない予想に頼ることなく構築する。
我々の結果は、量子インタラクティブなオラクル証明(QIOP)を同じ言語の量子引数にコンパイルする効率保存変換である。
論文 参考訳（メタデータ） (2026-09-29T12:54:55Z) - CountCrypt: Quantum Cryptography between QCMA and PP [11.502907359783542]
我々は、$mathbfBQP=mathbfQMA$の量子オラクルが存在するが、擬似ランダムユニタリが存在することを示す。
また、(多ラウンドの)QCCC鍵交換、QCCCコミットメント、および2ラウンドの量子鍵分布が、すべて片道パズルの構築に利用できることを示す。
論文 参考訳（メタデータ） (2024-10-18T18:04:27Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳（メタデータ） (2024-02-29T01:35:46Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳（メタデータ） (2022-10-12T17:54:02Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds [12.525959293825318]
我々は,統計音性およびブラックボックス$epsilon$-zero-knowledgeを満たすNPのラウンド・インタラクティブ証明を構築した。
我々の研究の核心は、シミュレーターが悪意のある検証者のコミットメッセージを抽出できる新しい量子巻き戻し技術である。
論文 参考訳（メタデータ） (2020-11-05T05:40:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。