大多数人谈论ZK汇总（ZK rollups）时，直接跳到证明部分。但这遗漏了真正的故事。

以Miden为例——突破点不在于拥有一个证明，而在于*证明实际上验证了什么*。

在典型的系统中，证明只是确认：“嘿，如果我们在主链上重放这个交易，它会正确执行。”它在验证机制。

Miden颠覆了这个思路。证明验证的内容不同——它更深入地揭示了底层实际发生的事情。这一转变改变了系统的运作方式以及可能实现的功能。

理论上的细微差别，实践中的巨大差异。这就是为什么理解*你在证明什么*和*你在证明它*一样重要的原因。