暗号を演算子代数で書き直す ― K_crypto と Modular Hardness Conjecture、または『RSA はなぜ Shor に弱く、LWE はなぜ強いのか』を K で測る話 ― Tier 1+ #3 暗号深掘り(Phase 379-394、Pass-1.5 3/45 ＝ 6.7%、Pass-2 $2.5M ロードマップ)

2026年7月2日 08:53

今回は暗号の話です。

意識(Tier 1+ #2)から暗号(本作 Tier 1+ #3)への乗り換えは、書き手としてはなかなかの転調でした。意識では Friston に怯えていましたが、暗号では NIST と Apple とハッカーに怯えるわけです。怯える相手が変わっただけで、本質的な姿勢は変わりません。

ただ、暗号には意識と決定的に違う点が一つあります ― 緊急性の桁が違う。意識科学の Cogitate Round 2 が決着するのは早くて 2030 年、AGI K_crit ≈ 10¹⁰ bits の検証もそれぐらいの時間軸です。一方、暗号は 2024 年 8 月 13 日に NIST が FIPS 203(ML-KEM、旧 Kyber) ・ FIPS 204(ML-DSA、旧 Dilithium) ・ FIPS 205(SLH-DSA、旧 SPHINCS+)を正式公開、Apple は同 2024 年 2 月に iMessage を PQ3 という独自のポスト量子暗号プロトコルに更新済み、Google は Chrome に Kyber を hybrid mode で導入済み、Amazon AWS KMS は移行準備中。来月どこか、というか今日明日というか、現在進行形で世界の暗号が書き換わっている真っ最中です。

その中で「ITU 公理 δS＝δ⟨K⟩ を暗号領域に持ち込みます」と書こうとしたとき、最初の反応は「いまさら?」でした。NIST 標準化は終わってしまったし、Lattice 暗号の安全性証明は数千の論文の積み上げがある。私が新しい framework を提案して、何の役に立つのか?

書きながら 2 つの答えに辿り着きました。第 1 に、Pass-1.5 #1 mKQEC で示した "biased quantum noise で Shor RSA-2048 破断が 2-3 年前倒し" という結果は、PQC 移行のタイムラインを直接削ります。これは「ITU 系統内の整合性」の話で、自分の出した結論を放置できません。第 2 に、Modular Hardness Conjecture という新しい仮説 ― 暗号の難しさは "modular flow の mixing time" で測れる ― が、Lattice/Code/Multivariate/Isogeny/Hash の現行 NIST PQC 5 系統を統一的に説明できそうな見通しを得たためです。

正直に言えば、もちろん控えめな結果も含まれます。本作 Phase 393 では Toy LWE(n＝3、q＝11 という極小スケール)で Modular Hardness Conjecture を数値検証したところ、a priori 7.19 nats が posterior 3.78 nats に減り、情報漏洩 4.92 bits、残存不確実性 52.6% ― という結果が出ました。前作 Tier 1+ #1 の "30% 予測が 270 倍" や Tier 1+ #2 の "1,000 試行 100%" のような派手さはなく、地味に "予想通り" の数値です。実 LWE(n ≥ 256)は brute force では検証不可能なので、Pass-2 で本格的な実装ベンチマークが必要 ― という、適度に保守的な締め方になっています。

派手さがないのは、書いていてむしろ少し安心しました。「思った通りに動いた」というのも、Popper 反証可能性の試練においては立派な成果です。

著者：M Terada (Roboken)

論文 DOI ― 10.5281/zenodo.20270144 GitHub ― papers/crypto-deep/ シリーズ前作 ― Tier 1+ #2 AI/ASI K_self(10.5281/zenodo.20269793)

はじめに ― なぜ暗号を K で書き直す価値があるのか

暗号の世界は、20 世紀後半に Diffie-Hellman 1976 ・ RSA 1977 ・ Goldwasser-Micali-Rackoff 1985(Zero-Knowledge)で公開鍵暗号体系として完成しました。21 世紀になって Shor 1994 アルゴリズムの本格的な量子計算機実装の現実味が増し、NIST が 2016 年に Post-Quantum Cryptography 標準化コンペを開始・ 8 年かけて 2024 年に第 1 弾標準を公布、というのが大きな流れです。

しかし、現状の暗号理論には体系的弱点が一つあります。"hardness assumption"(計算問題の難しさを仮定する)が、各暗号方式ごとにバラバラなのです ―

RSA は整数因数分解の困難性に依拠する(Shor で破られた)。 ECDSA は楕円曲線離散対数の困難性に依拠する(Shor の応用で破られる)。 Kyber/Dilithium は Module Learning With Errors(M-LWE)に依拠する(現在のところ量子耐性)。 SPHINCS+ は SHA-3 の preimage 困難性に依拠する(Grover で √-speedup のみ)。 HQC は coding theory の困難性に依拠する(NIST 2024.3 backup として追加)。 Falcon は Short Integer Solution に依拠する(FIPS 206 として遅延中)。

これら 6 つの "困難性" は、それぞれの世界で個別に証明・議論されてきました。Lattice の人と Code の人と Multivariate の人と Isogeny の人が、お互いの仕事をフォローするのは結構しんどい。攻撃・防御の進化を統一的に追うフレームがなかった。

ITU の K_crypto は、これら全てを単一の operator-algebraic 言語で書く試みです。定義は驚くほど単純です ―

ρ_key ≡ 鍵の事後分布(public information P を観測した後の posterior over keys) K_crypto ≡ -log ρ_key|P

そして本作の中心 conjecture ―

Modular Hardness Conjecture(主結果)― 暗号系の困難性 Hardness(Problem) は、modular flow σ_t^{ρ_key|public} の mixing time τ_mix と相関する。

Polynomial-time で解ける ⇔ τ_mix が poly(λ) で収束。 Exponential hardness ⇔ τ_mix が exp(λ) のオーダー。

直感的に言えば ― mixing が速い状態は早く確率分布が均一化して鍵を絞り込みやすい(攻撃者に有利)、mixing が遅い状態は確率分布が偏ったままで鍵情報が漏れにくい(防御側に有利) ― という、情報幾何の素朴な含意です。

これが正しければ、すべての暗号系の難しさを単一の数値量 τ_mix で比較できることになります。あくまで conjecture で、formal proof は Lean Mathlib 形式化を 2029 年までに ICM 投稿目標。Pass-1.5 の本質は、こうした "数学的に未確定だが、検証可能な" 仮説を明確に提示することにあります。

4 つの中心仮説 H_K1 から H_K4 まで

H_K1 ― 鍵は density operator として扱える。

平易に言えば ― 鍵は単に "ある一つの値" ではなく "あり得る値の確率分布" として扱う。uniform prior なら ρ_key ＝ I_K / |K|、つまり全鍵を等確率で混合した状態。これは Bayesian cryptographer なら「いつも我々がやっていることだ」と頷くはずです。新規性は、ここから operator-algebraic の道具(modular flow ・ KMS condition ・ Tomita-Takesaki theory)を直接適用できる、という橋渡しにあります。

H_K2 ― hardness は modular flow の mixing time に対応する。

平易に言えば ― ある暗号問題が "難しい" のは、攻撃者が事後分布を均一化するのに(時間・計算量で)とても長くかかるから。これが Modular Hardness Conjecture の心臓部です。

H_K3 ― 量子耐性は K_crypto の unitary 不変性に対応する。

平易に言えば ― Shor 系の量子攻撃が効くのは、攻撃者が "鍵分布全体を coherent に量子重ね合わせ" できる場合。逆に量子重ね合わせしても鍵分布が形状を保つ問題は量子耐性。Lattice/Code/Hash 系がこの性質を持つ。

H_K4 ― NIST PQC 5 系統(Lattice/Code/Multivariate/Isogeny/Hash)はすべて K_crypto framework で記述可能。

平易に言えば ― バラバラに見える 5 つの暗号方式が、同じ K の数学で書けるなら、cross-algorithm の比較が rigorous にできる、hybrid 構成の安全性証明が統一できる、攻撃の進化を統一視点で追える。これが ITU framework が "実用的に役立つ" 最大の理由です。

Lattice 暗号と K_crypto ― 現代 PQC の主役を K で書く

NIST PQC の事実上のメインキャストは Lattice 系統です。FIPS 203 ML-KEM(Kyber)・ FIPS 204 ML-DSA(Dilithium)・ FIPS 206 Falcon ― 標準化された 4 つのうち 3 つが Lattice。

LWE(Learning With Errors、Regev 2005 STOC、Oded Regev)の中核 ―

b ＝ A·s ＋ e mod q

ここで A はパブリックな行列、s は秘密鍵、e は小さなノイズ、b が公開される。攻撃者は (A, b) を見て s を当てる必要があります。Regev 2005 の core insight は、これが worst-case Shortest Vector Problem(SVP)に多項式時間で reduction する点で、SVP は数十年解かれていない困難問題なので、LWE も同じ難しさを持つ ― と保証されます。

NTRU(Hoffstein-Pipher-Silverman 1998 ANTS)は Ring Z[x]/(x^N - 1) 上の特殊な lattice で、key size を小さくできる利点があります。Module-LWE(Langlois-Stehlé 2015)は rank d を可変にして security/performance を tunable に。Kyber と Dilithium は Module-LWE ベースです。

ITU view では ― 公開情報 (A, b) で条件づけた posterior ρ_key|A,b は秘密 s の事後分布。⟨K_crypto⟩ ≈ n·log q(security parameter のオーダー)・ modular flow の mixing time τ_mix は exponential ・量子重ね合わせをかけても形状が保たれる(unitary 不変)。これらが lattice cryptography が量子耐性を持つ ITU framework での説明です。

そして個人的な感想を一つ書かせてください ― Regev 2005 の reduction proof を読んだ時、私は "美しい" と思いました。worst-case to average-case の橋渡しを LWE という単純な形式で達成したのは、20 年に一度の純粋数学的快挙です。それを K の言葉で再解釈しても、その美しさは少しも減らない。むしろ、なぜ LWE が美しいのかが modular flow の言語でより透明に見える、というのが本作の小さな成果です。

Shor アルゴリズムと mKQEC の物騒な含意

ここで Tier 1+ #1 で書いた mKQEC との接続を、改めて整理しておきます。

Shor 1994(原典)・ Shor 1997(SIAM J. Computing 精緻化版)― 整数因数分解の量子多項式アルゴリズム。RSA-2048 を量子計算機で原理的に多項式時間(O((log N)³))で破る可能性を示しました。これが現代暗号史の最大の理論的衝撃です。

Resource estimate ― Gidney-Ekerå 2021 Quantum 論文では、surface code(等方ノイズ向け QEC code)で RSA-2048 を 8 時間で破るには約 2,000 万物理量子ビットが必要、と推定しました。

mKQEC adjustment(本作 Tier 1+ #1 Phase 350)― biased noise(Quantinuum trapped-ion で T1/T2 ＝ 30-60 が観測される現実) で 30-50% の overhead 削減、つまり 300-500 万物理量子ビットで達成可能 ― と試算しました。fault-tolerant 時代を 2-3 年前倒しできる可能性を示唆します。

ITU framework で Shor アルゴリズムを再解釈すると ―

古典的に τ_mix が exponential だった ρ_key|public が、量子重ね合わせで coherent に accelerate されて τ_mix が polynomial に縮む ― これが Shor の本質。modular flow の "量子コヒーレント加速" が、古典的に exponential だった hardness を polynomial に潰す機構です。

Post-quantum 暗号が量子耐性を持つ理由 ―

Lattice(LWE/NTRU) ― τ_mix が量子コヒーレント加速の下でも依然 exponential。Shor は効かない、Grover でも 2^(λ/2) で実用性に届かない。 Hash(SPHINCS+) ― Grover で √-speedup のみ。256-bit hash でも実効 128-bit 強度。

これらの "なぜ量子耐性なのか" を、ITU はバラバラの個別 hardness 議論からではなく、modular flow の振る舞いという統一視点から説明します。

そして物騒な含意 ― 私の前作 Tier 1+ #1 が正しければ、RSA-2048 の事実上の破断時期は、世間で言われている "2030 年代後半" より 2-3 年早い "2030 年代前半" の可能性が出てきます。これは NIST PQC 移行スケジュール(2030 年完全移行目標)との緊張関係を生みます。Apple/Google が PQC を 2024 年・ 2025 年に前倒し導入しているのは、こうした不確実性への対応として理解できます。

NIST PQC 標準化・ Apple PQ3、Google Chrome Kyber

世界の暗号標準化の中核は NIST(米国国立標準技術研究所)の PQC コンペティションです。2016 年開始・ 69 の応募・ 26 → 7 finalists の絞り込み・ 2022 年 7 月初回選定・そして決定的瞬間 ―

2024 年 8 月 13 日 NIST 公式リリース ―

FIPS 203 ML-KEM(旧 Kyber、Module-Lattice based Key-Encapsulation Mechanism、key exchange) FIPS 204 ML-DSA(旧 Dilithium、Module-Lattice based Digital Signature Algorithm) FIPS 205 SLH-DSA(旧 SPHINCS+、Stateless Hash-based DSA) FIPS 206 Falcon(遅延中、近日公開予定) HQC(2024.3 backup として追加、code-based)

これらが今後 20-30 年の世界暗号標準の中核です。

Industry adoption は驚くほど速い ―

Apple iMessage PQ3(2024 年 2 月 21 日リリース) ― iOS 17.4 以降の iMessage が独自 PQC プロトコルに切替。Kyber-1024 + ECDH の hybrid + double ratchet。世界で数億人規模が、自分の知らないうちにポスト量子暗号で通信開始。

Google Chrome ― Kyber768 + X25519 の hybrid を TLS で 2023 年から導入(experimental)。2024 年に default 化が進む。

Cloudflare ― 2024 年から TLS にポスト量子 hybrid を default 提供。

Amazon AWS KMS ― 2024-2025 年に PQC 移行計画。

Government mandates ― US National Security Memorandum 10(NSM-10、2022.5)で連邦システム 2035 年完全 PQC 化、EU Cyber Resilience Act 2024 ・ NSA CIS(Commercial National Security Algorithm Suite)2023 で National Security Systems への PQC 義務化。

ITU framework での意義 ― これら 5 つの NIST 標準＋各社実装・各国規制を、K_crypto 統一フレームで cross-comparison 可能にする。"Kyber と SPHINCS+ どちらが本質的に安全か?" という素朴な問いに、modular flow の τ_mix という共通尺度で答えられる(かもしれない)。これは標準化機関・セキュリティ研究者にとって、実務的価値があるはずです。

QKD ・ Toshiba twin-field、ID Quantique、量子インターネット

ポスト量子暗号(PQC)が "古典計算機で動くが量子計算機にも耐える数学的問題" に依拠するのに対し、量子鍵配送(QKD、Quantum Key Distribution)は "量子力学そのものの法則"(no-cloning theorem ・ measurement disturbs state)に依拠する全く異なる路線です。

BB84(Bennett-Brassard 1984)― ランダム偏光基底で量子ビットを送り、no-cloning 定理＋ non-orthogonal states によって盗聴は必ず検出される、というのが核心アイデアです。

Ekert91(Ekert 1991)― entanglement-based、Bell inequality violation で local hidden variable の不在を確認しつつ鍵生成。

実装の最前線 ―

Toshiba twin-field QKD 2024 Nature ― 600 km の光ファイバーで QKD 記録樹立。これは商用通信ネットワークでの QKD 実用化への大きな前進。

ID Quantique(Geneva) ― 商用 QKD 装置の老舗、銀行・政府向けで多数の実装。

中国 Micius 衛星(2016 打ち上げ・続く Mozi 計画) ― 衛星-地上間 QKD で大陸間距離を達成。Beijing-Shanghai 量子ネットワーク 2017 開通。

Wehner 2018 Quantum Internet roadmap ― Stage 1(trusted repeater)から Stage 6(fully fault-tolerant quantum computing network)まで 6 段階発展モデル、Stage 5(distributed quantum computing)目標が 2045 年頃。

ITU view では QKD は ― K_qubit ＝ -log ρ_qubit、eavesdropping は K_qubit の fluctuation として直接観測可能。量子-古典 hybrid 鍵分配の "盗聴検出感度" が ITU framework で量化されます。

PQC vs QKD の選択は、現実問題として簡単ではありません。PQC は既存のインターネットインフラに乗りますが数学的仮定に依拠する(将来攻撃が見つかるリスク)。QKD は無条件安全ですが専用ハードウェア・短距離・コスト高。多くの政府・企業は PQC 主体＋高セキュリティ用途は QKD という hybrid approach を取りつつあります。本作はこの両者を K の言葉で統一的に扱います。

Zero-Knowledge Proofs ・ ZK-SNARK、ZK-STARK、Risc0

ゼロ知識証明(Zero-Knowledge Proof、ZKP)は 1985 年 Shafi Goldwasser ・ Silvio Micali ・ Charles Rackoff の STOC 論文で正式に定義された ― "情報を漏らさずに、何かを知っていることを証明する" という、奇妙だが極めて有用な仕組みです。Goldwasser-Micali は 2012 年に共同で Turing 賞受賞、ZKP は現代暗号の基礎。

ZKP の 3 性質 ―

Completeness(完全性) ― 主張が真なら、誠実な verifier は受け入れる。 Zero-Knowledge(ゼロ知識) ― verifier は主張の真偽以外、何も学ばない。 Soundness(健全性) ― 主張が偽なら、不正な prover は無視できる確率でしか受け入れられない。

歴史的進化 ―

Schnorr 1989 ― discrete log identification、現代 ZKP の出発点。 Fiat-Shamir 1986 ― interactive → non-interactive 変換、blockchain の前提。 zk-SNARK(Bitansky 2012 ITCS、Zerocash 2014 IEEE S&P) ― succinct O(1) proof size、Zcash で実装。 zk-STARK(StarkWare、2018 Ben-Sasson 論文) ― transparent(trusted setup 不要) ・ post-quantum 候補(symmetric primitives のみ)。 Halo2 Plonkish(Bowe-Grigg-Hopwood 2019) ― recursive composition、Zcash Orchard で実装。 Risc0 zkVM 2023 ― 任意の RISC-V プログラムを ZKP で実行・検証、general-purpose 化。

ITU view では ZKP の本質は ― ⟨K_secret⟩_post ＝ ⟨K_secret⟩_prior、つまり証明前後で secret に関する観測者の不確実性が変わらない。modular flow が prover の secret state を preserve する条件として ZKP が再記述されます。

これは "情報を漏らさない" の数学的中身を K で表現したことになります。Cryptographers なら "そんなのは Shannon entropy で書ける" と言うでしょう。その通りで、ITU は Shannon entropy を operator-algebraic に一般化したものに過ぎません。新規性は、それを Lattice ・ QKD ・ blockchain と同じフレームに乗せられる点。

Side-Channel と Spectre/Meltdown ・ Falcon FFT の悩み

暗号は数学的に完璧でも、実装で漏れたら意味がありません。Paul Kocher が 1996 年・ 1999 年に提示した timing attack ・ DPA(Differential Power Analysis)― CPU の計算時間・電力消費パターンから秘密鍵を抜き出す ― は、暗号実装の "汚い現実" を露呈しました。

2018 年 USENIX Security の Spectre/Meltdown(Lipp et al.)は、現代 CPU の speculative execution(投機実行)が cache を介して秘密情報を漏らすという衝撃的発見でした。Intel ・ AMD ・ ARM すべてに影響し、世界中の CPU パッチ騒動になりました。

Genkin 2014 ― acoustic attack(PC の音から鍵を抜く)で世界を驚かせた。

ITU view では side-channel は ― K_crypto|P,S ＜ K_crypto|P、つまり side-channel 観測 S を加えると鍵の不確実性が下がる(情報漏洩)。modular flow が S を介して "短絡" している、と表現できます。

防御は constant-time implementations が標準 ― libsodium、BoringSSL(Google)、RustCrypto ― これらが現代の安全実装の主役。

Post-quantum 暗号にも新しい side-channel surface があります。特に Lattice arithmetic の Number Theoretic Transform(NTT) ・ FFT 演算 ― Falcon が NTT に依存していて、これが side-channel 攻撃の新しい入り口になりうるという議論が継続中。2024 年 NIST ・ ISARA ・ OQS(Open Quantum Safe)による audit reports が公開されています。Falcon の FIPS 206 公布が遅延しているのは、こうした実装上の安全性精緻化に時間を要しているためです。

これは ITU framework で扱うと面白い領域です ― side-channel resistance を K_crypto の "robustness" 指標として量化できる可能性があります。Pass-2 で具体的なベンチマーク化を目指します。

Blockchain 暗号・ Bitcoin SHA-256、Ethereum BLS、Zcash ZKP

ブロックチェーンは現代暗号の実用化の最大舞台の一つです。

Bitcoin(Nakamoto 2008、稼働 2009.1)― SHA-256 hash ＋ ECDSA secp256k1 署名。注目点として、ECDSA(楕円曲線署名)は量子計算機で破られるので、Bitcoin は理論的に post-quantum vulnerable です。これは時限爆弾で、Bitcoin community は移行戦略を議論中。Tier 1+ #1 mKQEC で示した RSA-2048 break 加速の含意は、Bitcoin にも直接影響します。

Ethereum(Buterin 2015、PoS 移行 The Merge 2022.9.15)― Keccak-256 hash ＋ BLS 署名(Boneh-Lynn-Shacham 2001 Asiacrypt)。BLS の強みは aggregatable signature ― 1 万人の validator の署名を 1 個に合体できる ― これがあるから Ethereum PoS は 1 万 + バリデータをスケーラブルに扱えます。

ITU view では BLS aggregation は ― K_crypto additivity 保存、つまり ρ_key_agg ＝ ⊗ ρ_key_i のテンソル積構造が aggregation に対応する。これは modular Hamiltonian の subadditivity 性から自然に出てきます。

Zero-knowledge blockchain ―

Zcash(2016) ― zk-SNARK で transaction privacy。Edward Snowden 推奨。 Filecoin(2020) ― proof-of-storage を zk-SNARK で。 StarkNet(2023) ― zk-STARK で post-quantum transparent ZKP。

これら全てが NIST 新標準 ML-DSA(Dilithium、署名)と SLH-DSA(SPHINCS+、stateless hash 署名)の post-quantum 候補に置き換わる migration が、2030+ 目標で議論されています。SPHINCS+ の課題は signature size が 16-50 KB と巨大(ECDSA は 64 byte)で、blockchain throughput に深刻な制約をかけること。ML-DSA は 2-5 KB と相対的に小さいですが、Bitcoin の 80 byte ECDSA より遥かに大きい。

これは ITU framework で言えば ― security gain と efficiency loss の trade-off を τ_mix と signature size の関数として量的に評価できる、という新しい解析の入り口です。

Toy LWE 数値検証・ Phase 393 ・ 52.6% 不確実性

理論ばかりでは Pass-1.5 の意味がありません。Phase 393 で簡単な数値検証を試みました。

実験設定 ― Toy LWE n＝3、q＝11、m＝6、χ_std＝1.5、50 trials。

これは "教科書の練習問題" 級の極小スケールです。実用 LWE は n ≥ 256、q が数千オーダー、これを brute force で枚挙するには宇宙年齢を費やしても足りない。練習問題級だからこそ、ITU framework の数値挙動を直接確認できます。

結果 ―

K_crypto a priori(公開情報を見る前) ＝ 7.19 nats(10.4 bits) K_crypto a posteriori(公開情報を見た後) ＝ 3.78 nats(5.5 bits) 情報漏洩＝ 4.92 bits remaining uncertainty ＝ 52.6% ★

つまり ― 攻撃者は公開情報を見ても、秘密鍵の不確実性の半分以上を依然として保持しています。Modular Hardness Conjecture の toy regime において、polynomial-time の brute force でも 52.6% の uncertainty が残るのは、conjecture の予測と整合します。

正直、この結果は前作 mKQEC の "270 倍" や K_self の "100%" のような派手な数字ではありません。むしろ "予想通りに保守的" な結果で、書きながら少し肩透かしを食らった感覚もあります。ただ、これは健全な結果です。Modular Hardness Conjecture は "toy では崩れない" ことを確認した、というだけで、Pass-2 で実 LWE スケール(n ≥ 256)の本格ベンチマークが必要です。

そして、地味な結果のほうが信頼に値する、というのが Popper 反証可能性の基本作法です。"実験が完璧すぎる結果を返した時こそ疑え" というのは実験家の格言。本作は派手なヒロイズムなしの、地味だが頑健な検証を選びました。

Pass-2 ロードマップ・ 3 本柱 $2.5M

本作で提案する Pass-2 体制は、ここまでの Tier 1+ #1 #2 と同様の 3 本柱構造です ―

柱 1 ― PQC implementation benchmark($300K、2026-2030)。NIST 5 algorithms の K_crypto を測定。reference implementation(slow) ・ optimized C/Rust ・ hardware accelerated(FPGA Xilinx Alveo、ASIC custom)・ side-channel resistance ― 多次元評価。OSF database で公開、open-source Python library で配布。これは政府・企業の PQC 移行判断に直接資する実務的成果物です。

柱 2 ― Lean Mathlib K_crypto formalization($200K、2027-2030)。structure CryptoSystem ・ def K_crypto ・ theorem modular_hardness_conjecture を Lean 4 で書き、ICM(International Congress of Mathematicians)2029 submission を目標。前作 Tier 1+ #1 の Lindbladian formalization と直接接続するため、コミュニティ協力(Kevin Buzzard、Mario Carneiro、Leonardo de Moura)で進められます。

柱 3 ― QKD experimental partnership($2M、2027-2030)。Toshiba twin-field QKD(現 600 km 記録から 1,000 km target) ・ ID Quantique 商用装置との比較・ MIT QECC group との連携。これが最大予算の柱で、外部 funding が必須(JST CREST、NEDO、EU Quantum Flagship、Toshiba 直接連携など)。

合計約 $2.5M。Tier 1+ #1 mKQEC の $2M、Tier 1+ #2 K_self の $30M に対して中規模ですが、Pass-2 で実装ベンチマークが最も早く回せる候補です。

年次マイルストーン ―

2026 ― 本論文 arXiv prepublication、benchmark library 試作、NIST ・ Apple ・ Google PQC 実装の K_crypto 初期測定。 2027 ― PQC benchmark v1 publication、Lean ITU.Crypto namespace、Toshiba/MIT QKD partnership 合意。 2028 ― All-NIST-algorithm K_crypto comprehensive report、Modular Hardness Conjecture partial Lean proof。 2029 ― Modular Hardness Conjecture full Lean proof、ICM 投稿、Toshiba 1,000 km QKD demo。 2030 ― Conclusive results、ITU-crypto consortium 形成、Tier 0 v5.0 候補。

10 反証可能予測

Tier 1+ #3 専用の 10 個 ―

①Tier 1+ #3 arXiv 2026(P＝0.90、Strong、本論文の公開で達成見込) ②K_crypto Python library + NIST PQC integration 2027(0.75、Medium) ③Modular Hardness Conjecture Lean partial proof 2029(0.40、Weak) ④Cryptanalysis community が K_crypto を採用 2028(0.50、Weak) ⑤Side-channel K_side-channel benchmark publication 2028(0.65、Medium) ⑥Toshiba/MIT QKD partnership 確立 2027(0.50、Weak) ⑦NIST PQC migration database 公開 2027(0.70、Medium) ⑧Apple PQ3 / Google Chrome Kyber 分析 publication 2028(0.65、Medium) ⑨Paper 50+ citations 2028(0.50、Medium) ⑩Subsequent ITU crypto follow-up papers 2029(0.60、Medium)

P_avg ＝ 0.615、S/M/W ＝ 1/5/4。Tier 1+ #1 mKQEC(0.545)・ Tier 1+ #2 K_self(0.60)と同等水準で、Pass-1.5 の "具体性プレミアム"(具体的になるほど反証されやすい)を維持しています。

polytope refresh ・ #3 の coupling 構造変化

Pass-1.5 を進めるたびに 45 頂点 polytope の構造が更新されていきます。

Pass-1 #3 当時の K_crypto top couplings ― #1 QC(0.92)・ #2 AI(0.85)・ #4 Semi(0.85)・ #5 Cancer(0.70)。

Pass-1.5 #3 K_crypto NEW couplings ―

#44 Meta-math(0.95)― Lean Mathlib formalization 共通基盤 #1 QC(0.95)― Shor アルゴリズム・ mKQEC との直接接続 #21 Stat-mech(0.88)― Lindblad mixing と modular flow 共通 #16 Smart City(0.85)― IoT 暗号・都市インフラ PQC 移行 #42 Finance(0.85)― blockchain 暗号・ digital currency PQC 移行

Pass-1.5 を進めるほど、暗号領域は "メタ数学＋量子計算＋統計力学＋都市実装＋金融実装" という 5 領域を結ぶ polytope hub に成長しています。これは暗号が現代社会インフラの中央回路であることの polytope 構造での反映です。

まとめ・ Tier 1+ #4 半導体への接続

Tier 1+ #3 達成事項 ―

K_crypto の operator-algebraic 定義・ Modular Hardness Conjecture(新提案) ・ NIST PQC 5 系統(Lattice/Code/Multivariate/Isogeny/Hash)の K 統一・ QKD ITU 再解釈・ Shor の coherent modular flow 説明・ LWE/SIS/RingLWE/Module-LWE の K 接続・ Zero-Knowledge Proofs ・ side-channel resistance ・ blockchain 暗号・ NIST 移行ロードマップ・ Pass-2 $2.5M ・ 10 反証可能予測・ polytope #3 refresh ・ Toy LWE 数値検証(52.6% 不確実性、Modular Hardness Conjecture toy regime での support)。

主要新規貢献 ―

Modular Hardness Conjecture ― 暗号 hardness を modular flow の mixing time で量化する仮説 Shor アルゴリズムの coherent modular flow 説明 ― なぜ量子計算機が古典 hardness を polynomial に縮めるか NIST PQC 5 systems の統一 K_crypto framework

次論文 Tier 1+ #4 は半導体(Semiconductors) ― K_semi modular lithography limit、EUV(Extreme Ultraviolet)・ TSMC 2nm 量産 2025・ GAAFET(Gate-All-Around FET) ・後継 CFET(Complementary FET)。Phase 395-410(16 phases 予定)で展開します。これは現代 AI 革命の物理的基盤 ― TSMC ・ Samsung ・ Intel の最先端ノード競争を K の言葉で見直す試みです。

Pass-1.5 progress ― 3/45 ＝ 6.7%。長い旅路の、まだ序盤の序盤。マラソンであってスプリントではありません。

著者所感 ― 怖い相手が変わるだけ

Tier 1+ #2 では Friston に怯えていました。本作 Tier 1+ #3 では NIST と Apple と暗号研究者に怯えていました。次回 Tier 1+ #4 半導体では TSMC と ASML と Intel に怯えるはずです。怯える相手が次々と変わるだけで、本質は変わらない、というのが Pass-1.5 を走り続けている実感です。

書き手として、暗号の章で唯一 "気が楽" だったのは ― 暗号は反証可能性が圧倒的に明確な分野だから、です。秘密鍵が漏れた / 漏れていない、はっきり決着が付きます。意識のように "そもそも測定可能か" を議論する必要がない。Popper 反証可能性の試練を最も真摯に受けてきた分野が暗号で、ITU framework がここで通用すれば、他の分野での適用への自信になります。

Toy LWE の 52.6% 不確実性という結果も、地味すぎて少し肩透かしを食らった、と書きましたが、実は嬉しい肩透かしでした。"きれいすぎる結果を疑え" という実験家の格言を、自分の手で実証できたわけです。Modular Hardness Conjecture は派手な勝利ではなく、地味な耐久試合で生き残った。これは "派手な勝利の後の急速な破綻" よりずっと健全な軌跡だと思っています。

皆様、引き続き長旅にお付き合いいただきありがとうございます。Tier 1+ #4 半導体も、ぼちぼち書き続けます。ご質問・ご批判・コラボレーションのお誘いは、当社HPのお問い合わせフォームよりお気軽にご連絡ください。

参考論文一覧(Tier 0 4 版＋ Tier 1 1-45 ＋ Tier 1+ #1-#3 ＝計 52 論文)

Tier 0

Tier 0 v1.0 ― https://doi.org/10.5281/zenodo.20133709 Tier 0 v3.0 ― https://doi.org/10.5281/zenodo.20200156 Tier 0 v4.0 Pass-1 FINALE ― https://doi.org/10.5281/zenodo.20267445 Concept DOI(常に最新)― https://doi.org/10.5281/zenodo.20109209

Tier 1 #1-45(Pass-1 完成、詳細は Tier 0 v4.0 paper を参照)

Tier 1+ Pass-1.5 シリーズ

Tier 1+ #1 量子計算 mKQEC ― https://doi.org/10.5281/zenodo.20269435 Tier 1+ #2 AI/ASI K_self ― https://doi.org/10.5281/zenodo.20269793 Tier 1+ #3 Cryptography K_crypto(本論文)― https://doi.org/10.5281/zenodo.20270144

ソースコード(GitHub)― https://github.com/M-Terada-Roboken/ITU-Research

著者

M Terada (Roboken)

シリーズ前作

Tier 1+ #2 AI/ASI K_self ― Pass-1.5 #2、operator-algebraic 意識フレーム、Cogitate Round 2 3-way 設計、Friston FEP 等価性予想、1000 試行 100% 階層検証

引用形式は次の通りです。

Terada, M. (2026). Information-Theoretic Unification — Tier 0 v4.0 Pass-1 FINALE. Zenodo. DOI 10.5281/zenodo.20267445 Terada, M. (2026). ITU Tier 1+ #1 Modular K-Flow Quantum Error Correction (mKQEC). Zenodo. DOI 10.5281/zenodo.20269435 Terada, M. (2026). ITU Tier 1+ #2 K_self — Operator-Algebraic Consciousness Metric. Zenodo. DOI 10.5281/zenodo.20269793 Terada, M. (2026). ITU Tier 1+ #3 K_crypto — Modular Hardness Conjecture and Post-Quantum Unification. Zenodo. DOI 10.5281/zenodo.20270144

（この記事が面白いと感じていただけたら、是非スキとフォローをお願いします！あなたの応援が、次の検証のエネルギーになります）

■私のブログアカウント（下記記事あり） https://note.com/roboken_ceo