保存压缩资产对应的树标识和叶子位置。
确认该叶子及其相邻路径节点是否经历后续更新。
从可信索引服务获取当前证明并核对根值。
树中其他叶子更新也可能改变共享路径节点。
证明失效不能单独说明转移,需查叶子状态和交易。