論文の概要: Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
- arxiv url: http://arxiv.org/abs/2604.23516v1
- Date: Sun, 26 Apr 2026 03:42:54 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-28 17:12:07.405923
- Title: Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
- Title（参考訳）: 古典的検証器のための時遅延公開検証量子計算
- Authors: Ameer Mohammed, Aydin Abadi, Jaffer Mahdi,
- Abstract要約: 一般に検証可能なデリゲートは、リソース集約型の計算タスクを、より強力で信頼性の低いサーバにアウトソースしたいという、よく知られた問題である。
本稿では,コミットメントスキームと時間ロックパズルを利用した実用的な非対話型スキームを提案する。
- 参考スコア（独自算出の注目度）: 4.613517417540153
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Publicly verifiable delegation is a well-known problem involving a user who wishes to outsource a resource-intensive computational task to a more powerful but potentially untrusted server such that any other party is able to efficiently check the veracity of the computation's result. This problem has been extensively studied in the classical domain where the user and server are both non-quantum machines. However, the problem becomes more challenging when the classical user wants to delegate a quantum circuit to a single prover with quantum-computing capabilities. Previous solutions have resorted to using impractical or non-standard cryptographic solutions (e.g. indistinguishability obfuscation) to achieve this requirement. In this work, we relax the requirement to have time-delayed publicly verifiable proofs, where the verification key is made known to the public only when the computation (and its proof) are guaranteed to have been completed. We propose a practical non-interactive scheme leveraging commitment schemes and time-lock puzzles, which can be efficiently realized through well-established and standard post-quantum assumptions. The main idea of our technique lies in using time-lock puzzles to compile a 2-round privately verifiable scheme into a non-interactive publicly verifiable scheme with timestamped proofs, outsourcing not only the quantum computation but the puzzle solving as well. Security is proven in the quantum random oracle model with a common reference string (CRS).
- Abstract（参考訳）: 一般に検証可能なデリゲートは、リソース集約型の計算タスクをより強力で信頼性の低いサーバにアウトソースしたいというユーザを巻き込んだよく知られた問題である。
この問題は、ユーザとサーバが共に量子でないマシンである古典的な領域で広く研究されている。
しかし、量子回路を量子計算能力を持つ1つの証明器に委譲しようとすると、問題はより難しくなります。
従来のソリューションは、この要件を達成するために、非現実的または非標準の暗号ソリューション(例えば、識別不能な難読化)を使うことに頼っていた。
本研究は, 検証鍵が一般に知られるのは, 計算(とその証明)が完了した場合に限られる。
本稿では,コミットメントスキームと時間ロックパズルを利用した実用的な非対話型スキームを提案する。
我々の技術の主な考え方は、時間ロックパズルを用いて、2ラウンドのプライベート検証可能なスキームをタイムスタンプで証明された非対話的公開検証スキームにコンパイルし、量子計算だけでなくパズルの解もアウトソーシングすることである。
セキュリティは、共通の参照文字列(CRS)を持つ量子ランダムオラクルモデルで証明される。
関連論文リスト
- Verified delegated quantum computation requires techniques beyond cut-and-choose [0.0]
デリゲート量子計算により、限られた量子能力を持つクライアントは、より強力な量子サーバに計算をアウトソースすることができる。
一般的な検証方法は量子カット・アンド・チョース法である。
カット・アンド・チョースは、コストのかかる余分な手法を使わずに、効率的かつセキュアな量子計算を実現できるかどうかを考察する。
論文 参考訳（メタデータ） (2026-03-10T08:45:23Z) - QCircuitBench: A Large-Scale Dataset for Benchmarking Quantum Algorithm Design [63.02824918725805]
量子コンピューティングは、量子アルゴリズムによる古典的コンピューティングよりも大幅にスピードアップされていることが認識されている。
QCircuitBenchは、量子アルゴリズムの設計と実装におけるAIの能力を評価するために設計された最初のベンチマークデータセットである。
論文 参考訳（メタデータ） (2024-10-10T14:24:30Z) - Quantum Fast Implementation of Functional Bootstrapping and Private Information Retrieval [1.6319731389952283]
単一の量子計算サーバを利用することで、プライバシ保存技術の効率性とセキュリティを大幅に向上させることができることを示す。
大規模平文の関数的ブートストラップのための効率的な量子アルゴリズムを提案する。
私たちの拡張は、劇的にスピードアップする可能性のある量子ベースの暗号ツールです。
論文 参考訳（メタデータ） (2024-09-30T10:49:18Z) - Classical Verification of Quantum Learning [42.362388367152256]
量子学習の古典的検証のための枠組みを開発する。
そこで我々は,新しい量子データアクセスモデルを提案し,これを"mixture-of-superpositions"量子例と呼ぶ。
この結果から,学習課題における量子データの潜在能力は無限ではないものの,古典的エージェントが活用できることが示唆された。
論文 参考訳（メタデータ） (2023-06-08T00:31:27Z) - Complexity-Theoretic Limitations on Quantum Algorithms for Topological
Data Analysis [59.545114016224254]
トポロジカルデータ解析のための量子アルゴリズムは、古典的手法よりも指数関数的に有利である。
我々は、量子コンピュータにおいても、TDA(ベッチ数の推定)の中心的なタスクが難解であることを示します。
我々は、入力データが単純さの仕様として与えられると、指数的量子優位性を取り戻すことができると論じる。
論文 参考訳（メタデータ） (2022-09-28T17:53:25Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳（メタデータ） (2022-06-29T22:19:12Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳（メタデータ） (2022-05-26T20:32:36Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Securing Quantum Computations in the NISQ Era [0.0]
プライバシースキャンダルが進行中であることを踏まえ、リモートアクセス可能なサーバによる量子コンピューティングの今後の利用は、特別な課題を生じさせる。
量子リード機能を持つクライアントは、そのデータとアルゴリズムを隠蔽し、計算が正しく実行されることを確認することを望んでいる。
量子コンピューティングの盲目かつ検証可能なデリゲートの研究は、この問題に対処しようと試みている。
論文 参考訳（メタデータ） (2020-11-19T18:03:18Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Forging quantum data: classically defeating an IQP-based quantum test [0.0]
古典的)証明器が量子であることを検証者に納得させる古典的アルゴリズムについて述べる。
キー抽出アルゴリズムは,実際に数百量子ビットの問題を解くのに有効であることを示す。
論文 参考訳（メタデータ） (2019-12-11T19:00:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。