論文の概要: Tight Post-Quantum Parallel Repetition for Private-Coin Arguments
- arxiv url: http://arxiv.org/abs/2609.38941v2
- Date: Thu, 01 Oct 2026 04:38:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-03 01:19:23.547568
- Title: Tight Post-Quantum Parallel Repetition for Private-Coin Arguments
- Title（参考訳）: プライベートコイン調合における量子後並列繰り返しの厳格化
- Abstract要約: また、同型暗号の存在を前提として、全ての対話的引数の並列反復は、後量子設定においても厳密な指数速度での音質誤差を減少させることを示した。
この結果を一般化して、並列反復検証器が少なくとも$t$の実行を受け入れた場合にのみ受け入れるしきい値検証器の保持を行う。
- 参考スコア（独自算出の注目度）: 6.771082587848244
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We show that assuming the existence of homomorphic encryption, parallel repetition of all interactive arguments (after being run under homomorphic encryption) reduces the soundness error at a tight exponential rate even in the post-quantum setting. Moreover, we generalize this result to hold for threshold verifiers, where the parallel repeated verifier accepts if and only if at least $t$ of the executions are accepted (for some threshold $t$). Prior to this work, these results were known only when the cheating prover was assumed to be classical, and it was not known how to achieve tight bounds. As a corollary, we construct the first constant-round succinct argument for $\mathsf{QMA}$ with negligible completeness and soundness errors assuming only the existence of quantum homomorphic encryption.
- Abstract（参考訳）: 準同型暗号が存在すると仮定すると、(同型暗号の下で実行される)全ての対話的引数の並列反復は、後量子設定においても、厳密な指数速度で音質誤差を減少させることを示す。
さらに、この結果をしきい値検証器に当てはめるように一般化し、並列繰り返し検証器が少なくとも$t$の実行が受け入れられた場合にのみ受け入れる(しきい値$t$の場合)。
この研究以前には、これらの結果は不正証明者が古典的であると仮定された時にのみ知られており、厳密な境界をどうやって達成するかは分かっていなかった。
コーナリーとして、量子準同型暗号の存在を前提として、無視可能な完全性および音響誤差を持つ$\mathsf{QMA}$に対する最初の定ラウンド簡潔な引数を構築する。
関連論文リスト
- Fault-Tolerant Quantum Computation with Adversarial Errors [5.5438676149999075]
対向雑音に対する量子計算のフォールトトレランス定理を証明した。
論理キューディット深さ$barT$の全ての量子回路に対して、フォールトトレラント回路を構築する。
この結果から,大域的,最悪の,マルコフ的でない雑音モデルの下では,フォールトトレラント量子計算が引き続き可能であることを示す。
論文 参考訳（メタデータ） (2026-08-17T17:40:14Z) - On the Cryptographic Structure Required for Verifying Qubits [4.440305753099884]
我々は、(ある種の)古典的なアンチ・コンミューテーションテストから強力な暗号を構築する。
量子後KAとOTの硬度増幅に関する最初の既知の結果を提供するが、通信は古典的だが、敵は量子的かもしれない。
論文 参考訳（メタデータ） (2026-06-04T00:16:07Z) - Parallel Repetition for Post-Quantum Arguments [6.862157837657654]
公開コイン対話型引数の並列反復は,時間後設定においても指数速度で音質誤差を減少させることを示す。
この結果を一般化して、並列反復検証器が少なくとも$t$の実行を受け入れた場合にのみ受け入れるしきい値検証器の保持を行う。
論文 参考訳（メタデータ） (2025-06-02T21:36:31Z) - Cloning Games, Black Holes and Cryptography [50.022147589030304]
クローンゲーム解析のための新しいツールキットを提案する。
このフレームワークにより、バイナリフェーズ状態に基づいて新しいクローンゲームを分析することができる。
連成位相の変分最適境界は、ブラックホールの理想化されたモデルで衝突する情報について定量的な洞察を与えることを示す。
論文 参考訳（メタデータ） (2024-11-07T14:09:32Z) - Quantum One-Wayness of the Single-Round Sponge with Invertible Permutations [49.1574468325115]
スポンジハッシュは、広く使われている暗号ハッシュアルゴリズムのクラスである。
これまでのところ、不規則な置換は根本的なオープンな問題のままである。
ランダムな2n$-bit置換でゼロペアを見つけるには、少なくとも$Omega(2n/2)$多くのクエリが必要である。
論文 参考訳（メタデータ） (2024-03-07T18:46:58Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳（メタデータ） (2022-06-29T22:19:12Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳（メタデータ） (2021-03-15T05:09:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。