This article studies the synchronization power of AllowList and DenyList objects under the lens provided by Herlihy's consensus hierarchy. It specifies AllowList and DenyList as distributed objects and shows that while they can both be seen as specializations of a more general object type, they inherently have different synchronization properties. While the AllowList object does not require synchronization between participating processes, a DenyList object requires processes to reach consensus on a specific set of processes. These results are then applied to the analysis of anonymity-preserving systems that use AllowList and DenyList objects. First, a blind-signature-based e-voting is presented. Then DenyList and AllowList objects are used to determine the consensus number of a specific decentralized key management system. Finally, an anonymous money transfer protocol using the association of AllowList and DenyList objects is studied.

翻译：本文在Herlihy共识层级框架下，研究了AllowList与DenyList对象的同步能力。将AllowList和DenyList定义为分布式对象后，本文表明：尽管两者均可视为更通用对象类型的特例，但它们本质上具有不同的同步特性。AllowList对象无需在参与进程间进行同步，而DenyList对象要求进程针对特定进程集合达成共识。这些结果随后被应用于使用AllowList与DenyList对象的匿名保护系统分析：首先，提出了一种基于盲签名的电子投票方案；其次，利用DenyList与AllowList对象确定特定去中心化密钥管理系统的共识数；最后，研究了一种结合AllowList与DenyList对象的匿名资金转账协议。