論文の概要: Beating Classical Impossibility of Position Verification

• arxiv url: http://arxiv.org/abs/2109.07517v2
• Date: Mon, 3 Jan 2022 22:20:35 GMT
• ステータス: 処理完了
• システム内更新日: 2023-03-15 00:39:49.715735
• Title: Beating Classical Impossibility of Position Verification
• Title（参考訳）: 位置検証の古典的不可能性
• Authors: Jiahui Liu, Qipeng Liu, Luowen Qian
• Abstract要約: 古典的検証器を用いた位置検証プロトコルについて検討する。 誤りによる学習の量子硬度を仮定し,古典的に検証可能な位置検証を実現する。 また、1-of-2パズルに対する自然な非局所ゲームに対する1-of-2非局所音性の概念も開発する。
• 参考スコア（独自算出の注目度）: 5.196590087821413
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Chandran et al. (SIAM J. Comput.'14) formally introduced the cryptographic task of position verification, where they also showed that it cannot be achieved by classical protocols. In this work, we initiate the study of position verification protocols with classical verifiers. We identify that proofs of quantumness (and thus computational assumptions) are necessary for such position verification protocols. For the other direction, we adapt the proof of quantumness protocol by Brakerski et al. (FOCS'18) to instantiate such a position verification protocol. As a result, we achieve classically verifiable position verification assuming the quantum hardness of Learning with Errors. Along the way, we develop the notion of 1-of-2 non-local soundness for a natural non-local game for 1-of-2 puzzles, first introduced by Radian and Sattath (AFT'19), which can be viewed as a computational unclonability property. We show that 1-of-2 non-local soundness follows from the standard 2-of-2 soundness (and therefore the adaptive hardcore bit property), which could be of independent interest.
• Abstract（参考訳）: Chandran et al. (SIAM J. Comput.'14) は公式に位置検証の暗号タスクを導入し、古典的なプロトコルでは達成できないことを示した。 本研究では,古典的検証器を用いた位置検証プロトコルの研究を開始する。 このような位置検証プロトコルには量子性の証明(および計算仮定)が必要である。 一方、Brakerskiらによる量子性プロトコル(FOCS'18)の証明を適用して、そのような位置検証プロトコルをインスタンス化する。 その結果,誤りを伴う学習の量子ハードネスを仮定して,古典的に検証可能な位置検証を実現する。 その過程で,Radian and Sattath (AFT'19) が最初に導入した1-of-2パズルの自然な非局所ゲームに対する1-of-2非局所音性の概念を,計算不能性と見なすことができる。 1-of-2 の非局所的な音響性は、標準の 2-of-2 の音響性(したがって適応ハードコアのビット特性)から導かれる。

関連論文リスト

• Towards practical quantum position verification [0.0]
  タギング装置が古典的データをセキュアに保つという標準的な量子暗号的仮定に基づいて,量子位置検証方式のプロトコルについて議論する。 我々のスキームは量子鍵分布によって補充された古典的な鍵を用いる。 古典的なデータのセキュリティにより、このスキームは非ローカルな偽造攻撃に対して安全である。
  論文  参考訳（メタデータ） (2023-09-18T18:36:16Z)
• Bounding the quantum value of compiled nonlocal games: from CHSH to BQP verification [2.298932494750101]
  Kalaiらは、非ローカルゲームに適用されるブラックボックス暗号コンパイル手順を定義した。 単一プロデューサプロトコルの量子値の完全な理解に向けて前進する。 我々は,BQPに対して単一プロプライエタリな古典的検証プロトコルを提供し,CHSH剛性解析を用いてその健全性を証明した。
  論文  参考訳（メタデータ） (2023-03-02T19:20:59Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Efficient Bipartite Entanglement Detection Scheme with a Quantum Adversarial Solver [89.80359585967642]
  パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。 このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
  論文  参考訳（メタデータ） (2022-03-15T09:46:45Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
  証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。 イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
  論文  参考訳（メタデータ） (2021-12-09T19:00:00Z)
• 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 Key-Distribution Protocols Based on a Quantum Version of the Monty Hall Game [0.0]
  この研究は、FlitneyとAbbottによって考案されたMonty Hallの量子バージョンに基づく2つの量子鍵分配プロトコルを提案した。 2つ目の提案の背後にある動機は、量子ビットと単純な論理量子ゲートを使用するためにキュートプロトコルの定式化を適用することによって、実現可能な物理実装を単純化することである。
  論文  参考訳（メタデータ） (2020-05-11T22:06:30Z)
• Classical proofs of quantum knowledge [10.432041176720842]
  検証者が古典的な設定で知識の証明という概念を定義する。 量子知識の非破壊的な古典的証明が何らかの状態に存在すれば、その状態は敵によってクローンできることを示す。
  論文  参考訳（メタデータ） (2020-05-04T17:45:21Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。