暗号理論に関する最高峰の国際会議であるTCC2026にNTTから論文が4件採択

2026年11月10日から13日まで、米国ニューヨーク市のニューヨーク大学で開催される暗号理論の主要国際会議TCC 2026（24th Theory of Cryptography Conference）に、NTT社会情報研究所から4件の論文が採択されました。この国際会議「理論的パラダイム、アプローチ、技術の構築や概念化」に強く焦点を当てています。

なお、所属としてそれぞれ略称で記載されている研究所名は以下の通りです。（所属は投稿時点）
社会研：社会情報研究所

■Non-Interactive Black-Box Witness-Indistinguishable Commit-and-Prove via Targeted Hitting-Set Generators
（Targeted Hitting-Set Generatorに基づく非対話型ブラックボックス証拠識別不可能なCommit-and-Prove）

清島 奨（研究主任）（社会研）

インターネットで大切な情報を扱うとき、中身を隠したまま、その内容に関する主張の正しさを後で示したい場面があります。この「隠す」と「証明する」を一体化した仕組みがCommit-and-Proveです。本研究では、入力ごとに検査用の候補を効率よく作るTargeted Hitting-Set Generatorを使い、やり取りが一度で済み、どの根拠を使ったかを見分けられない方式を提案しました。また、部品の内部構造を知らなくても組み合わせられるブラックボックス構成を実現しました。本成果は、簡潔で導入しやすい暗号プロトコルの設計基盤に寄与します。

■Cryptography from Sampling Oracles and LOCC Primitives in the Bounded CRQS Model
（限定されたCRQSモデルにおけるSampling OraclesとLOCC基本要素からの暗号構成）

Zijing Di（EPFL）、北川 冬航（特別研究員）（社会研）、西巻 陵（特別研究員）（社会研）、Nicholas Spooner（Cornell Univ.）、山川 高志（上席特別研究員）（社会研）

離れた人どうしが安全にやり取りするため、あらかじめ共有した量子状態を元手にする方法が研究されています。本研究では、共有できる量子状態の数があらかじめ限られる状況をBounded CRQSモデルとして扱いました。必要な情報の標本を返す窓口であるSampling Oracleと、各自の手元での操作と通常の通信を組み合わせるLOCCの基本要素を使い、電子署名、鍵共有、秘密を明かさず相手を納得させる証明などを構成しました。さらに、通信自体は通常のデジタルデータだけで済むことを示しました。本成果は、限られた量子資源を安全に活用する通信基盤に寄与します。

■Proofs of Quantum Memory
（量子メモリの証明）

Minki Hhan（KAIST）、森前 智行（京都大学）、沖中 康昭（京都大学）、山川 高志（上席特別研究員）（社会研）

将来、量子コンピュータを遠隔サービスとして使うとき、その装置が約束した量の量子メモリを一定時間保持できるか、手元のふつうのコンピュータから確かめたい場面が生じます。この性能を通常の通信だけで確認する仕組みが「量子メモリの証明」です。本研究では、その仕組みを正式に定義し、メモリの量と保持時間を検証できるようにしました。さらに、仮定の強さ、やり取りの回数、誤判定の小ささが異なる二つの方式を提案しました。本成果は、離れた量子コンピュータの性能を信頼して利用するための土台となります。

■CountCrypt: Quantum Cryptography between QCMA and PP
（CountCrypt：QCMAとPPの間に位置する量子暗号）

Eli Goldin（New York Univ.）、森前 智行（京都大学）、Saachi Mutreja（Columbia Univ.）、山川 高志（上席特別研究員）（社会研）

量子技術を使う暗号の中には、従来より弱い計算量的仮定の下でも安全性を保てるものがあります。しかし、鍵共有やコピー不能な量子マネーなどが、どの程度の計算量的困難性を必要とするかは整理されていませんでした。QCMAとPPは計算量クラスであり、これらを基準として、さまざまな量子暗号が必要とする計算量的困難性を分類することができます。本研究では、両者の間に位置する暗号群をCountCryptと名づけ、その範囲を明らかにしました。さらに、複数の暗号方式に共通する最小限の仕組みを示しました。本成果は、量子暗号を実現するための仮定と限界を体系的に理解する土台となります。