論文の概要: Another Round of Breaking and Making Quantum Money: How to Not Build It
from Lattices, and More
- arxiv url: http://arxiv.org/abs/2211.11994v2
- Date: Fri, 30 Dec 2022 19:55:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-19 04:15:36.306077
- Title: Another Round of Breaking and Making Quantum Money: How to Not Build It
from Lattices, and More
- Title（参考訳）: 量子マネーを破って稼ぐもう1つのラウンド:格子からそれを構築しない方法など
- Authors: Jiahui Liu, Hart Montgomery, Mark Zhandry
- Abstract要約: 我々は、公に検証可能な量子マネーに対して、負と正の両方の結果を提供する。
量子マネーと量子ライティングを構築するためのフレームワークを提案する。
フレームワークの潜在的インスタンス化について論じる。
- 参考スコア（独自算出の注目度）: 13.02553999059921
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Public verification of quantum money has been one of the central objects in
quantum cryptography ever since Wiesner's pioneering idea of using quantum
mechanics to construct banknotes against counterfeiting. So far, we do not know
any publicly-verifiable quantum money scheme that is provably secure from
standard assumptions.
In this work, we provide both negative and positive results for publicly
verifiable quantum money.
**In the first part, we give a general theorem, showing that a certain
natural class of quantum money schemes from lattices cannot be secure. We use
this theorem to break the recent quantum money scheme of Khesin, Lu, and Shor.
**In the second part, we propose a framework for building quantum money and
quantum lightning we call invariant money which abstracts some of the ideas of
quantum money from knots by Farhi et al.(ITCS'12). In addition to formalizing
this framework, we provide concrete hard computational problems loosely
inspired by classical knowledge-of-exponent assumptions, whose hardness would
imply the security of quantum lightning, a strengthening of quantum money where
not even the bank can duplicate banknotes.
**We discuss potential instantiations of our framework, including an oracle
construction using cryptographic group actions and instantiations from
rerandomizable functional encryption, isogenies over elliptic curves, and
knots.
- Abstract（参考訳）: 量子マネーの公的な検証は、ウィーズナーが量子力学を使って偽造に対する紙幣を構築するという先駆的なアイデア以来、量子暗号における中心的な対象の1つとなっている。
これまでのところ、公に検証可能な量子マネースキームは、標準仮定から確実に安全である。
本研究は,量子マネーを公に検証するための負および正の結果を提供する。
※第一部において、格子からの量子マネースキームのある種の自然なクラスは安全でないことを示す一般的な定理を与える。
この定理を用いて、Khesin, Lu, Shor の最近の量子マネースキームを破る。
※第2部では、Farhiらによる結び目から量子マネーの考え方を抽象化した不変通貨(invariant money)と呼ぶ量子マネーと量子ライティングを構築するためのフレームワークを提案する。
(ITCS'12)。
この枠組みの定式化に加えて、銀行でさえ紙幣を複製できない量子マネーの強化である量子稲妻の安全性を暗示する古典的な知識から着想を得た、具体的な計算問題も提供する。
*暗号グループアクションを用いたオラクル構築や、復号化可能な関数暗号からのインスタンス化、楕円曲線上の等質性、結び目など、我々のフレームワークの潜在的なインスタンス化について論じる。
関連論文リスト
- Anonymous Public-Key Quantum Money and Quantum Voting [15.80411915665245]
量子マネースキームにおけるプライバシの形式的定義を開発する。
次に、これらのセキュリティ概念を満たす最初の公開鍵量子マネースキームを構築する。
量子力学の結果、非閉鎖原理は古典的に不可能なセキュリティ保証を備えたスキームの構築を可能にすることを示した。
論文 参考訳（メタデータ） (2024-11-07T07:21:28Z) - A General Quantum Duality for Representations of Groups with Applications to Quantum Money, Lightning, and Fire [8.714677279673738]
1つの基底で量子状態を操作することは、相補的な基底で値を取り出すことと等価であることを示す。
本研究は,有理暗号的仮定に基づく最初のセキュアな量子稲妻構築について述べる。
量子雷セキュリティ、最悪のケースと平均的なクローンセキュリティ、標準状態の準備に対するセキュリティの4つのセキュリティ概念の等価性を示す。
論文 参考訳（メタデータ） (2024-11-01T11:56:11Z) - Cloud-based Semi-Quantum Money [8.252999068253603]
1970年代、ヴィースナーは量子マネーの概念を導入し、特定の規則に従って生成された量子状態が通貨として機能した。
量子マネーを鋳造・保存できる量子コンピュータはまだ登場していない。
既存の量子チャネルは、量子マネーのための効率的な量子状態の伝送をサポートするほど安定ではない。
論文 参考訳（メタデータ） (2024-07-16T07:40:17Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳（メタデータ） (2023-02-28T18:58:11Z) - On the (Im)plausibility of Public-Key Quantum Money from
Collision-Resistant Hash Functions [6.164147034988822]
量子マネーと暗号プリミティブの最初のブラックボックス分離について述べる。
具体的には、衝突耐性ハッシュ関数は、公開鍵量子マネースキームを構築するブラックボックスとして利用できないことを示す。
論文 参考訳（メタデータ） (2023-01-23T00:44:54Z) - Franchised Quantum Money [13.772109618082382]
構築が容易な代替の量子マネーである、フランチャイズ量子マネーを導入します。
フランチャイズされた量子マネーは、有用な量子マネースキームの特徴を保っている。
フランチャイズされた量子マネーでは、すべてのユーザーがユニークな秘密の認証キーを受け取り、そのスキームは偽造や妨害に対して安全である。
論文 参考訳（メタデータ） (2021-10-19T05:00:28Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳（メタデータ） (2021-08-03T17:49:09Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's
Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。
本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。
我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文 参考訳（メタデータ） (2020-12-30T18:03:56Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。