本文解释数据可用性证明（Data Availability Proof）的结构：提交者如何生成简短证明、验证者如何以低成本确认数据可用、DAP 与 DA 层的分工，以及它在 Validium 与 Rollup 中的不同用法。

本文以 zkSync 为例解释 ZK Rollup 的完整工作流：证明者如何生成状态证明、L1 验证合约如何接受状态、账户模型与提现流程，以及 ZK 链特有的 prover 集中化风险。