Miden用離チェーン状態とオンチェーン証明のモデルは、アーキテクチャレベルで直接スケーラビリティの問題を解決します。

どうやって実現しているのか？すべての実行をユーザー側で行います。ネットワークは各取引の再検証を必要とせず、オンチェーンではゼロ知識証明を受け取るだけで、実行過程に問題がないことを確認すれば良いのです。

このアプローチは従来の計算モデルを変えました——重い処理をチェーンから切り離し、暗号学的証明で繰り返し検証を置き換えます。その結果、取引のスループットが向上し、コストも削減され、システム全体の負荷が大幅に軽減されました。