40、投票中的匿名性与可验证性：理解（非）关联性

投票中的匿名性与可验证性：理解（非）关联性

1. 统一（非）关联性模型

在投票系统里，匿名性和可验证性是两个关键要素。为了更好地理解它们，我们将个体相关和集合相关的模型进行了统一。

1.1 模型概述

这个统一模型以（非）关联性的视角，直观地涵盖了可验证性（期望的关联性）和匿名性（期望的非关联性）。具体来说，由于选举结果和所有选票集合之间的关联是公开的，可验证性体现为所有选民集合与选举结果之间的关联性；而对于匿名性，我们要求选民与其偏好的候选人之间不存在关联。

1.2 模型优势

该模型的核心优势在于，它清晰地区分了个体相关模型中选民与候选人的非关联性，以及集合相关视角下所有选民与选举结果的关联性，从而解释了投票系统中匿名性和可验证性如何相互结合。尽管匿名性和可验证性之间存在明显的权衡，但在这个（非）关联性模型中，它们分别通过个体相关和集合相关场景中的同一关联来表达，这凸显了两者之间的紧密联系。

1.3 相关概念明确

此模型还能够明确地定义诸如“按意愿投票”“按投票记录计票”“按投票记录记录”和“按记录计票”等概念。同时，为了准确界定“按意愿投票”这一术语（此前该术语有多种解释），我们引入了“我投的票”和“包含正确选票”这两个概念。

2. 基于（不可）区分性的（非）关联性语义

2.1 区分性的引入

在投票系统中，某些事件的（非）关联性意味着什么呢？我们认为，区分性是为非关联性属性提供语义的自然概念。为了解释这一点，我们需要引入投票协议和协议运行的概念。投票协议规定了各参与方应交换的消息类型，而协议运行则是协议在特定选举中的实例