論文の概要: Classical Verifier Position Verification from Non-Local Games
- arxiv url: http://arxiv.org/abs/2609.38441v1
- Date: Tue, 29 Sep 2026 19:35:11 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-01 18:57:26.656156
- Title: Classical Verifier Position Verification from Non-Local Games
- Title（参考訳）: 非ローカルゲームからの古典的検証器位置検証
- Abstract要約: 本稿では,完全サポート型非ローカルゲームにおいて必要となる量子アドバンテージをマルチプロデューサCVPVプロトコルにマッピングする汎用コンパイラを提案する。
複数の証明器による複数の証明器の同時検証と1つの証明器の同時検証を両立させる量子乱数オラクルモデルにおいて有限サイズセキュリティを証明した。
- 参考スコア（独自算出の注目度）: 1.0386786451091783
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Secure position verification certifies that a remote prover occupies a claimed location, a task that is provably impossible with classical resources alone against colluding adversaries. Most existing quantum position verification schemes require transmitting quantum states between verifiers and provers, and the resulting photon loss makes long-distance verification impractical. Classical verifier position verification (CVPV) schemes with classical verifier-prover communication exist, but rely on complex quantum processes that generate certifiable randomness, placing them outside the reach of near-term hardware. Here we introduce a general compiler that maps any complete-support non-local game with the required quantum advantage into a multi-prover CVPV protocol. This addresses both limitations, with entirely classical verifier-prover communication and all quantum resources confined to shared entanglement and local measurements on the prover devices. Instantiating with the CHSH game enables near-term implementation on existing experimental platforms. We prove finite-size security in the quantum random oracle model for both simultaneous verification of multiple provers and verification of a single prover with multiple prover devices. Notably, security in the multi-prover setting is governed not by the certified randomness of the joint provers' outputs, but by certified blind local randomness that depends critically on the spatial arrangement of provers and verifiers.
- Abstract（参考訳）: 安全な位置検証は、遠隔証明者が主張する場所を占有していることを保証する。
ほとんどの既存の量子位置検証スキームは、検証器とプロバーの間で量子状態の伝達を必要とし、その結果の光子損失は長距離検証を非現実的にする。
古典的検証器・プロデューサ通信を用いたCVPV方式は存在するが、証明可能なランダム性を生成する複雑な量子プロセスに依存し、短期的なハードウェアの範囲外に置く。
本稿では,全ての完全サポート型非ローカルゲームに対して,必要な量子アドバンテージをマルチプロデューサCVPVプロトコルにマッピングする汎用コンパイラを提案する。
これは、完全に古典的な検証器-プロデューサ通信と、共有絡み合いと証明器デバイス上の局所的な測定に限定された全ての量子資源によって、両方の制限に対処する。
CHSHゲームを利用すると、既存の実験プラットフォーム上での短期的な実装が可能になる。
複数の証明器による複数の証明器の同時検証と1つの証明器の同時検証を両立させる量子乱数オラクルモデルにおいて有限サイズセキュリティを証明した。
特に、マルチプロデューサ設定のセキュリティは、共同プロデューサの出力の証明されたランダム性ではなく、プロデューサと検証器の空間配置に決定的に依存する証明された盲点局所ランダム性によって管理される。
関連論文リスト
- Loss-Tolerant Quantum Position Verification for Metropolitan Area Networks [27.618033882828644]
時空アザラシ(英: spacetime seal)とは、デジタルイベントが承認された場所と時刻で発生したことを保証する暗号である。
逆条件では、そのようなシールの純粋に古典的な実現は偽造することができる。
QPV は物理学に基づく解を提供し、ノークローニング定理とノーシグナリング原理を利用する。
論文 参考訳（メタデータ） (2026-09-19T22:22:24Z) - Probabilistically Checking Quantum Proofs, with Interaction [2.0482700732041397]
我々は、検証者および通信が共に量子オラクルであることが許される対話的証明(qIOP)の量子アナログについて研究する。
我々の主な成果は、全通信が成り立つ言語に対するqIOPであるが、検証者は全キュービットの多元数のみを読み取る。
論文 参考訳（メタデータ） (2026-06-08T14:59:51Z) - Quantum Position Verification with Remote Untrusted Devices [1.4972897100946643]
多くのアプリケーションは、リモートパーティをセキュアにローカライズすることを必要とする。
古典物理学において、敵は原則としてそのようなパーティーの装置について完全な知識を持つことができる。
デバイスに依存しない量子位置検証のためのプロトコルを開発し,実験的に実証する。
論文 参考訳（メタデータ） (2026-01-23T16:59:13Z) - Verifier-initiated quantum message-authentication via quantum zero-knowledge proofs [38.81686642226027]
検証者は必要なときにのみ認証を要求できる新しい手法を導入し、量子ネットワークやブロックチェーンアプリケーションの効率を向上する。
我々のアプローチは、古典暗号で広く使われているゼロ知識の概念を量子設定に適応させ、検証が秘密鍵について何も明らかにしないことを保証する。
この研究は、フォーマルなセキュリティを備えた最初の一般的な検証開始型量子署名スキームを提供し、将来の量子インフラストラクチャや分散システムにおけるスケーラブルでセキュアな認証を実現する。
論文 参考訳（メタデータ） (2025-12-05T04:40:34Z) - Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases [0.0]
任意の多部純量子状態を検証する普遍的プロトコルを提案する。
局所次元に依存しないサンプル複雑性の普遍的な上限を確立する。
論文 参考訳（メタデータ） (2025-06-24T17:22:01Z) - Device-independent secure correlations in sequential quantum scenarios [44.99833362998488]
デバイスに依存しない量子情報は、特に情報セキュリティにおけるその応用において、大きな注目を集めている。
本稿では,デバイスに依存しないセキュリティを実現するために,シーケンシャルな量子プロトコルを設計するための体系的なアプローチを提案する。
この体系的な構成により、結果の理想的な相関は、他の相関の統計的混合として再現できないという意味で、安全であることが解析的に証明される。
論文 参考訳（メタデータ） (2025-03-18T16:45:20Z) - On the Equivalence between Classical Position Verification and Certified Randomness [1.5391321019692432]
ゲートベースの量子コンピュータは、古典的に難解な計算タスクを加速する巨大なポテンシャルを持っている。
長い間、ランダム回路サンプリングの量子的有用性を実用的な問題で示すことは困難であった。
近年, RCS を利用して, 捕捉されたイオン量子コンピュータを用いて, ランダム性を証明した対話プロトコルを実証している。
論文 参考訳（メタデータ） (2024-10-04T23:49:38Z) - Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。
既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。
我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
論文 参考訳（メタデータ） (2024-05-24T17:33:10Z) - Certified randomness in tight space [28.7482666629286]
小型のアプリケーション・レディ・デバイス上での認証ランダムネス生成手法を提案する。
実世界のアプリケーションでは,ランダム性が最も高い2量子フォトニックデバイスを実証する。
論文 参考訳（メタデータ） (2023-01-09T17:34:48Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳（メタデータ） (2021-12-09T19:00:00Z) - Sample-efficient device-independent quantum state verification and
certification [68.8204255655161]
量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。
我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。
デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
論文 参考訳（メタデータ） (2021-05-12T17:48:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。