論文の概要: Succinct Arguments for QMA from Collapsing Hash Functions
- arxiv url: http://arxiv.org/abs/2609.35633v1
- Date: Mon, 28 Sep 2026 17:02:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-01 20:07:42.009211
- Title: Succinct Arguments for QMA from Collapsing Hash Functions
- Title（参考訳）: ハッシュ関数の衝突によるQMAのアクセント問題
- Abstract要約: 折りたたみハッシュ関数の存在を前提として,QMA に対する簡潔な引数の存在を証明した。
これは、構造化されていないMinicryptの仮定にのみ依存する最初のスキームであり、公開鍵暗号を暗示していない。
- 参考スコア（独自算出の注目度）: 17.61416772509257
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: We prove the existence of succinct arguments for QMA, assuming only the existence of collapsing hash functions. This is the first scheme that relies only on unstructured ``Minicrypt'' assumptions, which are not known to imply public-key encryption. Our main technical contribution is a quantum-succinct \emph{claw-state generation} protocol that allows us to bootstrap a small number of quantum correlations into an arbitrarily large number of claw-state correlations, using classical communication only. This improves upon the work of [Zhang, STOC 2021], having better round complexity, a proof in the standard model, and being overall much simpler. This yields a quantum-succinct blind delegation of quantum computation protocol from one-way functions, which we plug into the communication-compression compiler of [Bartusek, Liu, and Malavolta, EUROCRYPT 2026] to obtain succinct arguments for QMA.
- Abstract（参考訳）: 折りたたみハッシュ関数の存在を前提として,QMA に対する簡潔な引数の存在を証明した。
これは、構造化されていない ``Minicrypt'' の仮定にのみ依存する最初のスキームである。
我々の主な技術的貢献は、古典的な通信のみを使用して、少数の量子相関を任意に多数の爪状態相関にブートストラップできる量子簡潔な \emph{claw-state generation} プロトコルである。
これにより、[Zhang, STOC 2021]の作業が改善され、ラウンドの複雑さが向上し、標準モデルの証明がより簡単になります。
これにより、[Bartusek, Liu, and Malavolta, EUROCRYPT 2026] の通信圧縮コンパイラに差し込み、QMAの簡潔な引数を得る。
関連論文リスト
- Verifiable quantum advantage in extremely low depth [52.51019642214249]
浅量子回路では解けない問題を格子ベースの仮定で解くのが困難である。
浅量子回路は、解を効率よく検証できる古典的な難題を解くのに十分な構造を持っていることを証明している。
論文 参考訳（メタデータ） (2026-09-01T15:54:34Z) - A Modular Approach to Succinct Arguments for QMA [17.20526790095253]
我々は、QMAの簡潔な議論の暗号的基礎を広げる新しいフレームワークを開発する。
特に、LWEの硬さに依存しないQMAの最初の簡潔で古典的に検証可能な引数システムを得る。
我々のコンパイラはZhang(QCrypt 25)の量子剛性に基づく通信圧縮技術を拡張している
論文 参考訳（メタデータ） (2026-06-03T21:38:23Z) - How to Verify that a Small Device is Quantum, Unconditionally [12.663567847694427]
量子性の証明(PoQ)により、量子機械が任意の古典機械で不可能な計算を実行しているかどうかを、古典的検証者が効率的に検証することができる。
本稿では,証明者のメモリ上のバウンダリを仮定して,音質が無条件に保持されるPoQプロトコルを構築するための新しい手法を提案する。
論文 参考訳（メタデータ） (2025-05-29T20:09:22Z) - Succinct arguments for QMA from standard assumptions via compiled nonlocal games [1.6124402884077915]
汎用的および標準的な暗号仮定からQMAのための簡潔な古典的引数システムを構築する。
我々の主な技術的貢献は、パウリ測定のための簡潔な自己検査に適用された際の、この変換の健全性を分析することである。
論文 参考訳（メタデータ） (2024-04-30T17:58:06Z) - 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) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳（メタデータ） (2022-06-29T22:19:12Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳（メタデータ） (2021-12-09T19:00:00Z) - Classically-Verifiable Quantum Advantage from a Computational Bell Test [0.0]
本稿では,量子計算の優位性を示すための新しい対話型プロトコルを提案し,解析する。
我々のプロトコルは、トラップドア・クローフリー関数(TCF)の暗号的難しさに依存している。
本稿では,プロトコルの実装効率を向上する2つの独立イノベーションについて述べる。
論文 参考訳（メタデータ） (2021-04-01T18:00:00Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。