論文の概要: Cryptography with Certified Deletion

• arxiv url: http://arxiv.org/abs/2207.01754v5
• Date: Thu, 20 Apr 2023 16:26:23 GMT
• ステータス: 処理完了
• システム内更新日: 2023-04-21 17:26:35.971017
• Title: Cryptography with Certified Deletion
• Title（参考訳）: 認証削除による暗号
• Authors: James Bartusek and Dakshita Khurana
• Abstract要約: 我々は,暗号プリミティブの配列を認証された削除で生成する,新たな統一フレームワークを提案する。 プリミティブは、暗号化された平文が情報理論的に削除されたという古典的な証明書を生成するために、量子暗号文を保有している当事者を許可する。
• 参考スコア（独自算出の注目度）: 16.354530084834863
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We propose a new, unifying framework that yields an array of cryptographic primitives with certified deletion. These primitives enable a party in possession of a quantum ciphertext to generate a classical certificate that the encrypted plaintext has been information-theoretically deleted, and cannot be recovered even given unbounded computational resources. - For X \in {public-key, attribute-based, fully-homomorphic, witness, timed-release}, our compiler converts any (post-quantum) X encryption to X encryption with certified deletion. In addition, we compile statistically-binding commitments to statistically-binding commitments with certified everlasting hiding. As a corollary, we also obtain statistically-sound zero-knowledge proofs for QMA with certified everlasting zero-knowledge assuming statistically-binding commitments. - We also obtain a strong form of everlasting security for two-party and multi-party computation in the dishonest majority setting. While simultaneously achieving everlasting security against all parties in this setting is known to be impossible, we introduce everlasting security transfer (EST). This enables any one party (or a subset of parties) to dynamically and certifiably information-theoretically delete other participants' data after protocol execution. We construct general-purpose secure computation with EST assuming statistically-binding commitments, which can be based on one-way functions or pseudorandom quantum states. We obtain our results by developing a novel proof technique to argue that a bit b has been information-theoretically deleted from an adversary's view once they output a valid deletion certificate, despite having been previously information-theoretically determined by the ciphertext they held in their view. This technique may be of independent interest.
• Abstract（参考訳）: 我々は,暗号プリミティブの配列を認証された削除で生成する新しい統一フレームワークを提案する。 これらのプリミティブにより、量子暗号文を持つ当事者は、暗号化された平文が情報理論上削除された古典的証明を生成し、無制限の計算資源が与えられたとしても復元できない。 - x \in {public-key, attribute-based, full-homomorphic, witness, timed-release} では、コンパイラは任意の (ポスト量子) x 暗号化を x 暗号化に変換する。 さらに,証明された永遠隠蔽を伴う統計的拘束コミットメントに対する統計的拘束コミットメントをコンパイルする。 また, 統計的拘束力の仮定として, ゼロ知識が証明されたQMAに対して, 統計的にゼロ知識証明を得る。 また,二者間および多人数間において,不公平な多数派において,永続的なセキュリティが確立されている。 この設定で、すべての当事者に対して永続的なセキュリティを実現することは不可能であることが分かっていますが、永続的なセキュリティ転送(est)を導入します。 これにより、ある当事者(またはある当事者のサブセット)が、プロトコルの実行後に他の参加者のデータを削除する動的かつ確実に情報論的に行うことができる。 我々は,一方向関数や擬似ランダム量子状態に基づいて,統計的に結合したコミットメントを仮定したESTを用いた汎用セキュア計算を構築した。 提案手法は,従来は暗号文によって決定されていたにもかかわらず,有効な削除証明書を出力した後,ビットbが敵の視点から情報理論的に削除されたと主張する新しい証明手法を考案した。 この技術は独立した関心を持つかもしれない。

関連論文リスト

• Revocable Encryption, Programs, and More: The Case of Multi-Copy Security [48.53070281993869]
  復号化可能な暗号化や復号化可能なプログラムなど,復号化可能なプリミティブの実現可能性を示す。 これは、マルチコピーセキュリティというより強い概念が、制限不能な暗号において到達範囲内にあることを示唆している。
  論文  参考訳（メタデータ） (2024-10-17T02:37:40Z)
• Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
  我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。 NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
  論文  参考訳（メタデータ） (2024-02-13T12:12:39Z)
• PQCMC: Post-Quantum Cryptography McEliece-Chen Implicit Certificate Scheme [0.0]
  そこで本研究では,PQCMC(McEliece-Chen)を用いた量子後暗号手法を提案する。 本研究では,量子コンピューティングの脅威に対処する手段として,PQCに基づく暗黙的な証明スキームの実現可能性を示す。
  論文  参考訳（メタデータ） (2024-01-03T13:34:20Z)
• 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)
• Certified Everlasting Zero-Knowledge Proof for QMA [10.973034520723957]
  QMAの認証ゼロ知識証明と呼ばれる新しい妥協を導入する。 QMAの計算ゼロ知識証明であるが、検証者は量子情報が削除されたことを示す古典的な証明を発行する。 我々は、QMAの証明された永遠のゼロ知識証明を構築した。
  論文  参考訳（メタデータ） (2021-09-29T03:05:44Z)
• Sample-efficient device-independent quantum state verification and certification [68.8204255655161]
  量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。 我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。 デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
  論文  参考訳（メタデータ） (2021-05-12T17:48:04Z)
• Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication [10.973034520723957]
  ブロードベントとイスラム教は量子暗号プリミティブを提案した。 このプリミティブでは、量子暗号文を所持している受信機は、暗号化されたメッセージが削除された古典的な証明書を生成することができる。 削除証明書はプライベートに検証可能であるため、証明書の検証キーを秘密にしておく必要があるが、ブロードベントとイスラム教の定義では、公的な検証可能性も考慮できる。
  論文  参考訳（メタデータ） (2021-05-12T01:41:46Z)
• Backflash Light as a Security Vulnerability in Quantum Key Distribution Systems [77.34726150561087]
  量子鍵分布(QKD)システムのセキュリティ脆弱性について概説する。 我々は主に、盗聴攻撃の源となるバックフラッシュ光(backflash light)と呼ばれる特定の効果に焦点を当てる。
  論文  参考訳（メタデータ） (2020-03-23T18:23:12Z)

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

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