ほとんどの人はZKロールアップについて話し、その証明部分にすぐに飛びつきます。でも、それは本当のストーリーを見逃しています。

Midenを例にとると、そのブレークスルーは証明を持っていることではなく、*証明が実際に何を検証しているか*にあります。

一般的なシステムでは、証明はただ次のことを確認します：「この取引はメインチェーン上でリプレイすれば正しく実行されるはずです。」これは仕組みを検証しているだけです。

しかし、Midenはその脚本をひっくり返します。証明は異なるものを検証します—それは実際に何が起こっているのか、より深く掘り下げているのです。そのシフトは、システムの動作や可能になることすべてを変えます。

理論上の小さな違いですが、実践では大きな違いです。だからこそ、*何を証明しているのか*を理解することは、*それを証明している*ことと同じくらい重要です。