現在のブロックチェーンエコシステムには、スケーリングのための2つのアプローチが共存しています：オプティミスティックモデル（例：オプティミスティックロールアップ）とゼロ知識に基づくものです。イーサリアムのようなネットワークでは、オプティミスティックロールアップはトランザクションが有効であると仮定し、誰かが詐欺を検出した場合にのみ介入します。これにより遅延とサードパーティへの依存が生じます。これがZKに変更され、優先的にZK-snarksが使用されます。最初のインスタンスではZcashを利用しますが、そのアプローチは異なります。また、基本的に\u003cm-55/\u003eのように行います。
ZK-SNARKsはこのパラダイムを変えます：データを明らかにせず、ほぼ即時に検証できる数学的な正しさを証明することが可能です。例えば、残高を見せずに十分な資金があることを検証できます。
このアプローチは速度を向上させるだけでなく、設計段階からプライバシーとセキュリティを組み込んでいます。だからこそ、業界はCardanoのプロジェクトを含め（完全に透明なUTXOsを用いて）、次世代の分散型アプリケーションやプライベートなシステム、銀行やネオバンクなどに必要なZKソリューションへと進んでいます。
「楽観的システム」とは何ですか？楽観的ロールアップはこう機能します：
すべてのトランザクションが有効であると仮定する
誰かが「詐欺の証明」を提示した場合のみ検証する
資金を引き出すために待機期間（数日）がある
効率的ですが、最終的なセキュリティでは遅い
なぜZKが未来なのか？ZKはロジックを変えます：
仮定せず、数学的に証明する
即時に検証するので、待たなくても大丈夫
プライバシーを守るために晒さない
主要な利点：
迅速な最終性
統合されたプライバシー
詐欺のリスクが低い
操作のリスクを軽減する
\u003cc-60/\u003e\u003ct-61/\u003e
