本文从零知识证明的三个性质讲起，用洞穴寓言解释证明如何完成而不泄露信息，说明算术电路如何把问题压缩成可验证的短证明，以及它在 L2、隐私和身份场景的用途与风险边界。

本文解释 zkEVM 与 zkVM 的定位差异：zkEVM 追求以太坊字节码级别的等价兼容，zkVM 追求更高效的通用证明机器，说明两者在证明成本、合约迁移和证明者吞吐上的取舍。

本文对比 ZK Rollup 的密码学证明与 Optimistic Rollup 的欺诈证明：确认速度、挑战机制、证明者/挑战者集中化风险各自不同，并给出按信任假设比较两条路线的框架。