Obfuscation: Building the Final Boss of Cryptography
This article explores obfuscation as a "holy grail" of cryptography, explaining how it enables hiding program logic while maintaining functionality, its theoretical foundations, practical applications in blockchain and smart contracts, and the current state of research in making obfuscation practical and secure.
背景メモ
- イーサリアムの共同創設者ヴィタリック・ブテリンによる、暗号技術の「最終ボス」とも言える**オブファスケーション（難読化）** に関する解説記事。
- オブファスケーションとは、プログラムの動作を完全に隠蔽しながら、その計算結果だけを正しく得られる技術。理論上は万能だが、現在も実用的な実装は未確立。
- 背景として、完全準同型暗号（FHE）やマルチパーティ計算（MPC）など「計算を秘匿する」技術は進んできたが、オブファスケーションはそれらより格段に強力で、任意のプログラムをブラックボックス化できる。
- 実現すれば、スマートコントラクトの完全なロジック秘匿、ライセンスキーの埋め込み不能化、汎用的な「暗号化されたアプリ」などが可能になる。
- ブテリンは近年の**indistinguishability obfuscation (iO)** という理論的ブレイクスルー（格子暗号ベースの効率的構成）に注目しており、本記事はその仕組みと意義を専門家向けに解説している。
- 読者には、暗号界でiOが「理論的には解けたが実装はまだ先」という段階にある、という前提知識が求められる。