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

该论文针对物联网（IoT）系统中基于能力的访问控制（Capabilities-based Access Control）现有方案存在的互操作性差、缺乏持有证明（proof of possession）、撤销机制低效以及过度依赖可信第三方等问题，提出了一种基于可验证凭证（Verifiable Credentials, VCs）的新型系统设计。作者设计了用于请求和使用可验证凭证的协议，并将这些协议映射到 OAuth 2.0 框架，从而提高了与现有授权体系的兼容性。系统引入了一种高效且保护隐私的持有证明机制，确保只有凭证的真正持有者才能使用其访问权限，同时支持凭证的撤销，解决了传统方案中撤销困难的问题。研究团队实现了该系统，并在受限设备（constrained devices）上进行了性能评估，结果表明即使资源受限的 IoT 设备也能直接使用该解决方案。整体而言，该工作为 IoT 场景下的分布式、去中心化访问控制提供了一种基于标准化凭证的可行路径，兼顾了安全性、互操作性和轻量级要求。论文的主要贡献包括：基于 VC 的访问权限编码、与 OAuth 2.0 的映射协议、隐私保护的持有证明、有效的撤销机制，以及针对受限设备的实现与验证。适合对 IoT 安全、去中心化身份、授权协议设计感兴趣的研究人员和工程师阅读。

本文提出一种名为China RealDID的架构，旨在解决可验证凭证（VC）和去中心化标识符（DID）在法律锚定上的缺失问题。传统VC/DID支持选择性披露，但缺乏可信身份根，验证者无法确认持有者身份是否真实。国家身份系统虽能提供基于生物识别的验证，但存在三个代价：验证者需收集完整个人信息、基础设施集中于单一API、国家可观察每笔交易。为此，作者提出三层架构：CTID（中心化法律身份）、RealDID（开放许可链上的去中心化锚点）以及基于SD-JWT的VC选择性披露。核心机制是内容盲的政府中继：国家认证参与者并签署每个凭证，但无法读取由发行者加密给持有者公钥的负载。论文评估了五类对手和六个安全目标，描述了VC生命周期、三签名链、开放模板注册表，并讨论了元数据层面的隐私限制，包括中继处的凭证图和单一DID复用导致的展示链接性。该设计形成不对称、国家对界的信任模型：国家无法冒充或读取内容，用户无法伪造身份或逃避元数据观察。最后，论文分析了与中国个人信息保护法和欧盟GDPR的一致性，特别指出不可变注册表与擦除权之间的张力，并通过与新加坡和香港的跨境部署讨论普适性。本工作对于设计兼顾监管要求与用户隐私的身份基础设施具有参考价值。

该论文提出了一种名为πCreds（Privately Inferred Credentials）的新型去中心化可验证凭证系统。现有系统基于零知识证明，复杂且局限于结构化数据上的谓词，实际部署有限。πCreds创新性地利用可信的LLM推理，在认证数据上生成隐私保护、兼容遗留系统的凭证。LLM对非结构化数据的语义推理能力大幅扩展了可验证声明的范围，例如可基于健康记录、金融交易或邮件内容生成凭证。然而，引入LLM也带来了新的应用层威胁：作者形式化了两个问题——源受限对抗样本（SCAE）问题，攻击者操纵认证数据以获取误导性凭证；以及认证隐蔽谓词投毒（ACPP）问题，通过对抗性模型选择泄露用户隐私。论文表征了πCreds在用户数据上的应用，以及一类新型的专有软件凭证，该凭证在不泄露源代码的情况下证明服务属性。原型系统支持从实时金融、健康、邮件和代码源签发凭证，并在真实金融数据上对产品专业凭证进行了SCAE和ACPP威胁的实证研究。实验表明，πCreds在扩展凭证能力的同时，需要应对LLM带来的新安全挑战。