論文の概要: On the Construction of Trapdoor Claw-Free Functions with Certifiable Key

• arxiv url: http://arxiv.org/abs/2609.25819v1
• Date: Tue, 22 Sep 2026 07:47:01 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-23 18:04:04.274858
• Title: On the Construction of Trapdoor Claw-Free Functions with Certifiable Key
• Title（参考訳）: 認証鍵付きトラップドア爪フリー関数の構成について
• Abstract要約: 我々は、(ノイズの多い)TCF構築のための鍵認証の家族依存の抽象化を提示する。 異なる構成に対して証明可能な鍵関係をインスタンス化する。 一般的なコンパイラは、任意のTCFベースの量子性の証明をゼロ知識の証明に変換する。
• 参考スコア（独自算出の注目度）: 7.056318201896114
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Trapdoor claw-free functions (TCFs) underpin much of classical-quantum cryptographic interaction, yet every TCF-based protocol states its guarantees relative to an honestly generated key. We give a family-agnostic abstraction of key certification for (noisy) TCF constructions, built on two notions: a certifiable key relation, an NP relation capturing a family's honest keys with witnesses recoverable from the trapdoor; and certified key generation, which emits with each key a certificate of membership satisfying completeness, certificate soundness with extractability, and key privacy. We instantiate certifiable key relations for different constructions, each met generically by a zero-knowledge argument of knowledge for the relation. As our main application, a generic compiler turns any TCF-based proof of quantumness into a zero-knowledge one, with each security property following from its counterpart in the certification scheme. Finally, we delimit the primitive's reach: for protocols resting on injective invariance, an accepting certificate is itself a family distinguisher, leaking exactly the bit such protocols must hide.
• Abstract（参考訳）: Trapdoor Claw-free Function (TCF) は古典的量子暗号の相互作用の多くを支えているが、全てのTCFベースのプロトコルは、真に生成された鍵に対する保証を規定している。 我々は,認証鍵関係,トラップドアから回収可能な証人による家族の正直な鍵を捕捉するNP関係,完全性を満たす会員証明書を各鍵で発行する認証鍵生成,抽出性を備えた証明書の健全性,鍵プライバシという2つの概念に基づいて構築された(ノイズの多い)TCF構築における鍵認証の家族非依存の抽象化について述べる。 異なる構成に対する証明可能な鍵関係をインスタンス化し、それぞれが関係に関する知識のゼロ知識の議論によって一般化される。 当社のメインアプリケーションとして、汎用コンパイラは、TCFベースの量子性の証明をゼロ知識の証明に変換します。 最後に、プリミティブのリーチを逸脱する: インジェクティブ不変性に基づくプロトコルの場合、受け入れ証明書はそれ自体が家族区別器であり、そのようなプロトコルが隠さなければならないビットを正確にリークする。

関連論文リスト

• Authentication in Quantum Networks [1.6682715542079578]
  我々は、量子通信の観点から、認証の暗号的タスクを調査する。 本稿では,古典的メッセージの認証,量子メッセージの認証,エンティティ認証の3つの主要な特徴について概説する。 大規模ネットワークや動的ネットワークにおけるセキュリティ仮定,セットアップ要件,構成可能性,スケーラビリティの観点から,各機能の代表的プロトコルを比較した。
  論文  参考訳（メタデータ） (2026-06-29T17:58:16Z)
• Send the Key in Cleartext: Halving Key Consumption while Preserving Unconditional Security in QKD Authentication [59.664950447941386]
  量子鍵分配(QKD)プロトコルは、蒸留された鍵の無条件のセキュリティを維持するために、古典的なチャネルの情報理論セキュア(ITS)認証を必要とする。 QKDは相互認証を必要とするため、2つの独立したワンタイム鍵は通常ラウンド毎に消費される。 我々は$varepsilon$-Almost Strongly Universal$(varepsilon$-ASU$)に基づく新しいITS認証方式を提案する。
  論文  参考訳（メタデータ） (2026-03-26T14:36:05Z)
• Wrangling Entropy: Next-Generation Multi-Factor Key Derivation, Credential Hashing, and Credential Generation Functions [47.715495058757824]
  本稿では,暗号鍵の導出やハッシュ関数の複数の呼び出しにまたがるエントロピーの悪質なリークを明らかにするために,新しい暗号解析手法を提案する。 元のMFKDF構築における既知の脆弱性のそれぞれを正しく識別することができることを示す。 そこで本稿では,MFKDF2の鍵導出関数であるMFKDF2の新しい構成法を提案する。
  論文  参考訳（メタデータ） (2025-09-07T02:01:53Z)
• Provably Secure Public-Key Steganography Based on Admissible Encoding [66.38591467056939]
  一見無害な秘密文の中に秘密メッセージを隠蔽する技術は、Proprovably secure steganography (PSS)として知られている。 PSSは対称鍵ステガノグラフィーから公開鍵ステガノグラフィーへと進化し、事前共有鍵の必要なしに機能する。 本稿では,許容エンコーディングに基づくより一般的な楕円曲線公開鍵ステガノグラフィ法を提案する。
  論文  参考訳（メタデータ） (2025-04-28T03:42:25Z)
• Quantum Authenticated Key Expansion with Key Recycling [1.274819629555637]
  本稿では,1つのプロトコルに認証とキー拡張の両方を統合する量子認証鍵拡張プロトコルを提案する。 従来の認証鍵交換フレームワークに適合したQAKEフレームワークにおいて,プロトコルのセキュリティを解析する。
  論文  参考訳（メタデータ） (2024-09-25T01:29:13Z)
• 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)
• Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication [10.973034520723957]
  ブロードベントとイスラム教は量子暗号プリミティブを提案した。 このプリミティブでは、量子暗号文を所持している受信機は、暗号化されたメッセージが削除された古典的な証明書を生成することができる。 削除証明書はプライベートに検証可能であるため、証明書の検証キーを秘密にしておく必要があるが、ブロードベントとイスラム教の定義では、公的な検証可能性も考慮できる。
  論文  参考訳（メタデータ） (2021-05-12T01:41:46Z)

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

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