イーサリアムの共同創設者ヴィタリック・ブテリンは、技術エッセイの中で、識別不能難読化が信頼できる仲介者に依存せずに完全にプライベートなオンチェーン投票を可能にする方法を概説した。
ブテリンは、正しい出力を生成しながらソフトウェアのロジックを隠すように設計されたこの暗号学的アプローチを検討し、プライベートで不正結託に強い投票のためにブロックチェーンインフラと組み合わせることができると主張した。
この技術は実用的な展開には程遠く、現在の実装では、ブテリンが「銀河規模」の計算量と表現した極度の計算需要を必要とする。
識別不能難読化は暗号化された投票を処理し、投票用紙を公開しない
ブテリンは、識別不能難読化が、ソフトウェアが実行されたときに正しい出力を生成できるようにしながら、ソフトウェアの動作を隠すように設計された暗号技術の一種であると説明した。
難読化されたプログラムは、暗号化された投票を処理し、個々の投票用紙を公開したり内部ロジックを明らかにすることなく、最終集計のみを公開することができる。
このアプローチは、現在選挙データの復号化の責任を共有しているしきい値委員会の必要性を排除する。
iOとブロックチェーンインフラを組み合わせることで、投票用紙の取り扱いや結果の開示を担当する委員会にほとんど信頼を置かずに、プライベートで不正結託に強い投票を可能にする。
ブロックチェーンインフラは状態管理に不可欠であり続ける
ブテリンは、難読化されたソフトウェアは自身がコピーされるのを防ぐことも、変化する状態を独立して維持することもできないため、ブロックチェーンは依然として不可欠であると述べた。
この制限により、難読化されたプログラムは、残高やその他の状態を持つシステムを含むアプリケーションには単独では不適切になる。
難読化されたプログラムが安全に独立して維持できない共有状態を管理するために、ブロックチェーンインフラが必要となる。
現在の実装には銀河規模の計算レベルが必要
研究者らは最近、妥当なセキュリティ前提を使用してiOを構築する方法を実証したが、ブテリンは、現在の実装には「銀河規模」の計算レベルが必要だと述べた。
いくつかのアプローチは、実行に宇宙の寿命よりも長い時間がかかる。
ブテリンは難読化を、実運用可能な技術ではなく長期的な研究方向であると説明し、その現在の段階を、長年の最適化によって実用的なブロックチェーンインフラに変わる前の初期のゼロ知識証明研究に例えている。
FAQ
ブロックチェーン投票における識別不能難読化とは何か?
識別不能難読化は、ソフトウェアが実行されたときに正しい出力を生成できるようにしながら、ソフトウェアの動作を隠すように設計された暗号技術の一種である。ブロックチェーン投票では、難読化されたプログラムが暗号化された投票を処理し、個々の投票用紙を公開したり内部ロジックを明らかにすることなく、最終集計のみを公開することができる。
投票プログラムが難読化されているのに、なぜブロックチェーンがまだ必要なのか?
ブロックチェーンは依然として不可欠である。なぜなら、難読化されたソフトウェアは自身がコピーされるのを防ぐことも、変化する状態を独立して維持することもできないからだ。このため、難読化されたプログラムは、残高やその他の状態を持つシステムを含むアプリケーションには単独では不適切であり、共有状態を管理するためにブロックチェーンインフラが必要となる。
現在、投票における識別不能難読化はどの程度実用的か?
現在の実装には「銀河規模」の計算レベルが必要であり、いくつかのアプローチは実行に宇宙の寿命よりも長い時間がかかる。ブテリンはこの技術を、実運用可能ではなく長期的な研究方向であると説明し、その現在の段階を、長年の最適化によって実用的になる前の初期のゼロ知識証明研究に例えている。