概念框架

本节概述了本规范描述的状态列表机制所使用的核心概念。在最基本的层面上，所有由发行者发布的可验证凭证的状态信息以列表项的形式表示。每个发行者管理其发布的所有可验证凭证的列表。每个可验证凭证与其列表中的一个项相关联。当单个位指定状态（例如“已撤销”或“已暂停”）时，该状态在位被设置为`1`时为真，在未设置为`0`时为假。

使用位串的一个好处是它是一种高度可压缩的数据格式，因为在平均情况下，大量凭证将保持未撤销状态。这将确保长段的位值相同，从而可以使用诸如GZIP [[RFC1952]]之类的运行长度压缩技术进行高度压缩。默认状态列表大小为131,072个条目，相当于16 KB的单个位值。当只有少数可验证凭证被撤销时，GZIP将位串压缩到几百字节。

使用位串的另一个好处是它允许大量可验证凭证状态放置在同一个列表中。本规范使用最小列表长度为131,072。这种大小在平均情况下确保了足够的群体隐私。如果需要更好的群体隐私，可以将位串设置得更大。

与特定可验证凭证相关的状态信息是关于可验证凭证本身的，可能不适用于任何基础或支持的凭证，例如教育学位。例如，在这种教育学位的情况下，可能会因为用于创建其数字签名的机制被破坏而撤销可验证凭证，而支持的教育学位仍然有效。

术语

本文档中使用的术语在[[[VC-DATA-MODEL-2.0]]]规范的 术语部分中定义。

撤销位串长度

本文档规定了最小撤销位串长度为131,072位，或16KB未压缩。这足以在颁发的可验证凭证数量足够大的情况下，为持有者提供足够的群体隐私。然而，如果颁发的可验证凭证数量较少，由于位串中分配的槽位较少，关联个人的能力会增加。例如，将此信息与地理请求来源相关联，也可能有助于关联从同一地理区域接收凭证的个人。

不必要的关联

