論文の概要: Quantum Advantage from Any Non-Local Game
- arxiv url: http://arxiv.org/abs/2203.15877v1
- Date: Tue, 29 Mar 2022 19:45:44 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-20 09:05:59.317086
- Title: Quantum Advantage from Any Non-Local Game
- Title（参考訳）: 非ローカルゲームからの量子アドバンテージ
- Authors: Yael Kalai, Alex Lombardi, Vinod Vaikuntanathan, Lisa Yang
- Abstract要約: 我々は,任意の$k$プロデューサ非ローカルゲームを単一プロデューサインタラクティブゲームにコンパイルする一般的な方法を示す。
我々のコンパイラは任意の量子同型暗号スキームを使用する。
- 参考スコア（独自算出の注目度）: 14.903809621145893
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We show a general method of compiling any $k$-prover non-local game into a
single-prover interactive game maintaining the same (quantum) completeness and
(classical) soundness guarantees (up to negligible additive factors in a
security parameter). Our compiler uses any quantum homomorphic encryption
scheme (Mahadev, FOCS 2018; Brakerski, CRYPTO 2018) satisfying a natural form
of correctness with respect to auxiliary (quantum) input. The homomorphic
encryption scheme is used as a cryptographic mechanism to simulate the effect
of spatial separation, and is required to evaluate $k-1$ prover strategies (out
of $k$) on encrypted queries.
In conjunction with the rich literature on (entangled) multi-prover non-local
games starting from the celebrated CHSH game (Clauser, Horne, Shimonyi and
Holt, Physical Review Letters 1969), our compiler gives a broad framework for
constructing mechanisms to classically verify quantum advantage.
- Abstract（参考訳）: 我々は,k$-prover非ローカルゲームから,同一(量子)完全性と(古典的)健全性保証(セキュリティパラメータの無視可能な添加因子まで)を維持するシングルプロパクタインタラクティブゲームにコンパイルする一般的な方法を示す。
我々のコンパイラは、任意の量子同型暗号化スキーム(Mahadev, FOCS 2018; Brakerski, CRYPTO 2018)を使用し、補助的な(量子)入力に対する自然な正しさを満たす。
均質な暗号方式は空間分離の効果をシミュレートする暗号機構として用いられ、暗号クエリに対して$k-1$の証明戦略($k$)を評価する必要がある。
chshゲーム(clauser, horne, shimonyi and holt, physical review letters 1969)から始まったマルチプロファー非ローカルゲームに関するリッチな文献と連動して,量子優位性を古典的に検証するためのメカニズムを構築するための幅広い枠組みを提供する。
関連論文リスト
- (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。
その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。
本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文 参考訳（メタデータ） (2024-10-22T00:41:47Z) - A bound on the quantum value of all compiled nonlocal games [49.32403970784162]
暗号コンパイラは、任意の非ローカルゲームを単一の計算バウンド証明器で対話的プロトコルに変換する。
我々は、コンパイルされた2人プレイヤの非ローカルゲームに対して量子音響結果を確立する。
論文 参考訳（メタデータ） (2024-08-13T08:11:56Z) - Bounding the quantum value of compiled nonlocal games: from CHSH to BQP
verification [2.298932494750101]
Kalaiらは、非ローカルゲームに適用されるブラックボックス暗号コンパイル手順を定義した。
単一プロデューサプロトコルの量子値の完全な理解に向けて前進する。
我々は,BQPに対して単一プロプライエタリな古典的検証プロトコルを提供し,CHSH剛性解析を用いてその健全性を証明した。
論文 参考訳（メタデータ） (2023-03-02T19:20:59Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳（メタデータ） (2023-02-28T18:58:11Z) - Obfuscation of Pseudo-Deterministic Quantum Circuits [14.026980555435841]
古典オラクルモデルにおいて擬似決定論的量子回路を難解化する方法を示す。
我々のオブファスケータは任意の入力に対して、量子状態$ketwidetildeQ$を繰り返し出力する。
論文 参考訳（メタデータ） (2023-02-22T01:14:20Z) - From the Hardness of Detecting Superpositions to Cryptography: Quantum
Public Key Encryption and Commitments [8.834776091974218]
暗号アンフノン・アベル群によるグループアクションから,最初の公開鍵暗号方式を示す。
本研究では,スワップ・トラップドア関数対と呼ばれる新しい抽象化によって構成する。
量子ビットのコミットメントのフレーバーを変換する単純で効率的なコンパイラを提供する。
論文 参考訳（メタデータ） (2022-10-12T07:40:05Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳（メタデータ） (2022-06-29T22:19:12Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳（メタデータ） (2021-08-03T17:49:09Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳（メタデータ） (2020-09-29T08:41:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。