该论文提出 VeRSA，一种基于 RSA 累加器的可验证注册表（Verifiable Registries）构造，旨在解决现有方案中客户端审计效率低下的问题。可验证注册表是一种支持公开查询和验证数据成员资格的数据结构，广泛应用于证书透明度、密钥透明度、区块链状态等场景。现有的基于 Merkle 树的构造虽然简单，但实现成员撤销或更新时需要昂贵的重新计算；而基于 RSA 累加器的方案虽然支持高效的成员证明，但在客户端审计（即验证服务端是否遗漏更新或错误响应）时往往需要下载整个数据结构或进行大量交互。VeRSA 的主要创新在于利用 RSA 认证字典的特性，使得客户端能够以极低的通信和计算成本执行审计：具体地，客户端只需维护一个恒定大小的摘要，即可通过与服务器进行一轮交互来验证所有更新是否被正确应用，且无需信任服务器。文中给出了形式化安全定义，并在标准假设（RSA 假设）下证明了方案的安全性。实验或性能分析表明，与现有方案相比，VeRSA 在审计通信开销和验证时间上实现了显著改善，尤其适合更新频繁的大型注册表场景。该工作对于需要公开可验证且支持高效审计的基础设施（如透明度日志、分布式系统配置分发）具有理论意义和实用价值。适合对应用密码学、认证数据结构、透明度系统设计感兴趣的研究者和工程师阅读。