論文の概要: Quantum Cheques
- arxiv url: http://arxiv.org/abs/2401.16116v3
- Date: Thu, 22 Feb 2024 19:21:21 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-26 17:29:58.822726
- Title: Quantum Cheques
- Title（参考訳）: 量子チェーク
- Authors: Mohammed Barhoush and Louis Salvail
- Abstract要約: 量子チェークは公開鍵を使用して検証できるが、単一のユーザによってのみ検証できる。
量子マネーとは異なり、QCは銀行が暗号を発行したときのみ量子通信を必要とする。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Publicly-verifiable quantum money has been a central and challenging goal in
quantum cryptography. To this day, no constructions exist based on standard
assumptions. In this study, we propose an alternative notion called quantum
cheques (QCs) that is more attainable and technologically feasible. A quantum
cheque can be verified using a public-key but only by a single user.
Specifically, the payer signs the quantum cheque for a particular recipient
using their ID, and the recipient can validate it without the assistance of the
bank, ensuring that the payer cannot assign the same cheque to another user
with a different ID. Unlike quantum money, QCs only necessitate quantum
communication when a cheque is issued by the bank, meaning all payments and
deposits are entirely classical!
We demonstrate how to construct QCs based on the well-studied
learning-with-errors (LWE) assumption. In the process, we build two novel
primitives which are of independent interest. Firstly, we construct signatures
with publicly-verifiable deletion under LWE. This primitive enables the signing
of a message $m$ such that the recipient can produce a classical string that
publicly proves the inability to reproduce a signature of $m$. We then
demonstrate how this primitive can be used to construct 2-message signature
tokens. This primitive enables the production of a token that can be used to
sign a single bit and then self-destructs. Finally, we show that 2-message
signature tokens can be used to construct QCs.
- Abstract（参考訳）: 公に検証可能な量子マネーは、量子暗号において中心的かつ挑戦的な目標である。
今日まで、標準的な仮定に基づく構成は存在しない。
本研究では、より達成可能で技術的に実現可能なQC(quantum cheques)という代替概念を提案する。
量子チェークは公開鍵を使用して検証できるが、単一のユーザによってのみ検証できる。
具体的には、支払い者は、そのIDを使用して特定の受信者の量子チェークに署名し、受信者は銀行の助けなしにそれを検証でき、支払い者は別のIDを持つ別のユーザに同じチェークを割り当てることができない。
量子マネーとは違って、QCは銀行によって発行されたチークがすべて古典的である場合にのみ量子通信を必要とする。
本稿では,LWE(Learning-with-errors)の仮定に基づいてQCを構築する方法を示す。
このプロセスでは、独立した関心を持つ2つの新しいプリミティブを構築します。
まず、LWEの下で公に検証可能な削除が可能なシグネチャを構築する。
このプリミティブは、メッセージ$m$の署名を可能にするので、受信者は、$m$の署名を再現できないことを公に証明する古典的な文字列を生成できる。
次に,このプリミティブを用いて2メッセージ署名トークンを構築する方法を示す。
このプリミティブは、単一ビットに署名し、自己分解するために使用できるトークンの生成を可能にする。
最後に、2メッセージのシグネチャトークンをqcsの構築に使用できることを示す。
関連論文リスト
- Anonymous Public-Key Quantum Money and Quantum Voting [15.80411915665245]
量子マネースキームにおけるプライバシの形式的定義を開発する。
次に、これらのセキュリティ概念を満たす最初の公開鍵量子マネースキームを構築する。
量子力学の結果、非閉鎖原理は古典的に不可能なセキュリティ保証を備えたスキームの構築を可能にすることを示した。
論文 参考訳（メタデータ） (2024-11-07T07:21:28Z) - On black-box separations of quantum digital signatures from pseudorandom
states [1.9254132307399263]
我々は、$textitdoes not$が存在し、量子デジタル署名スキームのブラックボックス構造が存在することを示す。
この結果は,古典署名付き$textitone-time$ secure QDSスキームを記述した森前と山川(2022年)を補完するものである。
論文 参考訳（メタデータ） (2024-02-13T03:36:35Z) - Revocable Quantum Digital Signatures [57.25067425963082]
我々は、LWE仮定から取り消し可能な署名キーでデジタル署名を定義し、構築する。
このプリミティブでは、署名キーは、ユーザーが多くのメッセージに署名できる量子状態である。
一度キーが取り消されたら、キーの最初の受信者が署名する能力を失うことを要求します。
論文 参考訳（メタデータ） (2023-12-21T04:10:07Z) - How to Sign Quantum Messages [0.0]
本稿では、時間依存(TD)シグネチャの概念を紹介し、量子メッセージのシグネチャは署名の時間に依存する。
次に,量子記憶モデルについて考察する。
このモデルでは、量子メッセージは情報理論のセキュリティで署名できることを示す。
論文 参考訳（メタデータ） (2023-04-13T08:05:19Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Another Round of Breaking and Making Quantum Money: How to Not Build It
from Lattices, and More [13.02553999059921]
我々は、公に検証可能な量子マネーに対して、負と正の両方の結果を提供する。
量子マネーと量子ライティングを構築するためのフレームワークを提案する。
フレームワークの潜在的インスタンス化について論じる。
論文 参考訳（メタデータ） (2022-11-22T04:17:32Z) - 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) - 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) - A Quantum Money Solution to the Blockchain Scalability Problem [3.89615163169501]
量子環境におけるスマートコントラクトの利用の最初の例を示す。
本稿では、ステートフルなスマートコントラクトを処理可能な古典的ブロックチェーンを主成分とする、シンプルな古典的量子支払いシステムについて述べる。
我々のハイブリッド支払いシステムは、紛争を解決し、有効なシリアル番号を追跡するために、紙幣や古典的なブロックチェーンとして量子状態を使用している。
論文 参考訳（メタデータ） (2020-02-27T09:40:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。