論文の概要: 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]と組み合わせることによって達成される。
関連論文リスト
- A new general quantum state verification protocol by the classical shadow method [8.509045288392391]
従来の量子状態検証の枠組みでは、各タイプの状態に対して最適なプロトコルや効率的なプロトコルを精巧に設計する必要がある。
本稿では,従来の枠組みにもとづく仮説検証の用語を用いて,この新たなプロトコルを再構築し,それらの類似点と相違点について検討する。
従来のフレームワークとシャドーオーバーラッププロトコルの考え方を組み合わせた新しいプロトコルを提案する。
論文 参考訳（メタデータ） (2024-10-21T10:55:24Z) - Discover-then-Name: Task-Agnostic Concept Bottlenecks via Automated Concept Discovery [52.498055901649025]
ディープニューラルネットワークの「ブラックボックス」問題に対処するために、概念ボトルネックモデル(CBM)が提案されている。
本稿では,典型的なパラダイムを逆転させる新しいCBMアプローチであるDiscover-then-Name-CBM(DN-CBM)を提案する。
我々の概念抽出戦略は、下流のタスクに非依存であり、既にそのモデルに知られている概念を使用するため、効率的である。
論文 参考訳（メタデータ） (2024-07-19T17:50:11Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - Quantum delegation with an off-the-shelf device [3.3766484312332303]
我々は, OTSモデルを用いて, 時間量子計算の委譲方法を示す。
これはQMAに対する最初の相対論的(1ラウンド)2プロップゼロ知識証明システムを提供する。
証明手法として、定数サイズのパウリ測度のみを用いて、n個のEPR対に対する新しい自己検定を行う。
論文 参考訳（メタデータ） (2023-04-07T02:43:06Z) - Equivalence in delegated quantum computing [0.7734726150561088]
デリゲート量子コンピューティング(DQC)は、限られたクライアントが、量子サーバ上でリモートで能力の外部にある操作を実行できるようにする。
DQCでは、クライアント側で完全に異なる操作を要求する2つのアプローチが従う。
本研究では、プロトコルの等価性に関する新しい厳密な定義を提供し、これらの異なるDQC設定がこの意味では同値であることを示す。
論文 参考訳（メタデータ） (2022-06-15T12:06:25Z) - Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations [0.5825410941577593]
クラウドベースの量子コンピューティングは、クライアントによって量子サービスプロバイダに委譲された計算が忠実に実行されるという強力な保証を提供するために不可欠である。
現在のプロトコルには、コンポーザビリティ、ノイズ・ロバスト性、モジュール性という3つの要素の少なくとも1つが欠落している。
本稿では,SDQCプロトコルの基本構造,すなわちクライアントがサーバの実行を希望する暗号化と,サーバの悪意のある動作を検出するように設計されたテストの2つのコンポーネントを混合する。
テストの種類を変えたり、クライアントの計算と混同したりすると、セキュリティとノイズの異なる新しいSDQCプロトコルが自動的に生成される。
論文 参考訳（メタデータ） (2022-06-01T17:03:07Z) - Quantum Private Information Retrieval for Quantum Messages [71.78056556634196]
量子メッセージのための量子プライベート情報検索(QPIR)は、1つまたは複数のサーバから複数の量子状態のうちの1つを、どの状態が検索されたかを明らかにすることなく取得するプロトコルである。
我々はQPIRを,サーバがメッセージ状態の1つのコピーを含むブラインド設定と,サーバがメッセージ状態の記述を含む可視設定の2つの異なる設定で検討する。
論文 参考訳（メタデータ） (2021-01-22T10:28:32Z) - SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
パラメータ化マルチエージェントシステム(MAS)の検証について検討する。
特に、与えられた状態公式として特徴づけられる不要な状態が、所定のMASで到達可能かどうかについて検討する。
論文 参考訳（メタデータ） (2020-08-11T15:24:05Z) - Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。
サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。
特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
論文 参考訳（メタデータ） (2020-07-03T13:15:13Z) - Genuine quantum networks: superposed tasks and addressing [68.8204255655161]
我々は、標準および絡み合いに基づく真の量子ネットワークの作り方を示す。
重畳されたタスクと重畳されたアドレッシングを扱う可能性を提供する。
論文 参考訳（メタデータ） (2020-04-30T18:00:06Z) - Composable Security for Multipartite Entanglement Verification [3.4806267677524896]
我々は、$n$のパーティが、おそらく不正直なパーティーによって制御される絡み合った生成リソースをテストすることができる構成可能なセキュアなプロトコルを提案する。
このテストは、状態が共有されると、局所的な量子演算と認証された古典的通信でのみ行われる。
我々のプロトコルは一般に、通信や計算プロトコルを実行する前に、ネットワーク間でGHZ状態を安全に共有するために、量子インターネットのサブルーチンとして使用することができる。
論文 参考訳（メタデータ） (2020-04-16T14:33:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。