論文の概要: Experimental relativistic zero-knowledge proofs

• arxiv url: http://arxiv.org/abs/2012.10452v2
• Date: Wed, 16 Feb 2022 08:10:51 GMT
• ステータス: 処理完了
• システム内更新日: 2023-04-20 06:17:56.896486
• Title: Experimental relativistic zero-knowledge proofs
• Title（参考訳）: 実験相対論的ゼロ知識証明
• Authors: Pouriya Alikhani, Nicolas Brunner, Claude Cr\'epeau, S\'ebastien Designolle, Rapha\"el Houlmann, Weixu Shi, Nan Yang, Hugo Zbinden
• Abstract要約: 2つの分離された検証器とプロデューサのペアを含むゼロ知識プロトコルを開発する。 セキュリティは、特殊相対性理論の物理的原則によって実施される。 これはマルチプロデューサゼロ知識プロトコルの実用可能性を示している。
• 参考スコア（独自算出の注目度）: 4.334542470441071
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Protecting secrets is a key challenge in our contemporary information-based era. In common situations, however, revealing secrets appears unavoidable, for instance, when identifying oneself in a bank to retrieve money. In turn, this may have highly undesirable consequences in the unlikely, yet not unrealistic, case where the bank's security gets compromised. This naturally raises the question of whether disclosing secrets is fundamentally necessary for identifying oneself, or more generally for proving a statement to be correct. Developments in computer science provide an elegant solution via the concept of zero-knowledge proofs: a prover can convince a verifier of the validity of a certain statement without facilitating the elaboration of a proof at all. In this work, we report the experimental realisation of such a zero-knowledge protocol involving two separated verifier-prover pairs. Security is enforced via the physical principle of special relativity, and no computational assumption (such as the existence of one-way functions) is required. Our implementation exclusively relies on off-the-shelf equipment and works at both short (60 m) and long distances ($\geqslant$400 m) in about one second. This demonstrates the practical potential of multi-prover zero-knowledge protocols, promising for identification tasks and blockchain applications such as cryptocurrencies or smart contracts.
• Abstract（参考訳）: 情報に基づく現代では、秘密を守ることが重要な課題だ。 しかし、一般的な状況では、例えば銀行で自分の身を識別してお金を回収する場合、秘密を明らかにすることは避けられないように見える。 逆に、銀行のセキュリティが侵害された場合、これはありそうもないが非現実的ではない場合に非常に望ましくない結果をもたらす可能性がある。 このことは、秘密の開示が自分自身を特定するのに根本的に必要か、あるいはより一般的に正しいことを証明するために必要かという疑問を自然に提起する。 計算機科学の発展はゼロ知識証明という概念を通じてエレガントな解を提供する:証明者は、証明の解明を促進することなく、ある文の有効性の検証者を説得することができる。 本稿では,2つの検証子-証明子対を含むゼロ知識プロトコルの実験的実現について報告する。 セキュリティは特殊相対性理論の物理的原理によって実施され、計算上の仮定(片方向関数の存在など)は不要である。 私たちの実装は市販の機器のみに依存しており、短い(60m)と長い(400m)の両方で約1秒で動作します。 これは、暗号通貨やスマートコントラクトといったブロックチェーンアプリケーションと識別タスクを約束する、マルチプロプライエタリなゼロ知識プロトコルの実用可能性を示している。

関連論文リスト

• Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets [3.3373764108905455]
  構成性により、ユーザーは異なるNIZKを組み合わせられる。 我々は、NIZKのコラボレーティブ・コミット・アンド・プロブのための、最初の一般的な定義を示す。
  論文  参考訳（メタデータ） (2024-07-27T08:45:34Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• Experimental Implementation of A Quantum Zero-Knowledge Proof for User Authentication [0.39845810840390733]
  アイデンティティ認証のための新しい対話型量子ゼロ知識プロトコルを提案し、実証した。 プロトコル設計は、事前共有された秘密を知っている検証者及び証明者を含み、証明の受理又は拒否は量子ビット誤り率によって決定される。
  論文  参考訳（メタデータ） (2024-01-17T19:00:00Z)
• Unclonable Non-Interactive Zero-Knowledge [11.013799869152132]
  非対話的ZK(NIZK)証明は、秘密を明かさずにNPステートメントの検証を可能にする。 本稿では,クローン化が不可能なNIZK証明システムを構築するために,量子情報に頼ることが可能かどうかを問う。
  論文  参考訳（メタデータ） (2023-10-11T01:32:36Z)
• Revocable Cryptography from Learning with Errors [61.470151825577034]
  我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。 我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
  論文  参考訳（メタデータ） (2023-02-28T18:58:11Z)
• Pre-trained Encoders in Self-Supervised Learning Improve Secure and Privacy-preserving Supervised Learning [63.45532264721498]
  自己教師付き学習は、ラベルのないデータを使ってエンコーダを事前訓練するための新しいテクニックである。 我々は、事前訓練されたエンコーダがセキュア・プライバシ保護型学習アルゴリズムの限界に対処できるかどうかを理解するための、最初の体系的、原則的な測定研究を行う。
  論文  参考訳（メタデータ） (2022-12-06T21:35:35Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Post-Quantum VRF and its Applications in Future-Proof Blockchain System [13.386254282693335]
  検証可能なランダム関数 (VRF) は、その出力の正当性に対する非対話的に公に検証可能な証明を提供する強力な擬似ランダム関数である。 対称鍵プリミティブを用いた単純なVRFソリューションから量子後VRFを得るための汎用コンパイラを提案する。 量子セキュアなVRF(quantum-secure decentralized random beacon)の潜在的な応用例を示す。
  論文  参考訳（メタデータ） (2021-09-05T07:10:41Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  より弱い仮定として, 2$-adjacency faithfulness を提案します。 より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
  論文  参考訳（メタデータ） (2020-10-27T13:04:08Z)
• Concerning Quantum Identification Without Entanglement [0.0]
  我々はZawadzkiによる量子ID認証に関する最近の提案についてコメントする。 そこで本研究では,単純なストラテジアン相手を用いて,共有された識別秘密に関する非無視情報を得ることができた。
  論文  参考訳（メタデータ） (2020-03-26T18:26:48Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。