その視点は完全に理解できます。初期のゼロ知識証明システムは、採用を妨げる根本的な課題に直面していました。

最初のハードルは明らかでした—証明生成にかかるコストが高すぎたのです。計算のオーバーヘッドが多くの実世界のアプリケーションには実用的でありませんでした。ZK証明を行うには、相当なリソースを消費する必要がありました。

しかし、より深い問題も存在しました。暗号の世界を超えて、その価値提案は明確ではありませんでした。なぜ主流のアプリや企業がゼロ知識証明を実際に必要とするのでしょうか？それは彼らにとってどんな問題を解決するのでしょうか？そのプロダクトマーケットフィットの問いは未解決のままでした。

その後、状況は変わり始めました。SNARKsが登場し、いくつかの改善をもたらしました。次にSTARKsが登場しました。徐々に、その重労働—高価な証明生成—がより管理しやすくなり始めました。数学は向上し、実装もよりスマートになっていきました。

これは、パフォーマンスのブレークスルーと、決定的なユースケースの両方が必要だった技術であり、ついにその真価が発揮されることになったのです。