イーサリアムの共同創業者ヴィタリック・ブテリン氏は、SNARKs、完全準同型暗号（FHE）、識別不可能な難読化（iO）という3つの先進的暗号技術が、最終的に10倍未満の計算オーバーヘッドに到達する確率を60%と見積もった。ブテリン氏は、この閾値に最初に到達する技術はSNARKsである可能性が高いと述べ、この節目は今世紀末までに訪れる可能性があるとした。この発言はCointelegraphがXへの投稿で報じた。

この見積もりは、プライバシー、検証、計算に関わる用途で既に使用または研究されている暗号技術に対する長期的な効率目標を示すものだ。SNARKsは既に実稼働中のブロックチェーンシステムで導入されている一方、FHEとiOは主に研究段階にとどまっており、ブテリン氏がSNARKsを最初に閾値を超えると予想する根拠となっている。

SNARKsが最初に閾値へ到達か

3つの技術のうち、ブテリン氏はSNARKsが10倍未満のオーバーヘッドを最初に達成すると予想しているが、その実現年度については具体的に示さなかった。

SNARKs（簡潔な非対話型知識証明）は、相手方が計算全体を独自に再現することなく、一方の当事者が計算が正しく実行されたことを証明できる技術である。この技術は、トランザクションをオフチェーンでまとめて処理し、検証済みの結果をイーサリアムに記録するzkロールアップを含む、ブロックチェーン業界全体で使われるゼロ知識システムの重要な構成要素となっている。

効率閾値の重要性は、暗号証明に伴う計算コストにある。オーバーヘッドが低ければ、計算リソースや処理時間が制約となる用途でも、高度な検証技術をより実用的にできる。現在、証明の生成は通常、基礎となる計算を直接実行するよりはるかに高コストであり、これらの技術が活用可能なあらゆる場面で使われていない理由の一つとなっている。

FHEとiOはより長期的な見通しに

ブテリン氏は、評価の対象に完全準同型暗号と識別不可能な難読化も含めた。

FHEは、暗号化されたデータを復号せずに計算を実行できる技術である。そのため、基礎となる情報の機密性を保ちながら計算を必要とする用途、例えばプライバシー保護型データ処理などにおいて、重要な研究分野となっている。FHEは2000年代後半に初めて提案され、以来、オーバーヘッドの低減がこの分野の中心的課題となってきた。

識別不可能な難読化は、機能を維持しながら難読化されたプログラムの動作原理を解明することを困難にする、より高度な暗号技術である。幅広いプライバシー・暗号応用の基盤として研究されてきたが、実用的な構成は一般的にSNARKsやFHEよりもさらに先の話と考えられている。

ブテリン氏の60%という見積もりは、3つの技術すべてが最終的に10倍未満のオーバーヘッド閾値に到達する可能性に適用される。同氏の発言は節目の達成を確定するものではなく、FHEやiOに対する保証された日程も示していない。

世紀末（今十年）末の目標

発言の中で言及された具体的な時期は、閾値に到達すると見込まれる最初の技術に関するものだけだ。ブテリン氏はそれがSNARKsである可能性が高いとし、今十年の終わりまでに実現する可能性があると述べた。

この見積もりは、基礎となる暗号技術の登場ではなく、効率を予測の中心に据えるものだ。SNARKs、FHE、iOはいずれも確立された暗号研究分野であるが、計算オーバーヘッドを大幅に低減することは依然として重要な技術的課題となっている。近年の証明システムの進展、特に新しいSNARK構成の開発によりオーバーヘッドは着実に減少しており、ブテリン氏の見積もりが示すのはこの傾向である。

現時点で、ブテリン氏の評価は確定された展望ではなく確率を提示するものだ。同氏の発言で特定された重要な節目は、SNARKsが今十年の終わりまでに10倍未満のオーバーヘッドに到達できるかどうかである。