ビタリック・ブテリン、3番目の難読化投稿で「ローカルミキシング」を詳細に説明

イーサリアムの共同創設者であるビタリック・ブテリン氏は、金曜日に暗号学的難読化シリーズの第3部を発表した。 

彼は「ローカルミキシング」と呼ばれる方法を検討し、格子や楕円曲線を捨て、ハッシュ関数の設計から持ち上がったアイデアに代わるものを探った。

ブテリン氏は パートI を6月29に発表し、2番目のものは ダイヤモンドiOの書き込み で、7月28に発表された。 

これらの出版物において、彼は格子を多用した構築に触れた。ローカルミキシングについて、ブテリン氏は「暗号化を行う全く異なる方法である」と述べた。 彼の投稿において、彼はローカルミキシングには設計のどこにも楕円曲線、素因数分解、格子がないと書いた。

ブテリン氏によると、ローカルミキシングに最も近い親戚は対称暗号であり、これは日常の暗号化とハッシュ化の背後にある分野である。

ジャンクゲートと逆方向に実行される回路

ローカルミキシングのプロセスは、XOR、AND、NOTなどの論理ゲートで構成され、内部ロジックの痕跡を洗い流しながら出力を同一に保つパイプラインを通る回路から始まる。

ブテリン氏は、ローカルミキシングが次の元の回路を通り、可逆性、強化、ガジェット化、ミキシング、そして最終的に難読化を追加すると書いた。

ミキシングの間、ジャンクゲートが回路中に散らばる。配置はその後シャッフルされ、小さなブロックが同じことを計算する異なるゲートに置き換えられる。

しかし、それだけでは不十分であり、そのため他のステップが重要であり、それらがほとんどの作業を行う。

可逆性が最初に来るのは、それが残りを可能にするからである。ブテリン氏は、可逆ゲートは一致する動作を持つ任意の他の可逆ゲートの山として書き換えることができると説明する。これはANDやORではより困難である。 

過去の失敗に基づいた賭け

ブテリン氏は依然としてローカルミキシングを「野心的でリスクの高い賭け」と呼び、それが「ホワイトボックス暗号化の失敗した試みの墓地」の上に座っていると書いた。 

しかし、彼はローカルミキシングの著者たちが、より多くの努力と高いオーバーヘッドを受け入れる意志があれば、このアイデアが成立し得ると指摘した。

提案された近道の一つは人工知能であり、それは成熟するために必要な30年間のハッシュ関数を数年の範囲に圧縮できる可能性がある。しかし、それはセキュリティの仮定とのトレードオフがあった格子ベースのルートから離れる。

ブテリン氏は 6月の出版物で難読化を暗号化の「最終ボス」と呼び、今回の最新の出版物では「暗号化の最終フロンティア」と呼んだ。 

彼は、最も厳格な構築には「 literally galactic（文字通り銀河系規模の）」ランタイムがあり、宇宙の寿命よりも長いと述べた。 

なぜ難読化は手間をかけて価値があるのか？

難読化を用いると、プログラムは通常の入力で実行される暗号化されたバージョンに変換できる。ここでは、通常の出力が返されながら、そのコードは隠蔽される。

難読化をブロックチェーンと組み合わせると、「信頼できない第三者」に近い「信頼できる第三者」が実現し、M-of-N委員会を信頼する必要のないプライベートで共謀耐性のある投票などの機能を可能にする。