論文の概要: 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ベースの暗号検証プロトコルの拡張モデルを提案する。
このプロトコルは、カハナモク・メイヤーによる攻撃を避けるだけでなく、反鍛造量子データに対するいくつかのセキュリティ対策も提供する。
特に,本プロトコルでは複数の秘密文字列を同時符号化することで,古典的ハッキングの難しさを大幅に強化する。
さらに,検証プロトコルの重要な要素である秘密文字列に関連付けられた相関関数を推定する手法を提案する。
関連論文リスト
- Practical hybrid PQC-QKD protocols with enhanced security and performance [44.8840598334124]
我々は,量子古典ネットワーク内でQKDとPQCが相互運用するハイブリッドプロトコルを開発した。
特に、それぞれのアプローチの個々の性能に対して、スピードと/またはセキュリティを向上する可能性のある、異なるハイブリッド設計について検討する。
論文 参考訳(メタデータ) (2024-11-02T00:02:01Z) - Increasing Interference Detection in Quantum Cryptography using the Quantum Fourier Transform [0.0]
量子フーリエ変換(QFT)を利用した2つの量子暗号プロトコルを提案する。
これらのプロトコルの最も重要な点は、このQFTの有効性を活用する新しいQKD手法である。
さらに、既存の量子暗号化手法をQFTベースのアプローチで拡張して、盗聴検出を改善する方法について述べる。
論文 参考訳(メタデータ) (2024-04-18T21:04:03Z) - 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) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳(メタデータ) (2021-12-09T19:00:00Z) - Delegating Multi-Party Quantum Computations vs. Dishonest Majority in
Two Quantum Rounds [0.0]
マルチパーティ量子計算(MPQC)は、量子ネットワークのキラーアプリケーションとして多くの注目を集めている。
単一の正直なクライアントであっても、盲目性と妥当性を達成できる構成可能なプロトコルを提案する。
論文 参考訳(メタデータ) (2021-02-25T15:58:09Z) - Single-Shot Secure Quantum Network Coding for General Multiple Unicast
Network with Free One-Way Public Communication [56.678354403278206]
複数のユニキャスト量子ネットワーク上でセキュアな量子ネットワークコードを導出する正準法を提案する。
我々のコードは攻撃がないときに量子状態を正しく送信する。
また、攻撃があっても送信された量子状態の秘密性を保証する。
論文 参考訳(メタデータ) (2020-03-30T09:25:13Z) - Forging quantum data: classically defeating an IQP-based quantum test [0.0]
古典的)証明器が量子であることを検証者に納得させる古典的アルゴリズムについて述べる。
キー抽出アルゴリズムは,実際に数百量子ビットの問題を解くのに有効であることを示す。
論文 参考訳(メタデータ) (2019-12-11T19:00:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。