論文の概要: Publicly Verifiable Deletion from Minimal Assumptions
- arxiv url: http://arxiv.org/abs/2304.07062v1
- Date: Fri, 14 Apr 2023 11:34:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-17 13:45:05.157684
- Title: Publicly Verifiable Deletion from Minimal Assumptions
- Title(参考訳): 最小限の仮定から公に検証可能な削除
- Authors: Fuyuki Kitagawa, Ryo Nishimaki, Takashi Yamakawa
- Abstract要約: 各種暗号プリミティブに対して,公に検証可能な削除プロパティを追加するための汎用コンパイラを提案する。
我々のコンパイラは片方向関数のみを使用するか、より一般的にはNPの量子プランド問題を用いる。
- 参考スコア(独自算出の注目度): 13.664682865991253
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a general compiler to add the publicly verifiable deletion
property for various cryptographic primitives including public key encryption,
attribute-based encryption, and quantum fully homomorphic encryption. Our
compiler only uses one-way functions, or more generally hard quantum planted
problems for NP, which are implied by one-way functions. It relies on minimal
assumptions and enables us to add the publicly verifiable deletion property
with no additional assumption for the above primitives. Previously, such a
compiler needs additional assumptions such as injective trapdoor one-way
functions or pseudorandom group actions [Bartusek-Khurana-Poremba,
ePrint:2023/370]. Technically, we upgrade an existing compiler for privately
verifiable deletion [Bartusek-Khurana, ePrint:2022/1178] to achieve publicly
verifiable deletion by using digital signatures.
- Abstract(参考訳): 我々は,公開鍵暗号,属性ベース暗号,量子完全準同型暗号など,様々な暗号プリミティブに対して公に検証可能な削除プロパティを追加する汎用コンパイラを提案する。
コンパイラは一方関数のみを使用し、より一般的には一方関数で示されるNPの量子プランド問題を用いる。
これは最小の仮定に依存し、上記のプリミティブに対する追加の仮定なしで、公に検証可能な削除プロパティを追加することができる。
以前は、そのようなコンパイラは、インジェクティブトラップドア片方向関数や擬似ランダム群アクション(Bartusek-Khurana-Poremba, ePrint:2023/370]のような追加の仮定を必要としていた。
技術的には、既存のコンパイラをプライベートに検証可能な削除(bartusek-khurana, eprint:2022/1178])にアップグレードして、デジタル署名を使用して公に検証可能な削除を実現する。
関連論文リスト
- Revocable Encryption, Programs, and More: The Case of Multi-Copy Security [48.53070281993869]
復号化可能な暗号化や復号化可能なプログラムなど,復号化可能なプリミティブの実現可能性を示す。
これは、マルチコピーセキュリティというより強い概念が、制限不能な暗号において到達範囲内にあることを示唆している。
論文 参考訳(メタデータ) (2024-10-17T02:37:40Z) - A Modular Approach to Unclonable Cryptography [4.336971448707467]
本稿では,不規則な句読解難読解法(UPO)を提案する。
我々は、多くのプリミティブのモジュラー構造(そして間違いなく単純な)を、制限不能な暗号で提示する。
暗号化機能は、この機能がセキュリティの概念を満たす限り、コピープロテクト可能であることを示す。
論文 参考訳(メタデータ) (2023-11-20T16:22:52Z) - Weakening Assumptions for Publicly-Verifiable Deletion [79.61363884631021]
我々は,様々な暗号システムに公開検証可能な削除を汎用的に付加する,シンプルなコンパイラを開発した。
コンパイラは片道関数のみを使用します。
論文 参考訳(メタデータ) (2023-04-19T17:51:28Z) - Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。
我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
論文 参考訳(メタデータ) (2023-03-15T15:00:20Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳(メタデータ) (2023-02-28T18:58:11Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z) - Hidden Cosets and Applications to Unclonable Cryptography [15.248351992500078]
隠れた部分空間状態から隠れたコセット状態への一般化について研究する(最初にアーロンソンとクリスティアン (STOC '12]) によって導入された)。
我々は、コセット状態といくつかの応用の無視不可能な性質を探求する。
論文 参考訳(メタデータ) (2021-07-12T19:04:01Z) - Glushkov's construction for functional subsequential transducers [91.3755431537592]
グルシコフの構成は多くの興味深い性質を持ち、トランスデューサに適用するとさらに明らかになる。
正規表現の特別な風味を導入し、効率よく$epsilon$-free 機能的次数重み付き有限状態トランスデューサに変換することができる。
論文 参考訳(メタデータ) (2020-08-05T17:09:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。