Fugu-MT 論文翻訳(概要): On Zero-Knowledge Proofs over the Quantum Internet

論文の概要: On Zero-Knowledge Proofs over the Quantum Internet

arxiv url: http://arxiv.org/abs/2212.03027v6
Date: Sun, 6 Aug 2023 17:29:41 GMT
ステータス: 処理完了
システム内更新日: 2023-08-09 00:27:16.752947
Title: On Zero-Knowledge Proofs over the Quantum Internet
Title（参考訳）: 量子インターネット上のゼロ知識証明について
Authors: Mark Carney
Abstract要約: 本稿では,量子ID認証(QIA)プロトコルの新しい手法を提案する。古典的なゼロ知識証明(ZKP)の論理は量子回路やアルゴリズムに適用される。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This paper presents a new method for quantum identity authentication (QIA) protocols. The logic of classical zero-knowledge proofs (ZKPs) due to Schnorr is applied in quantum circuits and algorithms. This novel approach gives an exact way with which a prover $P$ can prove they know some secret by encapsulating it in a quantum state before sending to a verifier $V$ by means of a quantum channel - allowing for a ZKP wherein an eavesdropper or manipulation can be detected with a fail-safe design. This is achieved by moving away from the hardness of the Discrete Logarithm Problem towards the hardness of estimating quantum states. This paper presents a method with which this can be achieved and some bounds for the security of the protocol provided. With the anticipated advent of a `quantum internet', such protocols and ideas may soon have utility and execution in the real world.
Abstract（参考訳）: 本稿では,量子ID認証(QIA)プロトコルの新しい手法を提案する。古典的なゼロ知識証明(ZKP)の論理は量子回路やアルゴリズムに適用される。この斬新なアプローチは、証明者 $p$ が量子チャネルによって検証者 $v$ に送る前に量子状態にカプセル化することで秘密を証明できる正確な方法を与える。これは離散対数問題の硬さから量子状態の推定の硬さへと移行することで達成される。本稿では,これを実現する手法と,プロトコルのセキュリティに関するいくつかの限界について述べる。量子インターネット」の出現が予想される中で、そのようなプロトコルやアイデアはすぐに現実の世界で実用性と実行をもたらすかもしれない。

関連論文リスト

Classical certification of quantum gates under the dimension assumption [0.1874930567916036]
ブラックボックスシナリオで単一量子ビットの量子ゲートを認証する効率的な方法を開発した。この手法のサンプルの複雑さは$mathrmO(varepsilon-1)$として増加することを証明している。提案手法は,単一キュービット量子計算においてゲートセットを普遍的に証明するために利用できることを示す。
論文参考訳（メタデータ） (2024-01-30T13:40:39Z)
Secured Quantum Identity Authentication Protocol for Quantum Networks [2.3317857568404032]
本稿では、悪意のある絡み合いから量子ネットワークを保護する量子ID認証プロトコルを提案する。既存のプロトコルとは異なり、提案された量子認証プロトコルは共有秘密鍵の定期的な更新を必要としない。
論文参考訳（メタデータ） (2023-12-10T05:36:49Z)
Quantum process tomography of continuous-variable gates using coherent states [49.299443295581064]
ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
論文参考訳（メタデータ） (2023-03-02T18:08:08Z)
Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文参考訳（メタデータ） (2023-03-02T14:18:17Z)
Quantum oblivious transfer: a short review [0.06554326244334865]
本稿では,理論量子暗号の領域における暗黙の転送の概念について考察する。我々は、このプリミティブを逸脱する不確実性の結果をレビューし、QOTセキュリティを証明可能ないくつかの量子セキュリティモデルについて議論する。
論文参考訳（メタデータ） (2022-06-06T15:19:26Z)
Efficient Bipartite Entanglement Detection Scheme with a Quantum Adversarial Solver [89.80359585967642]
パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
論文参考訳（メタデータ） (2022-03-15T09:46:45Z)
Quantum computation capability verification protocol for NISQ devices with dihedral coset problem [0.4061135251278187]
本稿では,一方のパーティ(検証者)が他方のパーティ(証明者)装置の量子計算能力を検証するための,一方のパーティ(検証者)に対して,一方の方向の量子チャネルを介して対話的プロトコルを提案する。我々はIBM Qデバイスの1つで4量子ビット実験を行う。
論文参考訳（メタデータ） (2022-02-14T19:00:58Z)
Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文参考訳（メタデータ） (2021-12-09T19:00:00Z)
Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文参考訳（メタデータ） (2020-10-15T17:55:31Z)
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)

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