Fugu-MT 論文翻訳(概要): Publicly verifiable quantum money from random lattices

論文の概要: Publicly verifiable quantum money from random lattices

arxiv url: http://arxiv.org/abs/2207.13135v3
Date: Tue, 30 Aug 2022 22:19:52 GMT
ステータス: 処理完了
システム内更新日: 2023-02-03 10:13:19.771671
Title: Publicly verifiable quantum money from random lattices
Title（参考訳）: ランダム格子から公に検証可能な量子マネー
Authors: Andrey Boris Khesin, Jonathan Z. Lu, Peter W. Shor
Abstract要約: ランダム格子上のガウス重畳に基づく量子マネーの公開検証のための暗号スキームを開発する。我々は格子ベースの暗号から短いベクトル問題の難しさの下で、量子マネーの鍛造不可能性を証明した。
参考スコア（独自算出の注目度）: 2.2559617939136505
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Publicly verifiable quantum money is a protocol for the preparation of quantum states that can be efficiently verified by any party for authenticity but is computationally infeasible to counterfeit. We develop a cryptographic scheme for publicly verifiable quantum money based on Gaussian superpositions over random lattices. We introduce a verification-of-authenticity procedure based on the lattice discrete Fourier transform, and subsequently prove the unforgeability of our quantum money under the hardness of the short vector problem from lattice-based cryptography.
Abstract（参考訳）: 公に検証可能な量子マネー(英: public verified quantum money)は、任意の当事者が真正性のために効率的に検証できるが、偽造は計算上不可能である量子状態の作成のためのプロトコルである。ランダム格子上のガウス重畳に基づく量子マネーの公開検証のための暗号スキームを開発する。本稿では,格子離散フーリエ変換に基づく音響性検証手法を導入し,格子ベースの暗号による短ベクトル問題の難しさの下で量子マネーの偽造性を証明する。

関連論文リスト

Classical certification of quantum gates under the dimension assumption [0.1874930567916036]
ブラックボックスシナリオで単一量子ビットの量子ゲートを認証する効率的な方法を開発した。この手法のサンプルの複雑さは$mathrmO(varepsilon-1)$として増加することを証明している。提案手法は,単一キュービット量子計算においてゲートセットを普遍的に証明するために利用できることを示す。
論文参考訳（メタデータ） (2024-01-30T13:40:39Z)
A Cryptographic Perspective on the Verifiability of Quantum Advantage [5.857929080874288]
本稿では,暗号的観点からの量子優位性の検証について検討する。量子優位性と暗号および複雑性プリミティブの妥当性の強い関係を確立する。我々の研究は、検証可能な量子長所を求めることが量子暗号の応用につながる可能性を示唆している。
論文参考訳（メタデータ） (2023-10-23T00:31:51Z)
Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文参考訳（メタデータ） (2023-03-02T14:18:17Z)
On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions [6.164147034988822]
量子マネーと暗号プリミティブの最初のブラックボックス分離について述べる。具体的には、衝突耐性ハッシュ関数は、公開鍵量子マネースキームを構築するブラックボックスとして利用できないことを示す。
論文参考訳（メタデータ） (2023-01-23T00:44:54Z)
Another Round of Breaking and Making Quantum Money: How to Not Build It from Lattices, and More [13.02553999059921]
我々は、公に検証可能な量子マネーに対して、負と正の両方の結果を提供する。量子マネーと量子ライティングを構築するためのフレームワークを提案する。フレームワークの潜在的インスタンス化について論じる。
論文参考訳（メタデータ） (2022-11-22T04:17:32Z)
Qafny: A Quantum-Program Verifier [39.47005122712576]
本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。 Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
論文参考訳（メタデータ） (2022-11-11T18:50:52Z)
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)
Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文参考訳（メタデータ） (2021-07-05T17:45:41Z)
Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文参考訳（メタデータ） (2021-03-15T05:09:17Z)
Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文参考訳（メタデータ） (2020-04-24T17:58:10Z)

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