储备证明把“平台有没有拿你的钱”变成可验算的题：默克尔树包含证明、总量与非负约束、地址所有权签名。本文以 OKX 官方页面与开源工具为例讲流程，并讲清快照时点、覆盖范围与表外负债三条边界。