Vitalikは、Diamond iOの暗号学的難読化プロトコルを解析し、コードを隠す複雑さを「低減」させる

以太坊共同創辦人 Vitalik Buterin が 7 月 28 日に自身の公式ブログで暗号化の混同（オブフスケーション）シリーズ第 2 回の記事を公開し、「Diamond iO」プロトコル構造を解析した。主流の iO プロトコルで必要とされる「恒星級」の演算時間に比べて、Diamond iO は複雑度を「惑星級」へと成功裏に引き下げた。Vitalik は、数回の重要な最適化で、一部の特定ユースケースにおける商用展開が現実的になり得ると考えている。

Diamond iO アーキテクチャの突破：「惑星級」演算強度

（出典：Vitalik.eth）

従来の iO 技術では、属性ベース暗号化（ABE）の内部で完全準同型暗号化（FHE）演算を行い、その後、幾重にも重ねた協議の塔によって、評価者が正しく回路を実行した場合にのみ復号できるようにするのが一般的である。この構造は破壊的な計算負担をもたらす。Diamond iO は、BGG+14 ABE 方式への 2 つの主要な修正によってこの問題を解決した。すなわち、新しい条件付き FHE 復号メカニズムの導入と、新しい入力符号化生成メカニズムの導入により、全体の演算強度を、概ね関数暗号化（FE）と同等の水準まで大幅に低減した。

運用プロセスでは、評価者は補助情報、隠し入力 z の FHE 暗号化、公開入力ビット x、低ランク数 FHE 復号鍵 s を得る。協議は巧妙に「バケットごとの左シフト演算子（Bucket-wise left shift）」を用いて、誤差の爆発を回避しつつビット重みをスケールする。最終的に「トラップドア（Trapdoor）」によって結果を抽出し、このトラップドアは正しく回路形状を実行した場合の演算だけを通過させる。

安全性仮定：Evasive LWE と All-product LWE によるゼロ化攻撃の遮断

Diamond iO の最も物議を醸すが同時に最も革新的な部分は、入力符号化の生成メカニズムである。2 つの比較的新しい暗号学的仮定に依存している。Wee22 によって提案された Evasive LWE と、Diamond iO 独自の All-product LWE である。これら 2 つの仮定により、評価者が減算などの手段で秘密を漏らすことが有効に防止され、これまで何度も初期の混同プロトコルを打ち砕いてきた「ゼロ化攻撃（Zeroizing attacks）」を回避できる。

安全性の面では、プロトコルは「PROM bootstrap」技術を採用している。隠し入力 z には本物の秘密とランダム PRF 鍵が含まれるようにし、オフセット付きの新しい関数を計算したうえで、XOR ハッシュ処理によって、偽ランダム機能の混同を汎用的な iO プロトコルへと転換することに成功している。

Vitalik は、これらの仮定は相対的に新しく、一定のリスクも伴うため、将来も暗号学分野でさらなる安全性分析と検証に注力する必要があると率直に述べている。

今後の最適化の方向性：より効率的な PRF、発展した FHE プロトコル、STARK との統合最適化

Diamond iO の現在の性能ボトルネックには、以下が含まれる。BGG+ の評価コスト（ABE と FHE の積）、内部 PRF が入力長に強く依存する Goldreich PRG 木、誤差の蓄積を防ぐために低深さ回路しか許容できないこと、そして大きな準指数的安全性パラメータを要すること。Vitalik が提示する今後の最適化の方向性は次のとおりである：

· Goldreich 木の代わりに、より効率的な PRF を用いる

· より先進的な FHE プロトコル（例：BGV/CKKS または packed GSW）に切り替える

· ABE と FHE の層をさらに統合してコストを下げる

· STARK 証明と組み合わせた「iO 完全プログラム」に対して、的を絞った最適化を行う

記事の結びで Vitalik は、Diamond iO の最大の価値は、その構造が比較的シンプルで分析しやすい点にあると述べている。開発者は、過去 20 年間のあらゆる複雑な構成を精通している必要はなく、コアを理解できる。彼は、この文章がより多くの研究者を安全性分析と性能最適化へ引きつけることを期待している。

よくある質問

Diamond iO の「惑星級」複雑度は具体的に何を意味する？

Vitalik は記事中で、従来の iO プロトコルが必要とする演算時間を「恒星級（Galactic）」と表現しており、宇宙の寿命よりも長い計算量を意味する。Diamond iO は複雑度を「惑星級（Planetary）」まで下げることに成功した。今日のハードウェア環境では依然として現実的ではないものの、理論から実用までの距離を大幅に縮めている。Vitalik は、いくつかの重要な最適化の後、一部の特定ユースケースで商用展開が見込めると考えている。

Diamond iO はどの 2 つの新しい暗号学的仮定に依存しており、それはどんな問題を解決する？

Diamond iO は Evasive LWE（Wee22 が提案）と All-product LWE（Diamond iO 独自）に依存している。これらの仮定は、評価者が減算などの方法で秘密を漏らすことを有効に防止し、これまで何度も初期の混同プロトコルを打ち砕いてきた「ゼロ化攻撃（Zeroizing attacks）」を回避する。Vitalik は、これらの仮定は相対的に新しく、今後は暗号学分野でより多くの安全性分析が必要だと述べている。

Diamond iO は現時点で主にどのような性能ボトルネックに直面している？

主なボトルネックには、BGG+ の評価コスト（ABE と FHE の積）、内部 PRF が入力長に依存する Goldreich PRG 木、誤差の爆発を防ぐために低深さ回路しか許容できないこと、そして大きな準指数的安全性パラメータが必要であることが含まれる。Vitalik が提案する改善の方向性には、より効率的な PRF、発展した FHE プロトコル（例：BGV/CKKS）、および ABE と FHE 層の統合が含まれる。