論文の概要: Zero-Knowledge MIPs using Homomorphic Commitment Schemes
- arxiv url: http://arxiv.org/abs/2304.09784v1
- Date: Wed, 19 Apr 2023 16:11:00 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-20 13:46:45.851651
- Title: Zero-Knowledge MIPs using Homomorphic Commitment Schemes
- Title(参考訳): ホモモルフィック・コミット・スキームを用いたゼロ知識MIP
- Authors: Claude Cr\'epeau and John Stuart
- Abstract要約: Zero-Knowledge Protocol (ZKP) は、ある当事者が別の当事者に事実を納得させることを可能にし、事実の有効性以外の追加の知識を開示しない。
多くのZKPにおいて重要なツールはビットコミットメントであり、基本的には送信者がメッセージをロックボックスに配置し、ロックし、受信機に送信するデジタル方法である。
本稿では, 特定の複数当事者のコミットメントスキームの同型性を利用して, 受信者がコミットメントに対する操作を行えるようにする。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A Zero-Knowledge Protocol (ZKP) allows one party to convince another party of
a fact without disclosing any extra knowledge except the validity of the fact.
For example, it could be used to allow a customer to prove their identity to a
potentially malicious bank machine without giving away private information such
as a personal identification number. This way, any knowledge gained by a
malicious bank machine during an interaction cannot be used later to compromise
the client's banking account. An important tool in many ZKPs is bit commitment,
which is essentially a digital way for a sender to put a message in a lock-box,
lock it, and send it to the receiver. Later, the key is sent for the receiver
to open the lock box and read the message. This way, the message is hidden from
the receiver until they receive the key, and the sender is unable to change
their mind after sending the lock box. In this paper, the homomorphic
properties of a particular multi-party commitment scheme are exploited to allow
the receiver to perform operations on commitments, resulting in polynomial time
ZKPs for two NP-Complete problems: the Subset Sum Problem and 3SAT. These ZKPs
are secure with no computational restrictions on the provers, even with shared
quantum entanglement. In terms of efficiency, the Subset Sum ZKP is competitive
with other practical quantum-secure ZKPs in the literature, with less rounds
required, and fewer computations.
- Abstract(参考訳): Zero-Knowledge Protocol (ZKP) は、ある当事者が別の当事者に事実を納得させることを可能にし、事実の有効性以外の追加の知識を開示しない。
例えば、顧客は個人識別番号などの個人情報を渡すことなく、潜在的に悪意のある銀行機に自分の身元を証明できる。
このようにして、悪意のある銀行マシンがインタラクション中に得た知識は、後でクライアントの銀行口座を侵害するために使用できない。
多くのZKPにおいて重要なツールはビットコミットメントであり、基本的には送信者がメッセージをロックボックスに配置し、ロックし、受信機に送信するデジタル方法である。
その後、鍵が受信者に送られてロックボックスを開き、メッセージを読む。
このようにして、メッセージはキーを受け取るまで受信側から隠され、送信側はロックボックスを送信した後に心を変えることができない。
本稿では, NP-Compe 問題に対する多項式時間 ZKP を, サブセット Sum 問題と 3SAT という2つの問題に対して解くために, 特定のマルチパーティのコミットメントスキームの同型性を利用する。
これらのZKPは、共有量子絡み合いであっても、プローバーに計算上の制限を伴わずに安全である。
効率の面では、Subset Sum ZKPは文学における他の実用的な量子セキュアなZKPと競合し、ラウンドは少なく、計算量も少ない。
関連論文リスト
- Quantum digital signature based on single-qubit without a trusted third-party [45.41082277680607]
我々は、よりセキュリティを向上させるために、量子ビット技術のみを頼りにすることなく、新しい量子デジタル署名プロトコルを提案する。
また,このプロトコルは,非対称性,不確定性,拡張性など,他の重要な安全特性を満足する。
論文 参考訳(メタデータ) (2024-10-17T09:49:29Z) - Revocable Encryption, Programs, and More: The Case of Multi-Copy Security [48.53070281993869]
復号化可能な暗号化や復号化可能なプログラムなど,復号化可能なプリミティブの実現可能性を示す。
これは、マルチコピーセキュリティというより強い概念が、制限不能な暗号において到達範囲内にあることを示唆している。
論文 参考訳(メタデータ) (2024-10-17T02:37:40Z) - Physical Layer Deception with Non-Orthogonal Multiplexing [52.11755709248891]
本稿では,ワイヤタッピングの試みに積極的に対処する物理層騙し(PLD)の枠組みを提案する。
PLDはPLSと偽装技術を組み合わせることで、積極的に盗聴の試みに対処する。
本研究では,PLDフレームワークの有効性を詳細な分析で証明し,従来のPLS手法よりも優れていることを示す。
論文 参考訳(メタデータ) (2024-06-30T16:17:39Z) - Insecurity of Quantum Two-Party Computation with Applications to Cheat-Sensitive Protocols and Oblivious Transfer Reductions [0.0]
我々は、不正な当事者が不正行為をすることができるが、検出されるリスクがある、不正に敏感なOTの可能性を厳格に確立する。
セキュアな関数評価に必要なプリミティブのエントロピー境界を提供する。
我々の結果は、特に有限個のプリミティブ間の変換と任意の誤差に対して成り立つ。
論文 参考訳(メタデータ) (2024-05-20T15:39:30Z) - Uncloneable Cryptographic Primitives with Interaction [0.6091702876917281]
セキュリティが不確実性に基づく3つの新しい暗号プリミティブを構築した。
我々はコラダンジェロ、リュー、リュー、ザンドリーによって導入されたコセット状態の MoE 性の拡張を証明した。
論文 参考訳(メタデータ) (2023-02-28T19:46:15Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳(メタデータ) (2023-02-28T18:58:11Z) - Certified Everlasting Functional Encryption [10.973034520723957]
暗号における計算セキュリティは、セキュリティの根底にある計算仮定が将来破られるリスクがある。
良い妥協(量子に固有の)が永遠のセキュリティとして認定され、大まかに言えば以下のとおりです。
コミットやゼロ知識といったいくつかの暗号プリミティブは、常に安全であると認定されているが、他の重要なプリミティブは、永続的に安全であると証明されていない。
論文 参考訳(メタデータ) (2022-07-28T04:15:26Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z) - Quantum Encryption with Certified Deletion, Revisited: Public Key,
Attribute-Based, and Classical Communication [10.973034520723957]
ブロードベントとイスラム教は量子暗号プリミティブを提案した。
このプリミティブでは、量子暗号文を所持している受信機は、暗号化されたメッセージが削除された古典的な証明書を生成することができる。
削除証明書はプライベートに検証可能であるため、証明書の検証キーを秘密にしておく必要があるが、ブロードベントとイスラム教の定義では、公的な検証可能性も考慮できる。
論文 参考訳(メタデータ) (2021-05-12T01:41:46Z) - Security in Quantum Cryptography [5.914028209673859]
量子暗号は、情報のセキュアな処理に量子物理学の原理を利用する。
我々は、量子鍵分布とセキュア通信に焦点をあてて、このセキュリティの物理的概念を概観する。
論文 参考訳(メタデータ) (2021-01-29T19:00:54Z) - Backflash Light as a Security Vulnerability in Quantum Key Distribution
Systems [77.34726150561087]
量子鍵分布(QKD)システムのセキュリティ脆弱性について概説する。
我々は主に、盗聴攻撃の源となるバックフラッシュ光(backflash light)と呼ばれる特定の効果に焦点を当てる。
論文 参考訳(メタデータ) (2020-03-23T18:23:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。