論文の概要: Formulations and Constructions of Remote State Preparation with Verifiability, with Applications
- arxiv url: http://arxiv.org/abs/2310.05246v2
- Date: Sat, 09 Nov 2024 00:26:18 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-12 14:04:22.543703
- Title: Formulations and Constructions of Remote State Preparation with Verifiability, with Applications
- Title(参考訳): 可検証性を有するリモート状態生成の定式化と構築とその応用
- Authors: Jiayu Zhang,
- Abstract要約: RSPV(Remote State prepared with verifiability)は重要な暗号プリミティブである。
このプリミティブでは、クライアントはサーバ側の量子状態(状態ファミリーからサンプリングまたは選択される)を準備したいと考えています。
我々はその定式化、構築、応用にいくつかの貢献をしている。
- 参考スコア(独自算出の注目度): 2.3465488122819123
- License:
- Abstract: Remote state preparation with verifiability (RSPV) is an important quantum cryptographic primitive [GV19,Zha22]. In this primitive, a client would like to prepare a quantum state (sampled or chosen from a state family) on the server side, such that ideally the client knows its full description, while the server holds and only holds the state itself. In this work we make several contributions on its formulations, constructions and applications. In more detail: - We first work on the definitions and abstract properties of the RSPV problem. We select and compare different variants of definitions [GV19,GMP22,Zha22], and study their basic properties (like composability and amplification). - We also study a closely related question of how to certify the server's operations (instead of solely the states). We introduce a new notion named remote operator application with verifiability (ROAV). We compare this notion with related existing definitions [SW87,MY04,MV21,NZ23] and study its abstract properties. - Building on the abstract properties and existing results [BGKPV23], we construct a series of new RSPV protocols. Our constructions not only simplify existing results [GV19] but also cover new state families, for example, states in the form of $\frac{1}{\sqrt{2}}(|0\rangle|x_0\rangle+|1\rangle|x_1\rangle)$. All these constructions rely only on the existence of weak NTCF [BKVV,AMR22], without additional requirements like the adaptive hardcore bit property [BCMVV,AMR22]. - As a further application, we show that the classical verification of quantum computations (CVQC) problem [ABEM,Mah18] could be constructed from assumptions on group actions [ADMP20]. This is achieved by combining our results on RSPV with group-action-based instantiation of weak NTCF [AMR22], and then with the quantum-gadget-assisted quantum verification protocol [FKD18].
- Abstract(参考訳): 検証可能性を伴うリモート状態準備(RSPV)は重要な量子暗号プリミティブである[GV19,Zha22]。
このプリミティブでは、クライアントは、サーバ側で量子状態(状態ファミリーからサンプリングまたは選択された)を準備したい。
この研究は、その定式化、構築、応用にいくつかの貢献をしている。
私たちはまず、RSPV問題の定義と抽象的性質について研究します。
定義の異なる変種[GV19,GMP22,Zha22]を選択して比較し、その基本特性(構成性や増幅性など)について検討する。
また、サーバの動作(状態のみではなく)を認証する方法に関する、密接に関連する質問についても検討する。
本稿では,信頼性のある遠隔操作アプリケーション (ROAV) を提案する。
この概念を既存の定義(SW87,MY04,MV21,NZ23)と比較し,その抽象的性質について検討する。
-抽象的性質と既存の結果に基づいて構築した [BGKPV23] RSPVプロトコルを新たに構築する。
我々の構成は既存の結果 [GV19] を単純化するだけでなく、例えば $\frac{1}{\sqrt{2}}(|0\rangle|x_0\rangle+|1\rangle|x_1\rangle)$ という形で新しい状態族もカバーしている。
これらの構造はすべて、適応ハードコアビット特性 (BCMVV, AMR22) のような追加の要求なしに、弱いNTCF (BKVV, AMR22) の存在にのみ依存する。
-さらなる応用として,グループ動作の仮定から,CVQC問題(ABEM,Mah18)の古典的検証が可能であることを示す。
これは、RSPVにおける我々の結果と弱いNTCF[AMR22]の群作用に基づくインスタンス化を組み合わせ、量子ガジェット支援量子検証プロトコル[FKD18]と組み合わせることによって達成される。
関連論文リスト
- The Power of Resets in Online Reinforcement Learning [73.64852266145387]
ローカルシミュレータアクセス(あるいはローカルプランニング)を用いたオンライン強化学習を通してシミュレータのパワーを探求する。
カバー性が低いMPPは,Qstar$-realizabilityのみのサンプル効率で学習可能であることを示す。
ローカルシミュレーターアクセス下では, 悪名高いExogenous Block MDP問題が抽出可能であることを示す。
論文 参考訳(メタデータ) (2024-04-23T18:09:53Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Unifying (Quantum) Statistical and Parametrized (Quantum) Algorithms [65.268245109828]
我々はカーンズのSQオラクルとヴァリアントの弱い評価オラクルからインスピレーションを得ます。
評価クエリから学習するための非条件の下限を出力する,広範かつ直感的なフレームワークを提案する。
論文 参考訳(メタデータ) (2023-10-26T18:23:21Z) - Bounding the quantum value of compiled nonlocal games: from CHSH to BQP
verification [2.298932494750101]
Kalaiらは、非ローカルゲームに適用されるブラックボックス暗号コンパイル手順を定義した。
単一プロデューサプロトコルの量子値の完全な理解に向けて前進する。
我々は,BQPに対して単一プロプライエタリな古典的検証プロトコルを提供し,CHSH剛性解析を用いてその健全性を証明した。
論文 参考訳(メタデータ) (2023-03-02T19:20:59Z) - Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve
Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum
States [0.0]
従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。
ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。
私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
論文 参考訳(メタデータ) (2023-03-02T18:38:15Z) - Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations [0.5825410941577593]
クラウドベースの量子コンピューティングは、クライアントによって量子サービスプロバイダに委譲された計算が忠実に実行されるという強力な保証を提供するために不可欠である。
現在のプロトコルには、コンポーザビリティ、ノイズ・ロバスト性、モジュール性という3つの要素の少なくとも1つが欠落している。
本稿では,SDQCプロトコルの基本構造,すなわちクライアントがサーバの実行を希望する暗号化と,サーバの悪意のある動作を検出するように設計されたテストの2つのコンポーネントを混合する。
テストの種類を変えたり、クライアントの計算と混同したりすると、セキュリティとノイズの異なる新しいSDQCプロトコルが自動的に生成される。
論文 参考訳(メタデータ) (2022-06-01T17:03:07Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z) - On the Connection Between Quantum Pseudorandomness and Quantum Hardware
Assumptions [1.4174475093445233]
本稿では,量子擬似ランダム性と量子ハードウェアの仮定との関係について述べる。
我々は、効率的な擬似ランダム量子状態(PRS)は、普遍的に鍛えられないqPUFの挑戦セットを構築するのに十分であることを示す。
その結果,既存のqPUFベースのクライアントサーバ識別プロトコルの効率性は,セキュリティ要件を損なうことなく向上できることを示した。
論文 参考訳(メタデータ) (2021-10-22T11:55:06Z) - Experimentally accessible non-separability criteria for multipartite
entanglement structure detection [0.0]
本研究では,ある分割に関して,非分離性に対する十分な条件を識別する実験的かつスケーラブルな反復手法を提案する。
我々は,4量子ビットのSmolinと8量子のW状態の構造を推定することにより,20量子ビットのIBM量子コンピュータ上で実験を行った。
W状態の場合、非分離状態からシステム内の絡み合いが少なく、断片化された極小パーティションまで、デバイス上での異なる実行で非常に異なる結果が得られる。
論文 参考訳(メタデータ) (2021-10-08T14:58:46Z) - ISTR: End-to-End Instance Segmentation with Transformers [147.14073165997846]
ISTRと呼ばれるインスタンスセグメンテーショントランスフォーマーを提案します。これは、その種類の最初のエンドツーエンドフレームワークです。
ISTRは低次元マスクの埋め込みを予測し、それらのマスクの埋め込みと一致する。
ISTRは、提案されたエンドツーエンドのメカニズムにより、近似ベースのサブオプティマティック埋め込みでも最先端のパフォーマンスを発揮します。
論文 参考訳(メタデータ) (2021-05-03T06:00:09Z) - Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。
サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。
特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
論文 参考訳(メタデータ) (2020-07-03T13:15:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。