ヴィタリックが混乱プロトコル(iO)メインラインの背後にある全技術ツリーを詳しく解説した投稿
ヴィタリック・ブテリンは「Obfuscation: building the final boss of cryptography (Part I)」という記事を発表し、混淆プロトコル(iO)の主な技術ツリーを整理しました。この記事では、混淆技術がプログラムを「暗号プログラム」に変換し、内部ロジックを隠しながら平文入力に対して計算を許可することができると指摘しています。理論的には「信頼不要の信頼できる第三者」を実現でき、ブロックチェーンと組み合わせることで、ほぼ信頼不要の投票システムやオークションプロトコルなどのさまざまなアプリケーションを構築できます。しかし、現在のiOソリューションの実行時間は技術的には多項式時間ですが、実際のコストは非常に大きく、実行時間は宇宙の寿命を超えると予想されています。この記事では、格に基づくiO構築プロセスを詳細に分解し、全同態暗号(FHE)、属性ベースの暗号(ABE)、混淆回路、関数暗号およびXiOなどの原語のスタッキングを含んでいます。ヴィタリックは、過去10年間でこの分野が「不可能」から「証明可能な安全性」へと進展したが、実際の応用には依然として大きなギャップがあると述べています。彼は、今後の3つの道筋を提案しました:既存の格基ルートのさらなる最適化、構造を簡素化するためにより大胆な暗号学的仮定を採用すること、または格とは完全に異なる新しい仮定を探求することです。そして、いずれの方向が成功すれば、「暗号学を大きく解決する」ことになり、理想的な信頼できる第三者によって記述される任意のプロトコルが安全に実現できると強調しました。