Anonymous credentials (ACs) are a crucial cryptographic tool for privacy-preserving authentication in decentralized networks, allowing holders to prove eligibility without revealing their identity. However, a major limitation of standard ACs is the disclosure of the issuer's identity, which can leak sensitive contextual information about the holder. Issuer-hiding ACs address this by making a credential's origin indistinguishable among a set of approved issuers. Despite this advancement, existing solutions suffer from practical limitations that hinder their deployment in decentralized environments: unflexible credential models that restrict issuer and holder autonomy, flawed revocation mechanisms that compromise security, and weak attribute hiding that fails to meet data minimization principles. This paper introduces a new scheme called IRAC to overcome these challenges. We propose a flexible credential model that employs vector commitments with a padding strategy to unify credentials from heterogeneous issuers, enabling privacy-preserving authentication without enforcing a global static attribute set or verifier-defined policies. Furthermore, we design a secure decentralized revocation mechanism where holders prove non-revocation by demonstrating their credential's hash lies within a gap in the issuer's sorted revocation list, effectively decoupling revocation checks from verifier policies while maintaining issuer anonymity. IRAC also strengthens attribute hiding by utilizing zk-SNARKs and vector commitments, allowing holders to prove statements about their attributes without disclosing the attributes themselves or the credential structure. Security analysis and performance evaluations demonstrate its practical feasibility for decentralized networks, where presenting a credential can be finished in 1s.
翻译:匿名凭证(ACs)是去中心化网络中实现隐私保护认证的关键密码学工具,它允许持有者在不泄露身份的情况下证明其资格。然而,标准ACs的一个主要局限在于会披露颁发者的身份,这可能泄露有关持有者的敏感上下文信息。颁发者隐藏的ACs通过使凭证的来源在一组已批准的颁发者中不可区分,从而解决了这一问题。尽管取得了这一进展,现有解决方案仍存在实际限制,阻碍了其在去中心化环境中的部署:不灵活的凭证模型限制了颁发者和持有者的自主权,存在缺陷的撤销机制损害了安全性,以及薄弱的属性隐藏无法满足数据最小化原则。本文引入了一种名为IRAC的新方案来克服这些挑战。我们提出了一种灵活的凭证模型,该模型采用向量承诺结合填充策略来统一来自异构颁发者的凭证,从而在无需强制使用全局静态属性集或验证者定义策略的情况下实现隐私保护认证。此外,我们设计了一种安全的去中心化撤销机制,持有者通过证明其凭证的哈希值位于颁发者排序的撤销列表中的一个间隙内,来证明其未被撤销,从而有效地将撤销检查与验证者策略解耦,同时保持颁发者匿名性。IRAC还通过利用zk-SNARKs和向量承诺来加强属性隐藏,允许持有者在不披露属性本身或凭证结构的情况下,证明关于其属性的陈述。安全性分析和性能评估证明了其在去中心化网络中的实际可行性,其中呈现凭证的操作可在1秒内完成。