访问控制对象的同步能力（共识数）：AllowList与DenyList的情形
The Synchronization Power (Consensus Number) of Access-Control Objects: The Case of AllowList and DenyList
AI总结：
本文在Herlihy共识层级下分析AllowList与DenyList对象的同步能力，证明二者同步属性不同，并应用于电子投票、密钥管理和匿名转账系统。
摘要：
本文在Herlihy共识层级提供的视角下，研究了AllowList和DenyList对象的同步能力。它将AllowList和DenyList指定为分布式对象，并表明虽然它们都可以被视为更一般对象类型的特化，但它们在本质上具有不同的同步属性。虽然AllowList对象不要求参与进程之间的同步，但DenyList对象要求进程在特定进程集合上达成共识。这些结果随后被应用于使用AllowList和DenyList对象的匿名性保护系统的分析。首先，提出了一种基于盲签名的电子投票方案。然后，利用DenyList和AllowList对象来确定特定去中心化密钥管理系统的共识数。最后，研究了使用AllowList和DenyList对象关联的匿名货币转账协议。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
