論文の概要: Anti-Forging Quantum Data: Cryptographic Verification of Quantum
Computational Power
- arxiv url: http://arxiv.org/abs/2005.01510v2
- Date: Fri, 18 Feb 2022 03:25:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-21 05:13:56.175242
- Title: Anti-Forging Quantum Data: Cryptographic Verification of Quantum
Computational Power
- Title(参考訳): 反鍛造量子データ:量子計算パワーの暗号的検証
- Authors: Man-Hong Yung and Bin Cheng
- Abstract要約: 量子コンピューティングは、インターネットを通じて量子コンピューティングのパワーを体験するための人気のモデルとして生まれつつある。
ユーザは、サーバから送信される出力文字列が本当に量子ハードウェアからのものであることを、どうやって確認できますか?
- 参考スコア(独自算出の注目度): 1.9737117321211988
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum cloud computing is emerging as a popular model for users to
experience the power of quantum computing through the internet, enabling
quantum computing as a service. The question is, when the scale of the
computational problems becomes out of reach of classical computers, how can
users be sure that the output strings sent by the server are really from a
quantum hardware? In 2008, Shepherd and Bremner proposed a cryptographic
verification protocol based on a simplified circuit model called IQP
(instantaneous quantum polynomial-time), which can potentially be applied to
most existing quantum cloud platforms. However, the Shepherd-Bremner protocol
has recently been shown to be insecure by Kahanamoku-Meyer. Here we present an
extended model of IQP-based cryptographic verification protocol, where the
Shepherd-Bremner construction can be regarded as a special case. This protocol
not only can avoid the attack by Kahanamoku-Meyer but also provide several
additional security measures for anti-forging quantum data. In particular, our
protocol admits a simultaneous encoding of multiple secret strings,
strengthening significantly the hardness for classical hacking. Furthermore, we
provide methods for estimating the correlation functions associated with the
secret strings, which are the key elements in our verification protocol.
- Abstract(参考訳): 量子コンピューティングは、インターネットを通じて量子コンピューティングのパワーを体験し、サービスとしての量子コンピューティングを可能にするために人気のあるモデルとして登場しつつある。
問題は、計算問題のスケールが古典的コンピュータの範囲外になると、サーバが送信する出力文字列が本当に量子ハードウェアのものであることをどうやって確認できるのかということだ。
2008年、シェパードとブレムナーはIQP(即時量子多項式時間)と呼ばれる単純化された回路モデルに基づく暗号検証プロトコルを提案した。
しかし、Shepherd-Bremnerプロトコルは近年、Khanamoku-Meyerによって安全でないことが示されている。
ここでは、シェパード・ブレムナーの構成を特別な場合と見なすことができるIQPベースの暗号検証プロトコルの拡張モデルを提案する。
このプロトコルは、カハナモク・メイヤーによる攻撃を避けるだけでなく、反鍛造量子データに対するいくつかのセキュリティ対策も提供する。
特に,本プロトコルでは複数の秘密文字列を同時符号化することで,古典的ハッキングの難しさを大幅に強化する。
さらに,検証プロトコルの重要な要素である秘密文字列に関連付けられた相関関数を推定する手法を提案する。
関連論文リスト
- Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。
クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。
量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文 参考訳(メタデータ) (2023-01-25T07:00:13Z) - Simulation of Networked Quantum Computing on Encrypted Data [0.0]
暗号技術は、量子コンピューティングパワーの安全な遠隔利用のために開発されなければならない。
シミュレーションプラットフォームLIQ$Ui|rangle上で古典的にテストされた,そのようなプロトコルのシミュレーションを提案する。
論文 参考訳(メタデータ) (2022-12-25T20:02:53Z) - Quantum oblivious transfer: a short review [0.06554326244334865]
本稿では,理論量子暗号の領域における暗黙の転送の概念について考察する。
我々は、このプリミティブを逸脱する不確実性の結果をレビューし、QOTセキュリティを証明可能ないくつかの量子セキュリティモデルについて議論する。
論文 参考訳(メタデータ) (2022-06-06T15:19:26Z) - An Evolutionary Pathway for the Quantum Internet Relying on Secure
Classical Repeaters [64.48099252278821]
我々は、セキュアな古典的リピータと量子セキュアな直接通信原理を組み合わせた量子ネットワークを考案する。
これらのネットワークでは、量子耐性アルゴリズムから引き出された暗号文を、ノードに沿ってQSDCを用いて送信する。
我々は,セキュアな古典的リピータに基づくハイブリッド量子ネットワークの実証実験を行った。
論文 参考訳(メタデータ) (2022-02-08T03:24:06Z) - Delegating Multi-Party Quantum Computations vs. Dishonest Majority in
Two Quantum Rounds [0.0]
マルチパーティ量子計算(MPQC)は、量子ネットワークのキラーアプリケーションとして多くの注目を集めている。
単一の正直なクライアントであっても、盲目性と妥当性を達成できる構成可能なプロトコルを提案する。
論文 参考訳(メタデータ) (2021-02-25T15:58:09Z) - A practical quantum encryption protocol with varying encryption
configurations [0.0]
本稿では、量子アルゴリズムを用いて、量子状態に基づくテキスト暗号のブロックを生成する量子暗号化プロトコルを提案する。
量子暗号化プロトコルの主な特徴は、各ブロックの暗号化構成が以前のブロックによって決定されることである。
論文 参考訳(メタデータ) (2021-01-22T20:09:03Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Single-Shot Secure Quantum Network Coding for General Multiple Unicast
Network with Free One-Way Public Communication [56.678354403278206]
複数のユニキャスト量子ネットワーク上でセキュアな量子ネットワークコードを導出する正準法を提案する。
我々のコードは攻撃がないときに量子状態を正しく送信する。
また、攻撃があっても送信された量子状態の秘密性を保証する。
論文 参考訳(メタデータ) (2020-03-30T09:25:13Z) - Quantum noise protects quantum classifiers against adversaries [120.08771960032033]
量子情報処理におけるノイズは、特に短期的な量子技術において、破壊的で避け難い特徴と見なされることが多い。
量子回路の非偏極雑音を利用して分類を行うことにより、敵に縛られるロバスト性を導出できることを示す。
これは、最も一般的な敵に対して使用できる最初の量子プロトコルである。
論文 参考訳(メタデータ) (2020-03-20T17:56:14Z) - Forging quantum data: classically defeating an IQP-based quantum test [0.0]
古典的)証明器が量子であることを検証者に納得させる古典的アルゴリズムについて述べる。
キー抽出アルゴリズムは,実際に数百量子ビットの問題を解くのに有効であることを示す。
論文 参考訳(メタデータ) (2019-12-11T19:00:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。