論文の概要: Secret extraction attacks against obfuscated IQP circuits
- arxiv url: http://arxiv.org/abs/2312.10156v1
- Date: Fri, 15 Dec 2023 19:08:35 GMT
- ステータス: 処理完了
- システム内更新日: 2023-12-19 18:10:49.388064
- Title: Secret extraction attacks against obfuscated IQP circuits
- Title（参考訳）: 難読化iqp回路に対する秘密抽出攻撃
- Authors: David Gross and Dominik Hangleiter
- Abstract要約: 2008年、シェパードとブレムナーは、検証者が比較的簡単に実装できるIQP回路の族からユニタリを構成するプロトコルを提案した。
難題は難解な秘密を含むように設計されており、統計検査に変換できる。
カハナモク・マイヤーは、効率的な古典的秘密抽出攻撃を発見した。
Bremner氏、Cheng氏、Ji氏は最近、オリジナルのプロトコルを広範囲に一般化した。
- 参考スコア（独自算出の注目度）: 0.92463347238923
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Quantum computing devices can now perform sampling tasks which, according to
complexity-theoretic and numerical evidence, are beyond the reach of classical
computers. This raises the question of how one can efficiently verify that a
quantum computer operating in this regime works as intended. In 2008, Shepherd
and Bremner proposed a protocol in which a verifier constructs a unitary from
the comparatively easy-to-implement family of so-called IQP circuits, and
challenges a prover to execute it on a quantum computer. The challenge problem
is designed to contain an obfuscated secret, which can be turned into a
statistical test that accepts samples from a correct quantum implementation. It
was conjectured that extracting the secret from the challenge problem is
NP-hard, so that the ability to pass the test constitutes strong evidence that
the prover possesses a quantum device and that it works as claimed.
Unfortunately, about a decade later, Kahanamoku-Meyer found an efficient
classical secret extraction attack. Bremner, Cheng, and Ji very recently
followed up by constructing a wide-ranging generalization of the original
protocol. Their IQP Stabilizer Scheme has been explicitly designed to
circumvent the known weakness. They also suggested that the original
construction can be made secure by adjusting the problem parameters. In this
work, we develop a number of secret extraction attacks which are effective
against both new approaches in a wide range of problem parameters. The
important problem of finding an efficient and reliable verification protocol
for sampling-based proofs of quantum supremacy thus remains open.
- Abstract（参考訳）: 量子コンピューティングデバイスは今やサンプリングタスクを実行でき、複雑性理論と数値的証拠によれば、古典的コンピュータの範囲を超えている。
これは、この状態で動作する量子コンピュータが意図したように動作することを効率的に検証できるかという疑問を提起する。
2008年、シェパードとブレムナーは、検証者が比較的簡単に実装できるIQP回路のファミリーからユニタリを構成するプロトコルを提案し、量子コンピュータ上で実行することを証明者に挑戦した。
チャレンジ問題は難解な秘密を含むように設計されており、正しい量子実装からサンプルを受け入れる統計的テストにすることができる。
チャレンジ問題から秘密を抽出することはnpハードであり、テストに合格する能力は、証明者が量子デバイスを持ち、それが主張通り動作するという強い証拠となると推測された。
残念ながら、約10年後、カハナモク・マイヤーは効率的な古典的秘密抽出攻撃を発見した。
Bremner氏、Cheng氏、Ji氏は最近、オリジナルのプロトコルを広範囲に一般化した。
iqp安定化器は既知の弱さを回避するために明示的に設計されている。
また、問題パラメータを調整することで元の構成をセキュアにすることも示唆した。
本研究では,様々な問題パラメータにおいて,新しいアプローチの双方に対して有効である秘密抽出攻撃を多数開発する。
量子超越性のサンプリングに基づく証明のための効率的で信頼性の高い検証プロトコルを見つけるという重要な問題は未解決のままである。
関連論文リスト
- Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳（メタデータ） (2024-02-26T09:32:07Z) - IQP Sampling and Verifiable Quantum Advantage: Stabilizer Scheme and
Classical Security [1.7586417032126085]
本稿では, IQP回路, 安定化器形式, 符号化理論, および IQP回路相関関数の効率的な評価結果に基づいて, エフスタビライザー方式(emphstabilizer scheme)と呼ばれるIQPサンプリングプロトコルのファミリを紹介する。
古典的セキュリティを評価するため,カハナモク・メイヤーの攻撃を特別事例として,秘密抽出に基づく攻撃の類型を探究する。
論文 参考訳（メタデータ） (2023-08-14T14:03:33Z) - Quantum Imitation Learning [74.15588381240795]
本稿では、量子優位性を利用してILを高速化する量子模倣学習(QIL)を提案する。
量子行動クローニング(Q-BC)と量子生成逆模倣学習(Q-GAIL)という2つのQILアルゴリズムを開発した。
実験結果から,Q-BCとQ-GAILの両者が,従来のものと同等の性能を達成できることが判明した。
論文 参考訳（メタデータ） (2023-04-04T12:47:35Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - On Zero-Knowledge Proofs over the Quantum Internet [0.0]
本稿では,量子ID認証(QIA)プロトコルの新しい手法を提案する。
古典的なゼロ知識証明(ZKP)の論理は量子回路やアルゴリズムに適用される。
論文 参考訳（メタデータ） (2022-12-06T14:57:00Z) - Experimental Implementation of an Efficient Test of Quantumness [49.588006756321704]
量子性の試験は、古典的なユーザーが古典的でない振る舞いを示すかどうかを決定するために量子デバイスに課題を発行するプロトコルである。
最近の量子コンピュータにおけるこのようなテストの実装の試みは、効率的な検証を伴うインタラクティブな課題か、非効率的な(指数時間)検証を伴う非インタラクティブな課題に依存している。
論文 参考訳（メタデータ） (2022-09-28T18:00:04Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds [12.525959293825318]
我々は,統計音性およびブラックボックス$epsilon$-zero-knowledgeを満たすNPのラウンド・インタラクティブ証明を構築した。
我々の研究の核心は、シミュレーターが悪意のある検証者のコミットメッセージを抽出できる新しい量子巻き戻し技術である。
論文 参考訳（メタデータ） (2020-11-05T05:40:05Z) - Anti-Forging Quantum Data: Cryptographic Verification of Quantum
Computational Power [1.9737117321211988]
量子コンピューティングは、インターネットを通じて量子コンピューティングのパワーを体験するための人気のモデルとして生まれつつある。
ユーザは、サーバから送信される出力文字列が本当に量子ハードウェアからのものであることを、どうやって確認できますか?
論文 参考訳（メタデータ） (2020-05-04T14:28:14Z) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳（メタデータ） (2020-04-24T17:58:10Z) - Forging quantum data: classically defeating an IQP-based quantum test [0.0]
古典的)証明器が量子であることを検証者に納得させる古典的アルゴリズムについて述べる。
キー抽出アルゴリズムは,実際に数百量子ビットの問題を解くのに有効であることを示す。
論文 参考訳（メタデータ） (2019-12-11T19:00:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。