本文提出 ShadowPath，一种面向可验证凭证（Verifiable Credentials）的隐私保护撤销状态验证方案。在可验证凭证模型中，持有者可以出示由颁发者签名的数字声明，而无需颁发者参与每次出示过程。但撤销机制使隐私模型复杂化：验证者必须确认凭证是否仍然有效。传统的状态检查可能暴露重复的标识符、注册表位置或请求元数据，这些信息可能被用作稳定句柄，将持有者的不同出示行为关联起来，从而导致用户被跟踪。ShadowPath 的核心思想是将凭证状态查询从验证者侧转移到持有者侧。每次出示时，持有者在本地获取由验证者选定的注册表根，并生成零知识证明，表明其凭证在该注册表根下未被撤销。验证者只能获得最终的状态结果，而无法获知任何可观察的元数据，例如凭证索引或查询时间。作者首次将 Verkle 树应用于凭证撤销场景，并与稀疏 Merkle 树进行系统比较，以评估路径深度缩短带来的收益是否能抵消 KZG 多项式承诺认证的更高计算开销。实验基于 30 次桌面设备测试，结果显示：Groth16 证明生成时间的中位数在稀疏 Merkle 树下为 371.6 毫秒，而 Verkle 树为 2.11 秒；验证时间分别为 3.70 毫秒和 7.55 毫秒。在两类主流移动设备上，基于 Verkle 树的 Groth16 证明生成时间约为 3 秒。这些数据表明，更短的身份认证路径并不必然带来更廉价的零知识证明，因为 Verkle 树所依赖的 KZG 承诺在证明生成阶段引入了显著开销。此外，论文证明，在使用新鲜的会话随机数且假设会话值的独立性时，验证者可见的状态数据不会揭示两次出示是否使用了同一凭证，但这一保证并不涵盖颁发者与验证者串通或存在同步流量的场景。该研究为可验证凭证撤销机制的设计提供了重要的实验数据和理论分析，尤其适用于对隐私敏感的去中心化身份系统。

现代区块链状态管理面临严重的可扩展性瓶颈：对数十亿条加密承诺进行维护在计算上代价高昂。以太坊正在转向Verkle树——一种基于多项式承诺的累加器，通过恒定大小的IPA向量承诺将证明大小从O(宽度*深度)降低到O(深度)，这是迈向无状态操作的关键一步。然而，当前实现在参考实现go-verkle中存在四个性能缺陷：(1) 删除不存在账户时产生幽灵节点；(2) 64字节数据库键导致LSM树过度压缩；(3) 证明反序列化中冗余内存拷贝；(4) 不存在证明的线格式不兼容导致非确定性序列化。本文提出分数Verkle树（FVT），一种超树分解架构，将全局状态划分为N个独立子累加器，由Merkle承诺树协调，实现了更好的缓存局部性、无锁竞争的goroutine并行承诺计算以及更快的根重新计算（91微秒对比约500毫秒）。针对每个缺陷，作者分别通过存在检查、32字节SHA256节点引用、零拷贝引用计数缓冲区和基于哈希映射的字典序去重加以解决。在Apple M1 Pro上的基准测试显示：每1万个证明堆分配减少57%（从566,760字节降至242,004字节）、并行插入速度为2,433纳秒/操作、在6,000个全节点网络中每年可节省4.85 PB带宽，推进了以太坊无状态路线图。