論文の概要: Computational Certified Deletion Property of Magic Square Game and its Application to Classical Secure Key Leasing

• arxiv url: http://arxiv.org/abs/2510.04529v2
• Date: Tue, 07 Oct 2025 04:35:39 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-08 13:19:51.48878
• Title: Computational Certified Deletion Property of Magic Square Game and its Application to Classical Secure Key Leasing
• Title（参考訳）: マジックスクエアゲームにおける計算機認証削除特性と古典的キーリースへの応用
• Authors: Yuki Takeuchi, Duo Xu,
• Abstract要約: 本稿では,古典的通信が実現可能なコンピュータ認証削除特性の最初の構成について述べる。 KLVYコンパイラを利用して、非ローカルなMagic Square Game(MSG)を2ラウンドの対話プロトコルに変換する。 本稿では,PKE,PRF,デジタル署名のためのcSKLを実現する。
• 参考スコア（独自算出の注目度）: 4.891022245871135
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present the first construction of a computational Certified Deletion Property (CDP) achievable with classical communication, derived from the compilation of the non-local Magic Square Game (MSG). We leverage the KLVY compiler to transform the non-local MSG into a 2-round interactive protocol, rigorously demonstrating that this compilation preserves the game-specific CDP. Previously, the quantum value and rigidity of the compiled game were investigated. We emphasize that we are the first to investigate CDP (local randomness in [Fu and Miller, Phys. Rev. A 97, 032324 (2018)]) for the compiled game. Then, we combine this CDP with the framework [Kitagawa, Morimae, and Yamakawa, Eurocrypt 2025] to construct Secure Key Leasing with classical Lessor (cSKL). SKL enables the Lessor to lease the secret key to the Lessee and verify that a quantum Lessee has indeed deleted the key. In this paper, we realize cSKL for PKE, PRF, and digital signature. Compared to prior works for cSKL, we realize cSKL for PRF and digital signature for the first time. In addition, we succeed in weakening the assumption needed to construct cSKL.
• Abstract（参考訳）: 本稿では,非ローカルなマジックスクエアゲーム (MSG) のコンパイルから得られた古典的通信で実現可能なCDP (Computer Certified Deletion Property) の最初の構成について述べる。 我々はKLVYコンパイラを利用して、非ローカルMSGを2ラウンドの対話プロトコルに変換し、このコンパイルがゲーム固有のCDPを保存することを厳格に示す。 従来,コンパイルされたゲームの量子値と剛性について検討していた。 我々は,コンパイルされたゲームのCDP(Fu and Miller, Phys. A 97, 032324 (2018)]における局所ランダム性)を最初に調べることを強調した。 次に,このCDPをフレームワーク(北川,森前,山川,Eurocrypt 2025)と組み合わせて,古典リセプタを用いたセキュアキーリース(cSKL)を構築する。 SKLは、シークレットキーをレシーブにリースし、量子レシーブが実際にキーを削除することを検証できるようにする。 本稿では,PKE,PRF,デジタル署名のためのcSKLを実現する。 cSKL の先行研究と比較して,初めて PRF とデジタルシグネチャの cSKL を実現する。 さらに、我々はcSKLを構築するために必要な仮定を弱めることに成功した。

関連論文リスト

• Enhanced Security of Public Key Encryption with Certified Deletion [0.069060054915724]
  量子暗号では、量子力学の定理により、証明された削除が可能となる。 本稿では,BartusekとKhuranaによって構築されたPKE-CD(Public Key Encryption with Certified Deletion)方式について述べる。
  論文  参考訳（メタデータ） (2025-03-02T03:57:12Z)
• PKE and ABE with Collusion-Resistant Secure Key Leasing [5.5097304991439975]
  PKE-CR-SKL(PKE-CR-SKL)のコラシオン耐性セキュリティについて紹介する。 このモデルでは、複数の量子復号鍵を適応的に取得し、検証オラクルにアクセスすることができる。 公開鍵と暗号文のサイズは、生成された量子復号鍵の総数に依存していなければならない。
  論文  参考訳（メタデータ） (2025-02-18T03:19:54Z)
• The Road to Near-Capacity CV-QKD Reconciliation: An FEC-Agnostic Design [53.67135680812675]
  コードワードに基づく新しいQKD調停方式を提案する。 認証された古典チャネル(ClC)と量子チャネル(QuC)は、それぞれ別々の前方誤り訂正(FEC)符号スキームによって保護される。 提案システムは,広範囲のFECスキームとQKD和解を両立させる。
  論文  参考訳（メタデータ） (2024-03-24T14:47:08Z)
• CodeChameleon: Personalized Encryption Framework for Jailbreaking Large Language Models [49.60006012946767]
  パーソナライズされた暗号化手法に基づく新しいジェイルブレイクフレームワークであるCodeChameleonを提案する。 我々は、7つの大規模言語モデルに関する広範な実験を行い、最先端の平均アタック成功率(ASR)を達成する。 GPT-4-1106上で86.6%のASRを実現する。
  論文  参考訳（メタデータ） (2024-02-26T16:35:59Z)
• Quantum Key Leasing for PKE and FHE with a Classical Lessor [19.148581164364387]
  安全な鍵リースの問題は、取り消し可能暗号(revocable cryptography)としても知られる。 この問題は、量子情報の不可避な性質を活用することを目的としている。 我々は、(古典的な)公開鍵・同型暗号方式の復号鍵をリースするために、セキュアな鍵リース方式を構築した。
  論文  参考訳（メタデータ） (2023-10-22T15:25:29Z)
• Revocable Cryptography from Learning with Errors [61.470151825577034]
  我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。 我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
  論文  参考訳（メタデータ） (2023-02-28T18:58:11Z)
• First demonstration of a post-quantum key-exchange with a nanosatellite [58.579141089302816]
  我々は、Kyber-512を用いて、低軌道上のナノサテライトSpooQy-1と量子後鍵交換を示す。 この実装は、SWaP制約ナノサテライト上での量子セーフ認証鍵交換および暗号化システムの実現可能性を示す。
  論文  参考訳（メタデータ） (2022-06-02T10:45:27Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)

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

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