なぜZKは多くのプロトコルで付け足しのように感じられるのか？ほとんどのプロジェクトはそれを後付けのように扱い、暗号技術を念頭に置かずに構築されたシステムに証明を重ねている。

しかし、Midenプロトコルを見てみよう：ZKは付け足しではない。すべてに組み込まれている。VM、実行層、状態遷移の仕組み—これらはすべて、証明生成を第一級の要素として、最初から設計されている。

これが、ゼロ知識証明を後付けで追加するのと、基礎から構築するのとの違いだ。