論文の概要: Classical Obfuscation of Quantum Circuits via Publicly-Verifiable QFHE
- arxiv url: http://arxiv.org/abs/2510.08400v1
- Date: Thu, 09 Oct 2025 16:19:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-10 17:54:15.193554
- Title: Classical Obfuscation of Quantum Circuits via Publicly-Verifiable QFHE
- Title（参考訳）: 公開検証QFHEによる量子回路の古典的難読化
- Authors: James Bartusek, Aparna Gupte, Saachi Mutreja, Omri Shmueli,
- Abstract要約: 量子回路の古典的オブファスケータ(英: classical obfuscator)とは、量子回路の古典的記述を$Q$で出力するプログラムである。
我々は、すべての擬決定論的量子回路に対して古典的オブファスケータが存在することを示す。
- 参考スコア（独自算出の注目度）: 6.626421278252587
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: A classical obfuscator for quantum circuits is a classical program that, given the classical description of a quantum circuit $Q$, outputs the classical description of a functionally equivalent quantum circuit $\hat{Q}$ that hides as much as possible about $Q$. Previously, the only known feasibility result for classical obfuscation of quantum circuits (Bartusek and Malavolta, ITCS 2022) was limited to circuits that always reject. On the other hand, if the obfuscator is allowed to compile the quantum circuit $Q$ into a quantum state $|\hat{Q}\rangle$, there exist feasibility results for obfuscating all pseudo-deterministic quantum circuits (Bartusek, Kitagawa, Nishimaki and Yamakawa, STOC 2023, Bartusek, Brakerski and Vaikuntanathan, STOC 2024), and all unitaries (Huang and Tang, FOCS 2025). We show that (relative to a classical oracle) there exists a classical obfuscator for all pseudo-deterministic quantum circuits. We do this by giving the first construction of a compact quantum fully-homomorphic encryption (QFHE) scheme that supports public verification of (pseudo-deterministic) quantum evaluation, relative to a classical oracle. To construct our QFHE scheme, we improve on the approach of Bartusek, Kitagawa, Nishimaki and Yamakawa (STOC 2023), which required ciphertexts that are both quantum and non-compact due to the use of quantum coset states and their publicly-verifiable properties. We introduce new techniques for analyzing coset states that can be generated ''on the fly'', by proving new cryptographic properties of the one-shot signature scheme of Shmueli and Zhandry (CRYPTO 2025). Our techniques allow us to produce QFHE ciphertexts that are purely classical, compact, and publicly-verifiable. This also yields the first classical verification of quantum computation protocol for BQP that simultaneously satisfies blindness and public-verifiability.
- Abstract（参考訳）: 量子回路の古典的オブファスケーター(英: classical obfuscator for quantum circuits)とは、量子回路の古典的記述を$Q$とすると、機能的に等価な量子回路の古典的記述を$$Q$で可能な限り隠すという古典的プログラムである。
以前は、量子回路の古典的難読化(Bartusek と Malavolta, ITCS 2022)のための唯一の実現可能性の結果は、常に拒否される回路に限られていた。
一方、Obfuscator が量子回路 $Q$ を量子状態 $|\hat{Q}\rangle$ にコンパイルすると、すべての擬決定論的量子回路 (Bartusek, Kitagawa, Nishimaki and Yamakawa, STOC 2023, Bartusek, Brakerski and Vaikuntanathan, STOC 2024) と全てのユニタリ (Huang and Tang, FOCS 2025) を難読化する可能性が存在する。
我々は、すべての擬決定論的量子回路に対して古典的オブファスケータが存在することを示す。
我々は、古典的なオラクルに対する(擬似決定論的)量子評価の公的な検証を支援するコンパクトな量子完全同型暗号(QFHE)スキームを初めて構築することで、これを実現している。
提案手法を構築するため,バルタテック,北川,西牧,山川(STOC 2023)のアプローチを改善した。
我々は,ShmueliとZhandryのワンショット署名スキーム(CRYPTO 2025)の新しい暗号特性を証明し,'on the fly'を生成可能なコセット状態の解析手法を提案する。
我々の技術は、純粋に古典的でコンパクトで、公に検証可能なQFHE暗号文を作成できる。
また、BQPの量子計算プロトコルを初めて古典的に検証し、盲目性と公約性を同時に満たした。
関連論文リスト
- Obfuscation of Arbitrary Quantum Circuits [0.5371337604556311]
中心的な開問題は、任意の量子回路の難解化スキームが存在するかどうかである。
任意の量子回路に対する最初の量子イデアル難読化スキームを構築する。
我々の難解化スキームは量子的にアクセス可能な擬似ランダムオラクルモデルでも実現できる。
論文 参考訳（メタデータ） (2026-01-13T20:28:49Z) - Quantum-Classical Separation in Bounded-Resource Tasks Arising from Measurement Contextuality [107.84586711462556]
量子テクスチュアリティは、古典的限界を超えた成功確率で特定のタスクを実行できることを示す。
本研究は,文脈性に基づくアルゴリズムを用いて量子プロセッサをベンチマークする方法を提案する。
論文 参考訳（メタデータ） (2025-12-01T23:54:32Z) - Obfuscation of Unitary Quantum Programs [0.651722296019499]
プログラム難読化は、機能を維持しながらプログラムの内部動作を隠すことを目的としている。
本研究では,一元的量子プログラムのための最初の量子状態難解化スキームを構築することにより,既存の結果を改善する。
難読化方式の中核には、2つの新しい要素がある: キーホルダーは、シミュレーションベースのセキュリティで認証された量子状態の特定の機能を学ぶことができる機能的量子認証方式と、任意の量子回路を表すコンパイラである。
論文 参考訳（メタデータ） (2025-07-16T07:07:52Z) - Quantum State Obfuscation from Classical Oracles [18.878095837031292]
量子暗号における主要な未解決の問題は、任意の量子計算を難読化できるかどうかである。
我々は、量子状態オブファスケータを構築するために使用する新しいテクニックの配列を開発する。
論文 参考訳（メタデータ） (2024-01-18T18:42:28Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳（メタデータ） (2023-02-28T18:58:11Z) - Obfuscation of Pseudo-Deterministic Quantum Circuits [14.026980555435841]
古典オラクルモデルにおいて擬似決定論的量子回路を難解化する方法を示す。
我々のオブファスケータは任意の入力に対して、量子状態$ketwidetildeQ$を繰り返し出力する。
論文 参考訳（メタデータ） (2023-02-22T01:14:20Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳（メタデータ） (2020-09-29T08:41:53Z) - Succinct Blind Quantum Computation Using a Random Oracle [0.8702432681310399]
我々は新しい普遍的な盲点量子計算プロトコルを提供する。
プロトコルの最初のフェーズは簡潔であり、その複雑さは回路サイズとは無関係である。
論文 参考訳（メタデータ） (2020-04-27T07:47:11Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。
我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。
我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
論文 参考訳（メタデータ） (2020-04-14T11:05:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。