本文研究电子投票协议中两个关键安全属性之间的相互作用：收据自由性（receipt-freeness，即选民无法向第三方证明自己如何投票，以防止选票买卖或胁迫）和按意愿投票可验证性（cast-as-intended verifiability，即选民能够验证自己的选票确实按照其意愿被投出）。此前这两种属性通常被分开研究，且收据自由性往往通过程序性手段（如投票亭物理隔离）而非密码学保障。本文首先证明，在非交互式投票场景下，除非存在可信权威，否则不可能同时实现收据自由和按意愿投票可验证性，给出了不可能性结果。然后，作者展示了如果存在可信的选民注册机构，则可以通过扩展标准的收据自由性安全定义到交互式投票和腐败设置，设计出同时满足两个属性的协议。最后，他们基于原型实现讨论了协议的性能。该工作为电子投票系统的设计提供了理论边界和可行方向，对隐私保护和可验证性要求兼顾的投票系统构建具有指导意义。