Fugu-MT 論文翻訳(概要): Weakening Assumptions for Publicly-Verifiable Deletion

論文の概要: Weakening Assumptions for Publicly-Verifiable Deletion

arxiv url: http://arxiv.org/abs/2304.09846v1
Date: Wed, 19 Apr 2023 17:51:28 GMT
ステータス: 処理完了
システム内更新日: 2023-04-20 13:16:49.890915
Title: Weakening Assumptions for Publicly-Verifiable Deletion
Title（参考訳）: 公衆の確認可能な削除のためのウィークニング・アセスメント
Authors: James Bartusek and Dakshita Khurana and Giulio Malavolta and Alexander Poremba and Michael Walter
Abstract要約: 我々は,様々な暗号システムに公開検証可能な削除を汎用的に付加する,シンプルなコンパイラを開発した。コンパイラは片道関数のみを使用します。
参考スコア（独自算出の注目度）: 79.61363884631021
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We develop a simple compiler that generically adds publicly-verifiable deletion to a variety of cryptosystems. Our compiler only makes use of one-way functions (or one-way state generators, if we allow the public verification key to be quantum). Previously, similar compilers either relied on the use of indistinguishability obfuscation (Bartusek et. al., ePrint:2023/265) or almost-regular one-way functions (Bartusek, Khurana and Poremba, arXiv:2303.08676).
Abstract（参考訳）: 我々は,様々な暗号システムに公開検証可能な削除を汎用的に付加するシンプルなコンパイラを開発した。私たちのコンパイラは、一方通行の関数(または、公開検証キーを量子化することを許せば、一方通行のステートジェネレータ)のみを使用します。以前は、類似のコンパイラは区別不能な難読化(Bartusek et. al., ePrint:2023/265)や、ほぼ規則的な片方向関数(Bartusek, Khurana, Poremba, arXiv:2303.08676)に頼っていた。

関連論文リスト

The syzygy distinguisher [0.0]
そこで我々は,誤り訂正能力の複雑さを減らした,書き換え符号とGoppa符号の区別器を新たに提案する。特に、量子後暗号標準化のための古典的マッケイリーの候補で使われるコードに適用される。
論文参考訳（メタデータ） (2024-07-22T15:42:06Z)
Robust Combiners and Universal Constructions for Quantum Cryptography [12.100924828603247]
堅牢なコンバインダは、暗号プリミティブの多くの候補を組み合わせて、同じプリミティブの新たな候補を生成する。普遍的な構成はプリミティブの明示的な構成であり、プリミティブが存在する限り正確かつ安全である。本研究では、いくつかの量子暗号プリミティブに対して、ロバストなコンバインダーと普遍的な構成を定義する。
論文参考訳（メタデータ） (2023-11-16T01:16:28Z)
Fault-Tolerant Computing with Single Qudit Encoding [49.89725935672549]
単一マルチレベルキューディットに実装された安定化器量子エラー訂正符号について論じる。これらのコードは、quditの特定の物理的エラーに合わせてカスタマイズすることができ、効果的にそれらを抑制することができる。分子スピン四重項上のフォールトトレラントな実装を実証し、線形キューディットサイズのみの成長を伴うほぼ指数関数的な誤差抑制を示す。
論文参考訳（メタデータ） (2023-07-20T10:51:23Z)
Publicly Verifiable Deletion from Minimal Assumptions [13.664682865991253]
各種暗号プリミティブに対して,公に検証可能な削除プロパティを追加するための汎用コンパイラを提案する。我々のコンパイラは片方向関数のみを使用するか、より一般的にはNPの量子プランド問題を用いる。
論文参考訳（メタデータ） (2023-04-14T11:34:43Z)
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)
Verified Reversible Programming for Verified Lossless Compression [11.020543186794459]
ロスレス圧縮の実装は通常、エンコーダとデコーダの2つのプログラムを含む。我々は、非対称数値システム(ANS)に基づく圧縮手法のかなりのクラスが、エンコーダとデコーダの間で共有構造を持つことを観察する。私たちはAgdaに埋め込まれた小さな可逆言語「Flipper」を実装しました。
論文参考訳（メタデータ） (2022-11-02T16:39:41Z)
Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文参考訳（メタデータ） (2020-10-08T12:49:07Z)
Glushkov's construction for functional subsequential transducers [91.3755431537592]
グルシコフの構成は多くの興味深い性質を持ち、トランスデューサに適用するとさらに明らかになる。正規表現の特別な風味を導入し、効率よく$epsilon$-free 機能的次数重み付き有限状態トランスデューサに変換することができる。
論文参考訳（メタデータ） (2020-08-05T17:09:58Z)

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