PANews 7月29日のニュースによると、イーサリアムの共同創設者であるヴィタリック・ブテリン氏が、新しいタイプのプログラム難読化プロトコルを紹介する技術記事『難読化(第2部):Diamond iO』を発表しました。従来の保守的な難読化方式では、実行時間が宇宙の寿命を超えてしまい、完全に実現不可能でした。Diamond iOは、BGG+14属性ベース暗号方式を改良することで実行時間を大幅に短縮し、プログラム難読化を「絶対に不可能」な段階から「理論的には希望が見える」段階へと前進させました。
ヴィタリック氏が説明するところによると、Diamond iOの核心はABE内部にFHE計算をネストさせることであり、以下の3つの主要なメカニズムによって実現されています:出力エンコーディングの特別な処理による条件付きFHE復号、疑似ランダム出力を生成するための関数の調整、そしてテンソル融合方式により評価者が任意の入力に対して一意のエンコーディングを生成することです。この方式は、保守的な難読化に比べてよりシンプルで、ABE内にFHEが一層だけネストされているため、複雑なサブ線形ランダムエンコーディング、関数暗号、難読化回路などの構造の塔を必要としません。
記事では、Diamond iOがall-product LWEとevasive LWEという2つの比較的新しい暗号学的仮定に依存しており、その安全性についてはさらなる検証が必要だと指摘しています。主な効率性のボトルネックは、ハッシュ計算の深さと「準指数安全性」のパラメータ要件にあります。ヴィタリック氏は、Goldreich PRGの実装の改善、より効率的なFHE方式の探索、ABEレイヤーとFHEレイヤーの統合など、複数の最適化の方向性を提案し、Diamond iOがより多くの注目と分析を受け、最終的に実行可能な難読化プロトコルが実現されることを期待しています。


