Starknet 随证明提交 state diff，监听者据此重建当前状态。本文按官方文档拆解差异字段结构、v0.11.0 与 v0.13.1 的变化，以及重放交易与读差异之间的能力落差。

本文对比 zk-SNARK 与 zk-STARK 两条零知识证明路线：是否需要可信初始化、证明大小与验证速度、安全假设与可扩展性的差异，以及各自适合什么场景。