論文の概要: Unclonable Non-Interactive Zero-Knowledge
- arxiv url: http://arxiv.org/abs/2310.07118v1
- Date: Wed, 11 Oct 2023 01:32:36 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-13 07:45:01.727461
- Title: Unclonable Non-Interactive Zero-Knowledge
- Title（参考訳）: 非ブロック型非対話型ゼロノウレッジ
- Authors: Ruta Jawale and Dakshita Khurana
- Abstract要約: 非対話的ZK(NIZK)証明は、秘密を明かさずにNPステートメントの検証を可能にする。
本稿では,クローン化が不可能なNIZK証明システムを構築するために,量子情報に頼ることが可能かどうかを問う。
- 参考スコア（独自算出の注目度）: 13.011345529764787
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A non-interactive ZK (NIZK) proof enables verification of NP statements
without revealing secrets about them. However, an adversary that obtains a NIZK
proof may be able to clone this proof and distribute arbitrarily many copies of
it to various entities: this is inevitable for any proof that takes the form of
a classical string. In this paper, we ask whether it is possible to rely on
quantum information in order to build NIZK proof systems that are impossible to
clone.
We define and construct unclonable non-interactive zero-knowledge proofs (of
knowledge) for NP. Besides satisfying the zero-knowledge and proof of knowledge
properties, these proofs additionally satisfy unclonability. Very roughly, this
ensures that no adversary can split an honestly generated proof of membership
of an instance $x$ in an NP language $\mathcal{L}$ and distribute copies to
multiple entities that all obtain accepting proofs of membership of $x$ in
$\mathcal{L}$. Our result has applications to unclonable signatures of
knowledge, which we define and construct in this work; these non-interactively
prevent replay attacks.
- Abstract（参考訳）: 非対話的ZK(NIZK)証明は、秘密を明かさずにNPステートメントの検証を可能にする。
しかし、NIZK証明を得た敵は、この証明をクローンし、任意の数のコピーを様々な実体に分配することができるかもしれない。
本稿では,クローン化が不可能なNIZK証明システムを構築するために,量子情報に頼ることが可能かどうかを問う。
我々はnpの非対話的ゼロ知識証明(知識)を定義し、構成する。
ゼロ知識と知識特性の証明を満たすことに加えて、これらの証明は非行性も満たす。
概してこれは、NP言語$\mathcal{L}$でインスタンス$x$のメンバシップの正直に生成された証明を割り出し、コピーを複数のエンティティに分散させることが、すべてのエンティティが$x$のメンバシップの証明を$\mathcal{L}$で受け入れることを保証する。
結果として、この作業で定義し構築する知識の無防備なシグネチャへのアプリケーションが生まれました。
関連論文リスト
- Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets [3.3373764108905455]
構成性により、ユーザーは異なるNIZKを組み合わせられる。
我々は、NIZKのコラボレーティブ・コミット・アンド・プロブのための、最初の一般的な定義を示す。
論文 参考訳（メタデータ） (2024-07-27T08:45:34Z) - The Round Complexity of Proofs in the Bounded Quantum Storage Model [0.7366405857677227]
有界量子記憶モデル(BQSM)におけるプロトコルのラウンド圧縮に関する研究
このモデルでは、悪意のあるパーティは有界量子メモリを持ち、プロトコルに送信される全てのキュービットを格納できない。
標準手法では, NIZKはBQS相手に対する平易なモデルではありそうにないことを示す。
論文 参考訳（メタデータ） (2024-05-28T15:24:48Z) - Generating Natural Language Proofs with Verifier-Guided Search [74.9614610172561]
NLProofS (Natural Language Proof Search) を提案する。
NLProofSは仮説に基づいて関連するステップを生成することを学習する。
EntailmentBank と RuleTaker の最先端のパフォーマンスを実現している。
論文 参考訳（メタデータ） (2022-05-25T02:22:30Z) - Verifiable Quantum Advantage without Structure [18.816869896281666]
ランダムなオラクルをSHA2のような具体的な暗号ハッシュ関数に置き換える。
以上の結果の最小限のインスタンス化が可能である。
論文 参考訳（メタデータ） (2022-04-05T08:58:24Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - multiPRover: Generating Multiple Proofs for Improved Interpretability in
Rule Reasoning [73.09791959325204]
我々は、自然言語の事実と規則の形で明示的な知識を推論することを目的としている言語形式推論の一種に焦点を当てる。
PRoverという名前の最近の研究は、質問に答え、答えを説明する証明グラフを生成することによって、そのような推論を行う。
本研究では,自然言語規則ベースの推論のために複数の証明グラフを生成するという,新たな課題に対処する。
論文 参考訳（メタデータ） (2021-06-02T17:58:35Z) - A simple geometric proof for the benefit of depth in ReLU networks [57.815699322370826]
本論文では, 多層フィードフォワードネットワークにおける深度の利点を, 整流活性化(深度分離)により証明する。
我々は、線形深さ($m$)と小さな定数幅($leq 4$)を持つ具体的なニューラルネットワークを示し、問題をゼロエラーで分類する。
論文 参考訳（メタデータ） (2021-01-18T15:40:27Z) - Experimental relativistic zero-knowledge proofs [4.334542470441071]
2つの分離された検証器とプロデューサのペアを含むゼロ知識プロトコルを開発する。
セキュリティは、特殊相対性理論の物理的原則によって実施される。
これはマルチプロデューサゼロ知識プロトコルの実用可能性を示している。
論文 参考訳（メタデータ） (2020-12-18T19:00:01Z) - A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds [12.525959293825318]
我々は,統計音性およびブラックボックス$epsilon$-zero-knowledgeを満たすNPのラウンド・インタラクティブ証明を構築した。
我々の研究の核心は、シミュレーターが悪意のある検証者のコミットメッセージを抽出できる新しい量子巻き戻し技術である。
論文 参考訳（メタデータ） (2020-11-05T05:40:05Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳（メタデータ） (2020-09-29T08:41:53Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。
この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。
標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文 参考訳（メタデータ） (2018-03-10T05:31:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。