状态列表条目中定义的多个全局标识符（参见第[[[#bitstringstatuslistentry]]]节）可以被验证者用来关联主体。这些值可以通过`id`、`statusListIndex`和`statusListCredential`等属性表达。

在某些情况下，例如在展示包含全局标识符（如驾驶证号码）的可验证凭证时，为状态列表信息添加一个或多个全局标识符不会增加关联危害，因为只需要一个全局唯一标识符即可进行关联。

当在使用选择性披露或不可关联披露的展示中使用全局标识符时，它们可能会违反隐私预期。建议发行者在预期以不需要关联的方式披露特定可验证凭证时，使状态信息可以选择性披露/隐藏，例如在证明某人超过某个年龄时。验证者可以在需要了解凭证当前状态的情况下要求披露状态信息，而持有者可以选择同意或拒绝在特定交易中披露该信息。在所有情况下，建议发行者和验证者避免使用全局标识符，以防止关联，除非特定交换需要或要求这样做。

有关其他类型潜在关联的信息，建议读者研究[[[VC-DATA-MODEL-2.0]]]规范中的隐私注意事项部分，特别是以下子部分： 基于标识符的关联、 基于签名的关联、 基于长期标识符的关联和 基于元数据的关联。

验证者缓存

验证者可以通过缓存从远程服务器获取的状态列表来提高持有者的隐私性。通过本地缓存内容，可以从基于验证者的状态列表访问模式中推断出更少的可关联信息。

内容分发网络

发行者使用内容分发网络可以通过减少或消除对状态列表的请求来提高持有者的隐私性。通常，对撤销列表的请求将由边缘设备提供服务，从而更快并减少服务器负载，同时掩盖验证者和持有者的身份，使其不被发行者发现。

诱饵值

发行者在状态列表中使用诱饵值已被探索为一种增加主体隐私的机制。虽然使用诱饵值的算法超出了本规范的范围，但建议实现者注意，如果诱饵值未能准确模拟与状态列表相关的人群，则可能会损害隐私。如果诱饵值可以与真实值区分开来，则集合中提供的匿名性将因可检测的诱饵值数量而减少。最具隐私保护的状态列表是从未更改的状态列表，因为如果没有可观察的事件发生，就无法确定人群的行为。

鉴于为人群统计模拟状态条目是多么困难，并且由于可验证凭证服务于广泛的用例，无法给出一般建议，建议实现者随机分配状态列表条目索引，并尽量减少——最好是永远不要——更改状态条目的频率。当状态列表分配不会触发任何可观察的更改时，状态列表条目的分配最能保护隐私。

恶意发行者和验证者

通常，本规范提供的群体隐私保护可以被恶意发行者和验证者规避。只有当发行者和验证者有意避免跟踪或共享特定凭证的展示时，其隐私优势才能实现。

恶意验证者可能通过与恶意发行者共享展示的凭证信息来故意攻击群体隐私。这种勾结通常通过发行者和验证者之间的安全通信渠道进行，因此难以检测。

恶意发行者可能通过为每个颁发的凭证创建唯一的状态列表来故意攻击群体隐私，以建立一对一的映射，从而跟踪验证者何时处理每个映射的凭证。同样，他们可以通过为每个颁发的凭证使用不同的加密密钥并将其与给定状态列表跟踪来建立一对一的映射。

这种勾结可以通过服务于多个持有者的持有者软件（例如运行在服务器上的持有者应用程序）检测到，例如通过一个选择加入的过程，发现某些可验证凭证中使用的全局标识符未被其他凭证充分共享。 持有者可以在展示包含某些唯一全局标识符的可验证凭证时收到警告。此类选择加入服务可能会带来一些额外的隐私问题；是否通过持有者软件的潜在暴露来换取可能的全局标识符关联的意识，只能由此类系统的用户评估。

监控状态列表

一旦验证者知道与特定持有者或主体相关联的状态列表和条目索引，该验证者就可以在状态列表继续更新的情况下看到该状态条目的更新。这对需要了解特定可验证凭证状态何时发生变化的验证者很有用，而无需直接向发行者询问特定可验证凭证的状态信息，或者在无法与持有者交互以获取最新状态信息时使用。然而，如果验证者能够对可验证凭证的状态进行近乎实时的检查，这一功能也可能对持有者和/或主体造成隐私侵犯。

发行者可以通过在相对较短的时间内吊销并重新颁发相同的可验证凭证，为持有者提供一定程度的隐私保护。例如，发行者可以每三个月自动重新颁发一次可验证凭证，并在重新颁发时分配一个新的状态条目索引，以打破对可验证凭证状态变化的长期监控。

状态消息的关联

本规范提供了一种机制，可以为状态列表中的特定条目提供多个状态消息。虽然此机制可以为状态列表中的特定条目提供更详细的信息，但这些信息可能提供进一步的关联数据。

例如，如果每个状态消息都与特定流程中的一个步骤相关联，或者提供有关凭证为何被吊销或暂停的更详细信息，那么观察列表变化的攻击者可能能够关联列表中实体群体的信息，从而导致隐私侵犯。了解一个群体如何在业务流程中进展，或者群体中有多少百分比可能与某种状态相关联，可以为攻击者提供额外的信息。基于此类信息，网络钓鱼操作可以预测业务流程的下一步，然后抢先联系当前状态已知的实体。然后，基于这些信息，他们可以尝试通过从状态列表中随时间收集的数据，从目标中钓取更有价值的信息。

因此，建议发行者评估以公开方式发布有关特定实体或群体的详细状态信息的潜在影响。

状态消息的更改

当状态列表使用状态消息功能时，发行者可以随着时间的推移增加与其颁发的可验证凭证相关联的消息类型。

此功能可能会造成隐私侵犯，因为主体或持有者可能会与原始可验证凭证颁发时不存在的额外状态信息相关联。例如，初始状态消息可能传达“延迟”和“取消”，但发行者可能会增加额外的状态消息以传达“因未付款延迟”和“因非法活动取消”。除非有代表他们运行的监控软件警告他们发行者打算公开有关其活动的额外信息，否则主体或持有者无法察觉到这些更改。

持有者软件可以为持有者提供功能，在使用与状态消息相关联的可验证凭证时警告他们持有者和/或主体信息暴露的程度，并在信息暴露程度发生变化时发出警告。

位串编码

实施者必须特别注意位串的编码和解码方式。未能正确处理可能导致检查错误的位串索引，从而误解其当前状态（例如，将吊销状态误认为未吊销状态）。如第 节所述，位串的编码方式是第一个（第零个）索引指向位串数组的最左侧位。下图展示了未压缩位串的正确布局。

例如，如果位串的大小为131,072位（16KB），第一个索引为0，最后一个索引为131,071。

有效期

发行者可能选择在状态列表中表达的 有效期取决于多种因素，包括：

• 状态值更改的频率如何？实时？每日？每周？每月？其他？
• 是否存在强制发行者通知验证者某可验证凭证状态已更改的监管要求？
• 在多长时间后，发行者未通知验证者状态更改会导致声誉受损？
• 验证者是否期望不会接受状态列表有效期过长的可验证凭证？
• 状态列表的短有效期是否会对发行者或验证者造成显著的网络带宽或计算负担？这种负担是否可以通过更长的有效期来缓解？

由于这些因素因生态系统和凭证类型而异，因此没有建议所有状态列表的最小或最大有效期。发行者需要考虑其可验证凭证类型的各种特定因素，并选择适合其生态系统的有效期。