論文の概要: Verifying BQP Computations on Noisy Devices with Minimal Overhead
- arxiv url: http://arxiv.org/abs/2109.04042v1
- Date: Thu, 9 Sep 2021 05:20:56 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-15 18:31:22.350300
- Title: Verifying BQP Computations on Noisy Devices with Minimal Overhead
- Title(参考訳): 最小オーバーヘッド雑音下におけるbqp計算の検証
- Authors: Dominik Leichtle, Luka Music, Elham Kashefi, Harold Ollivier
- Abstract要約: 本稿では,BQP計算を分散化するための最初のブラインドかつ検証可能なプロトコルを,唯一のオーバヘッドとして繰り返し繰り返す強力なサーバに導入する。
指数的に低い境界で構成可能で統計的に安全であり、一定の量の大域的雑音を許容することができる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the development of delegated quantum computation, clients will want to
ensure confidentiality of their data and algorithms, and the integrity of their
computations. While protocols for blind and verifiable quantum computation
exist, they suffer from high overheads and from over-sensitivity: When running
on noisy devices, imperfections trigger the same detection mechanisms as
malicious attacks, resulting in perpetually aborted computations.
We introduce the first blind and verifiable protocol for delegating BQP
computations to a powerful server with repetition as the only overhead. It is
composable and statistically secure with exponentially-low bounds and can
tolerate a constant amount of global noise.
- Abstract(参考訳): デリゲートされた量子計算の開発により、クライアントはデータとアルゴリズムの機密性、そして計算の完全性を確保したいだろう。
盲目で検証可能な量子計算のためのプロトコルは存在するが、高いオーバーヘッドと過敏性に悩まされている: ノイズの多いデバイス上で実行すると、不完全性は悪意のある攻撃と同じ検出メカニズムをトリガーし、永久に中断される計算をもたらす。
本稿では,BQP計算を分散化するための最初のブラインドかつ検証可能なプロトコルを,唯一のオーバーヘッドとして繰り返し繰り返す強力なサーバに導入する。
指数的に低い境界で構成可能で統計的に安全であり、一定の量の大域的雑音を許容することができる。
関連論文リスト
- Efficient Post-Quantum Secured Blind Computation [0.0]
中期的には、量子コンピューティングは、フォールトトレランスとセキュリティの2つの主要な課題に取り組む必要がある。
ここでは、当事者間の古典的な通信のみを必要とする検証可能な回路ベースモデルを詳述する。
サーバは計算の詳細に盲目であり、計算的に安全である。
論文 参考訳(メタデータ) (2024-04-10T14:42:40Z) - Verification of Quantum Computations without Trusted Preparations or Measurements [0.6249768559720122]
我々は、既知の検証スキームを信頼されたゲートのみに依存するプロトコルに変換するモジュール的で構成可能で効率的な方法を提案する。
我々の最初の貢献は、Z軸とビットフリップの1量子ビット回転の信頼できる適用に対するBQPの量子検証の問題を非常に軽量に削減することである。
2つ目の構成は、信頼できる準備や測定なしに、任意の量子計算を量子出力で情報理論的に検証することは一般的に可能であることを示している。
論文 参考訳(メタデータ) (2024-03-15T16:54:28Z) - Probabilistic Sampling of Balanced K-Means using Adiabatic Quantum Computing [93.83016310295804]
AQCは研究関心の問題を実装でき、コンピュータビジョンタスクのための量子表現の開発に拍車をかけた。
本研究では,この情報を確率的バランスの取れたk平均クラスタリングに活用する可能性について検討する。
最適でない解を捨てる代わりに, 計算コストを少なくして, 校正後部確率を計算することを提案する。
これにより、合成タスクと実際の視覚データについて、D-Wave AQCで示すような曖昧な解とデータポイントを識別することができる。
論文 参考訳(メタデータ) (2023-10-18T17:59:45Z) - Robust and efficient verification of graph states in blind
measurement-based quantum computation [52.70359447203418]
Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。
資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。
本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
論文 参考訳(メタデータ) (2023-05-18T06:24:45Z) - Deep Quantum Error Correction [73.54643419792453]
量子誤り訂正符号(QECC)は、量子コンピューティングのポテンシャルを実現するための鍵となる要素である。
本研究では,新しいエンペンド・ツー・エンドの量子誤りデコーダを効率的に訓練する。
提案手法は,最先端の精度を実現することにより,QECCのニューラルデコーダのパワーを実証する。
論文 参考訳(メタデータ) (2023-01-27T08:16:26Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。
クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。
量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文 参考訳(メタデータ) (2023-01-25T07:00:13Z) - Iterative Qubits Management for Quantum Index Searching in a Hybrid
System [56.39703478198019]
IQuCSは、量子古典ハイブリッドシステムにおけるインデックス検索とカウントを目的としている。
我々はQiskitでIQuCSを実装し、集中的な実験を行う。
その結果、量子ビットの消費を最大66.2%削減できることが示されている。
論文 参考訳(メタデータ) (2022-09-22T21:54:28Z) - Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations [0.5825410941577593]
クラウドベースの量子コンピューティングは、クライアントによって量子サービスプロバイダに委譲された計算が忠実に実行されるという強力な保証を提供するために不可欠である。
現在のプロトコルには、コンポーザビリティ、ノイズ・ロバスト性、モジュール性という3つの要素の少なくとも1つが欠落している。
本稿では,SDQCプロトコルの基本構造,すなわちクライアントがサーバの実行を希望する暗号化と,サーバの悪意のある動作を検出するように設計されたテストの2つのコンポーネントを混合する。
テストの種類を変えたり、クライアントの計算と混同したりすると、セキュリティとノイズの異なる新しいSDQCプロトコルが自動的に生成される。
論文 参考訳(メタデータ) (2022-06-01T17:03:07Z) - Composably secure data processing for Gaussian-modulated continuous
variable quantum key distribution [58.720142291102135]
連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。
構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。
特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
論文 参考訳(メタデータ) (2021-03-30T18:02:55Z) - Delegating Multi-Party Quantum Computations vs. Dishonest Majority in
Two Quantum Rounds [0.0]
マルチパーティ量子計算(MPQC)は、量子ネットワークのキラーアプリケーションとして多くの注目を集めている。
単一の正直なクライアントであっても、盲目性と妥当性を達成できる構成可能なプロトコルを提案する。
論文 参考訳(メタデータ) (2021-02-25T15:58:09Z) - Securing Quantum Computations in the NISQ Era [0.0]
プライバシースキャンダルが進行中であることを踏まえ、リモートアクセス可能なサーバによる量子コンピューティングの今後の利用は、特別な課題を生じさせる。
量子リード機能を持つクライアントは、そのデータとアルゴリズムを隠蔽し、計算が正しく実行されることを確認することを望んでいる。
量子コンピューティングの盲目かつ検証可能なデリゲートの研究は、この問題に対処しようと試みている。
論文 参考訳(メタデータ) (2020-11-19T18:03:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。