零知识证明 - Computerphile

1. 声音
   观察依据

   说话人称，单轮实验中作弊的概率为25%，当实验重复进行时，该概率下降至12.5%。

25\%, 12.5\%

色盲证明者在笔协议的一轮或两轮中，成功猜出笔是否被交换的概率。

介于0与1之间的实数值概率。

1. 声音
   观察依据

   说话人称，他们拥有一副标准的扑克牌，共52张。

2. 图示
   观察依据

   一副标准红背扑克牌摆在桌面上。

52

第二个示例中所用标准扑克牌的总张数。

正整数。

1. 声音
   观察依据

   说话人称，他将恰好展示26张实际为黑色的牌。

2. 图示
   观察依据

   一组黑色花色的牌（黑桃和梅花）铺展在纸上。

26

从牌堆剩余的51张牌中揭示出的黑色牌数量。

正整数。

1. 声音
   观察依据

   说话人表示，他将写一个一和一个零，来代表自己对两支候选笔的投票。

2. 图示
   观察依据

   纸上蓝色笔附近可见手写的1，红色笔附近可见手写的0。

1, 0

表示支持或不支持某位候选人的二进制投票值。

用作加密选票条目的整数。

1. 声音
   观察依据

   说话人指出，第一个零知识证明是：你信封内各项之和等于一。

$\sum v_i$

一位选民信封中加密投票值的总和。

对应于各位候选人的加密整数值。

1. 声音
   观察依据

   说话人举了一个作弊例子：在一个信封中放入负一，在另一个信封中放入正二。

-1, +2

虽满足总和为一条件、却违反有效投票规则的非二进制加密值。

超出允许二进制投票集合的整数值。

1. 声音
   观察依据

   演讲者称，关键在于选票是0还是1。

0, 1

单张加密二进制选票的可能取值。

对应的式子为：\{0,1\}

1. 声音
   观察依据

   演讲者指出选票是二进制的，且其总和为一。

1. “总和为一”这一说法是口头表述，未配以公式展示；尚不明确此处是指一张选票恰好选择一个选项，还是指二进制选择的一种归一化表示。

$\text{sum}=1$

用于表达选票内容为二进制／总权重为一的约束条件。

口头表述的约束条件；未展示明确的代数记号。

1. 声音
   观察依据

   主讲人指出，零知识证明是一类协议，它能让证明者在不泄露秘密的前提下，证明关于该秘密的某个命题为真。

2. 字幕依据
   观察依据

   屏幕标题文字显示 <零知识证明> 和 <Computerphile>，出现在约44.0-46.0秒处。

零知识证明被呈现为证明者与验证者之间的一种交互式协议：证明者在不暴露秘密本身的前提下，证实关于该秘密的某个命题为真。本片段重点在于：证明者知晓某个秘密，或知晓该秘密的某种性质，但并不透露该秘密。

1. 存在一个证明者和一个验证者。

2. 证明者掌握某个秘密或私有信息。

3. 目标是让验证者确信关于该秘密的某个命题成立。

4. 秘密本身绝不能被泄露。

1. 声音
   观察依据

   主讲人解释道，许多实用技术需要用户数据，而这些数据可能属于隐私信息或敏感信息；隐私增强技术旨在让用户在享受技术便利的同时，不必交出自己的数据。

2. 声音
   观察依据

   他将零知识证明作为隐私增强技术的一个具体示例加以介绍。

隐私增强技术被描述为一类工具，使人们在使用现代服务的同时，得以保护其敏感数据。零知识证明则被引入为这一更广泛类别中的一个具体实例。

1. 该场景涉及一些通常需要个人数据的实用技术。

2. 这些数据可能是私密的或敏感的。

3. 期望达成的目标是在继续使用该技术的同时，依然保障隐私。

1. 声音
   观察依据

   主讲人提出一个直观的游戏：用两支笔来解释零知识证明。

2. 声音
   观察依据

   他指出，验证者患有色盲，无法区分红色与蓝色，而证明者则能区分二者。

3. 图示
   观察依据

   展示两支实体笔；在正常色觉视角下，它们分别呈现红色和蓝色。

4. 字幕依据
   观察依据

   绿色叠加文字显示“<红/蓝色盲模拟>”，自80.0秒起持续出现。

视频通过两支实体笔（一支红色、一支蓝色）进行实物演示。证明者知道哪支是红色、哪支是蓝色，而验证者被建模为色盲，因此无法仅凭视觉区分二者。任务是证明这两支笔确实可区分，却不透露哪支是红色、哪支是蓝色。

1. 此处正在比较的对象恰好有两个，即两支笔。

2. 证明者能够区分这两个对象。

3. 验证者无法直接区分它们。

4. 该证明过程不得泄露任一物体的身份。

1. 零知识证明的定义

1. 声音
   观察依据

   证明者称，他将随机顺序递出两支笔，要求验证者将它们藏于背后，并以随机方式决定是否交换位置。

2. 声音
   观察依据

   验证者归还两支笔后，证明者宣布它们是否被交换过。

3. 动画
   观察依据

   在色盲模拟中，这两支笔对观察者而言外观无法区分，这与所述前提一致：验证者无法分辨红色与蓝色。

4. 图示
   观察依据

   验证者将两支笔实际藏于背后，随后再次出示。

在一轮中，证明者以随机顺序递出两支笔；验证者秘密选择保持原序或在背后交换两支笔，然后再次出示；证明者必须说明是否发生了交换。这构成了一项具体的交互式检验，用以判断证明者能否真正区分两支笔，同时又不向验证者透露每支笔的颜色身份。

1. 初始递出顺序是随机的。

2. 验证者是否交换的决定是随机的。

3. 证明者观察返还后的排列，并必须回答是否发生了交换。

4. 仅凭该回答，验证者无法获知颜色身份。

1. 两支笔的零知识类比设定

1. 声音
   观察依据

   讲述者指出，仅凭一轮成功，验证者只会‘半信半疑’，因为证明者可能只是随机猜测而已。

2. 声音
   观察依据

   他明确指出，猜中正确答案的概率为50%。

单次正确回答属于较弱的证据，因为一个无法真正区分两支笔的作弊证明者，在一轮中仍以$1/2$的概率猜对。因此，仅进行一轮并不能有力地建立信任；需要重复多轮，以降低偶然成功的概率。

1. 验证者的交换决定是随机的，且两种选择的可能性相等。

2. 证明者可能在作弊，实际上并不具备区分能力。

3. 目前仅完成了一轮。

1. 一次笔交换协议的轮次

1. 声音
   观察依据

   说话人解释道，重复进行笔交换实验可降低作弊概率，这正是零知识证明背后的核心思想。

零知识证明允许证明者在不泄露任何额外信息的前提下，使验证者确信某个命题为真。视频通过一支笔的颜色识别游戏来阐释这一概念：证明者若能在多轮实验中持续正确识别出交换操作，则其纯粹靠运气猜对的概率将呈指数级下降。

1. 证明者必须掌握某种秘密能力（例如，区分颜色的能力）。

2. 验证者控制随机化过程（例如，在背后交换两支笔）。

3. 该协议被重复执行多次，以降低可靠性错误概率。

1. 声音
   观察依据

   主讲人通过展示牌组中其余全部26张黑牌，来证明某张牌是红色的，同时不暴露其点数。

2. 图示
   观察依据

   主讲人手持一张红背牌，随后将一叠黑花色牌摊开在桌面上。

为证明从一副52张牌的牌组中随机抽取的一张牌为红色，且不泄露其具体点数或花色，证明者向验证者展示其余51张牌。若其中恰好有26张为黑色牌（即梅花和黑桃），则所隐藏的那张牌必为红色。此方法仅揭示颜色属性，满足零知识要求。

1. 该牌组中恰好包含26张红牌和26张黑牌。

2. 目标牌被均匀随机抽取。

3. 证明者揭示其余51张牌的身份。

1. 通过重复实验理解零知识证明

1. 声音
   观察依据

   主讲人将第一个准则定义为正确性：如果双方都诚实，一切都会顺利进行。

正确性要求：若证明者与验证者均严格遵循协议诚实执行，则验证者总会接受该证明，并确信所证命题为真。

1. 证明者与验证者均依据协议规则诚实行动。

1. 声音
   观察依据

   主讲人将可靠性定义为：若证明者不知晓该秘密，则无法证明该命题。

可靠性确保：不具备秘密知识的恶意证明者无法成功说服验证者相信该命题。在彩笔示例中，色盲者将无法持续正确猜出交换操作。

1. 证明者缺乏使该命题成立所必需的秘密信息。

1. 声音
   观察依据

   主讲人将第三个特性定义为零知识：在完成协议交互后，验证者所获知识仅限于该命题本身。

零知识性质要求：交互过程所揭示的信息不得超过所证命题的有效性本身。例如，在纸牌示例中，验证者仅得知该牌为红色，却无法获知其点数或具体身份。

1. 验证者在交互过程中所观察到的一切，均可在不接触证明者秘密的前提下被模拟出来。

1. 声音
   观察依据

   说话人将电子投票引为一个极佳示例，说明如何利用零知识证明使电子投票顺利运行。

该片段将电子投票作为零知识证明的一个实际应用场景：在确保选票有效性的同时，保护选票的隐私性。

1. 存在多位候选人。

2. 选票在汇总前先进行加密。

3. 必须在不泄露每张选票内容的前提下验证其有效性。

1. 声音
   观察依据

   演讲者指出本次选举有两位候选人，分别用两支笔表示，并说明自己想投票给右侧的那支笔。

2. 图示
   观察依据

   桌上摆放着两支笔，一支蓝色、一支红色，纸上手写着1和0标记。

在实物演示中，每位候选人对应一个数值型选票条目：1表示投该候选人一票，0表示不投该候选人。

1. 仅考虑恰好两位候选人。

2. 每位候选人获得一个选票数值。

3. 预期的投票对象恰好为一位候选人。

1. 电子投票作为零知识证明的一种应用

1. 声音
   观察依据

   主讲人指出，零知识证明允许证明者在不泄露该秘密本身的前提下，证明关于某个秘密的命题。

证明者可在不泄露秘密本身的前提下，使验证者确信关于该秘密的某个命题成立。

1. 存在一个证明者和一个验证者。

2. 证明者掌握与该命题相关的某个秘密或私有信息。

针对本片段所介绍的这类协议。

1. 声音
   观察依据

   说话者指出，如果证明者实际上并不知道哪支笔是哪支，那么他猜对答案的概率为50%。

如果证明者无法区分这两支笔，那么在协议的一轮中，仅凭运气答对的概率为$1/2$。

1. 验证者在“交换”与“不交换”之间均匀随机地做出选择。

2. 证明者实际上没有任何可用于区分的信息。

3. 仅考虑一轮。

在验证者均匀随机选择的前提下，两支笔协议的单轮情形。

1. 声音
   观察依据

   主讲人指出，重复该实验可将作弊概率降低至12.5%，以此类推。

重复执行具有独立随机挑战的交互式证明协议，会使不诚实证明者成功的概率呈指数级下降。

1. 证明者事先并不知晓挑战内容。

2. 每一轮的挑战均与之前各轮相互独立。

对于所有轮次 n，成功概率均被限定在 ($1/2$)^n 以内。

1. 声音
   观察依据

   主讲人指出，本次选举的核心在于恰好为一名候选人投票，既不能投给两名候选人，也不能弃权。

在本例演示的选举中，一张有效选票必须恰好选择一名候选人。

1. 示例中有两名候选人。

2. 每名候选人各收到一个选票值。

对每位选民而言，其提交的选票必须恰好对应一位被选中的候选人。

1. 声音
   观察依据

   演讲者举出反例：在一个信封中放入负一，在另一个信封中放入正二，指出它们的和仍为一，但这种情况不应被允许。

仅要求加密选票数值之和等于1是不够的，因为非二进制数值也可能满足同一等式。

1. 选票条目为整数。

2. 仅强制执行求和条件。

存在一对数值，例如 -1 和 +2，其和为1，但它们并非有效的二进制投票。

1. 声音
   观察依据

   说话人说：‘而这缓解了我们在朴素电子投票中可能遇到的三个问题。’

1. 这三个问题源自先前的上下文，本片段并未逐一列出。

加入第三个零知识证明可缓解与朴素电子投票相关的三个问题。

1. 视频此前描述的投票场景在此适用。

2. 该证明确立了选民知晓加密选票内容这一事实。

适用于本讨论中的电子投票场景。

1. 声音
   观察依据

   说话人指出，无法对每一张单独的选票进行解密，而只能在所有选票汇总完毕后进行一次解密。

1. 本片段未命名或形式化地说明具体的密码学构造。

单个加密选票无法单独解密；只有在所有选票完成聚合后，才能进行解密。

1. 选票以加密的“信封”形式表示。

2. 该协议遵循演讲者所描述的聚合规则。

针对所述计票过程中的所有选票。

1. 声音
   观察依据

   演讲者指出，无法追溯某位投票人投给了哪个选项；唯一可知的事实是：该投票为二元投票、其值之和为一，且该值对投票人本人是已知的。

1. 该片段未提供这一隐私性质的正式证明。

计票完成后，协议仅揭示每张选票有效且该值对投票人本人是已知的，但不揭示哪位投票人选择了哪个选项。

1. 强制实行仅对聚合结果解密的机制。

2. 有效性验证通过零知识层完成。

针对所述投票协议最终公布的计票结果。

1. 声音
   观察依据

   演讲者指出，投票的二元性即为公开陈述，而投票内容则是秘密，这正符合零知识证明的定义。

在投票示例中，证明选票为二元值、同时隐藏实际的$0/1$内容，正是关于秘密作出断言却不泄露该秘密的一个实例。

1. 选票内容被视为秘密见证。

2. 二元有效性条件被视为公开陈述。

针对本片段中讨论的投票场景。

1. 声音
   观察依据

   说话者引入“笔的游戏”，作为一种易于理解零知识证明背后直觉的简单方式。

2. 声音
   观察依据

   他完整叙述了整个流程：随机递出两支笔，藏到背后，可选地进行交换，再将笔交还；证明者猜测是否发生了交换；随后指出仅凭运气猜对的概率为50%。

3. 动画
   观察依据

   色盲模拟以直观方式支持了这一前提：验证者无法通过颜色区分这两支笔。

1. 公式

   $$$$
   解释

   从两个对象出发：证明者能区分它们，但验证者不能。

   步骤依据

   由说话者直接陈述，并用红/蓝笔进行图示。

   视频直接表达
2. 公式

   $$$$
   解释

   让验证者在收到物品后，随机决定是否交换它们。

   步骤依据

   这是音频中描述的协议规则。

   视频直接表达
3. 公式

   $$$$
   解释

   要求证明者宣布是否发生了交换。

   步骤依据

   这会产生一个可验证的是/否回答，且无需指明颜色。

   视频直接表达
4. 公式

   $$P(\text{correct guess in one round}) = \frac{1}{2}$$
   解释

   如果证明者在作弊，单次答对可能纯属运气，其概率为二分之一。

   步骤依据

   说话者明确将其表述为猜中正确答案的概率为50%。

   视频直接表达
5. 公式

   $$$$
   解释

   因此，单轮成功仅能带来部分信任，从而促使进行多轮重复。

   步骤依据

   直接源自说话者的解释：验证者在单轮之后实际上并不确信。

   视频直接表达

笔游戏说明，零知识风格的证明需要反复交互，因为单轮可能凭概率$1/2$蒙混过关。

1. 声音
   观察依据

   主讲人最初计算出作弊概率为25%，重复后降为12.5%。

1. 公式

   $$P(\text{guess correct in 1 round}) = 0.5$$
   解释

   一位色盲证明者猜对钢笔是否被交换的概率为50%。

   步骤依据

   验证者以均匀随机方式执行二元选择（即是否交换钢笔）。

   依据视频推导
2. 公式

   $$P(\text{guess correct in 2 rounds}) = 0.5 \times 0.5 = 0.25$$
   解释

   若要连续两次独立成功，其概率相乘。

   步骤依据

   验证者在各轮中所作的随机选择彼此独立。

   视频直接表达
3. 公式

   $$P(\text{guess correct in 3 rounds}) = 0.25 \times 0.5 = 0.125$$
   解释

   扩展至三轮后，作弊者的成功率为12.5%。

   步骤依据

   每增加一轮独立验证，成功率持续乘以0.5。

   视频直接表达

协议每增加一轮，可靠性错误减半。

1. 声音
   观察依据

   发言者认为，若剩余卡片中有26为黑色，则隐藏的卡片必为红色。

1. 公式

   $$|\text{Deck}| = 52, |\text{Black}| = 26, |\text{Red}| = 26$$
   解释

   一副标准扑克牌共52张，均分为黑色与红色花色。

   步骤依据

   经典扑克牌组的定义。

   视频直接表达
2. 公式

   $$|\text{Revealed Black}| = 26$$
   解释

   证明者恰好展示 26 张黑色卡片，来自剩余的 51。

   步骤依据

   协议演示中的明确操作。

   视频直接表达
3. 公式

   $$|\text{Hidden Red}| = |\text{Total Red}| - |\text{Revealed Red}| = 26 - 0 = 26$$
   解释

   由于在展示的26张黑牌中未出现红牌，因此全部26张红牌均未被计入，唯独隐藏的那张除外。

   步骤依据

   基于牌组划分的集合差运算。

   依据视频推导
4. 公式

   $$\text{Hidden Card} \in \text{Red}$$
   解释

   因此，唯一未揭示的那张牌必为红色。

   步骤依据

   鸽巢原理应用于剩余牌的数量。

   视频直接表达

揭示全部26张黑牌，逻辑上必然推出未见的那张牌是红色，且不暴露其点数。

1. 声音
   观察依据

   演讲者首先指出作弊的可能性，接着引入和为一的证明，然后给出 -1/+2 反例，最后补充二进制取值范围的证明。

1. 公式

   $$v_{\text{blue}}, v_{\text{red}}$$
   解释

   表示两位候选人对应的两个加密选票条目。

   步骤依据

   物理示例为每位候选人分配一个数值。

   视频直接表达
2. 公式

   $$v_{\text{blue}}+v_{\text{red}}=1$$
   解释

   强制要求选民恰好选择一位候选人。

   步骤依据

   这是视频片段中提出的第一个有效性条件。

   视频直接表达
3. 公式

   $$(-1)+(+2)=1$$
   解释

   说明仅靠求和条件无法排除无效选票。

   步骤依据

   主讲人明确给出了这一作弊示例。

   视频直接表达
4. 公式

   $$v_{\text{blue}},v_{\text{red}}\in\{0,1\}$$
   解释

   增加第二个条件，要求每个加密值均为二进制值。

   步骤依据

   这排除了1取负号、2取正号一类的攻击方式，同时保持了保密性。

   视频直接表达

一个安全的电子投票协议至少需要两个零知识验证：一个用于验证和为一，另一个用于验证取值属于二进制范围。

1. 声音
   观察依据

   主讲人从引入第三个零知识证明出发，逐步展开其在修正朴素电子投票方案中的作用，并进一步解释加密、聚合解密，以及陈述与秘密之间的区分。

1. 该片段从概念层面总结了协议，省略了底层加密机制与证明系统的形式化定义。

1. 公式

   $$$$
   解释

   从投票示例出发，识别出所需的额外证明：投票者必须证明自己知晓加密选票的内容。

   步骤依据

   主讲人直接将其表述为‘第三个零知识证明’。

   视频直接表达
2. 公式

   $$$$
   解释

   利用该证明来解决朴素电子投票方案的缺陷。

   步骤依据

   主讲人明确指出，它可缓解朴素电子投票方案的三大问题。

   视频直接表达
3. 公式

   $$$$
   解释

   将‘信封’理解为对选票内容的加密，而非纸质信封。

   步骤依据

   演讲者明确指出，这些是对内部内容的加密。

   视频直接表达
4. 公式

   $$$$
   解释

   限制解密方式，使得单张选票无法被单独打开；仅能在求和完成后对整体结果进行解密。

   步骤依据

   在回答采访者关于‘能否查看内部’的问题时，直接作出了这一说明。

   视频直接表达
5. 公式

   $$$$
   解释

   得出结论：最终输出无法将选民映射到其选择，但仍允许验证每张选票均为二元取值，且该取值为选民所知。

   步骤依据

   演讲者表示，无法还原出具体哪位人士投给了哪个选项，仅能获知选票的有效性与知识性。

   视频直接表达
6. 公式

   $$$$
   解释

   将公开声明识别为‘选票是二元的’，而秘密信息则是实际的投票内容，这正符合零知识证明的定义。

   步骤依据

   演讲者在主段落临近结尾处明确作出该陈述。

   视频直接表达

该片段呈现了一个概念链条：加密选票 + 仅对聚合结果解密 + 关于选票有效性的零知识证明，共同构成一种电子投票机制——既能验证选票正确性，又不泄露个人选择。

1. 声音
   观察依据

   说话者指出，该直观理解可通过一支红笔与一支蓝笔的游戏来把握。

2. 图示
   观察依据

   两支笔在说话者与另一人之间被实际传递操作。

3. 动画
   观察依据

   绿色标签的模拟使两支笔看起来无法区分，以此表示色觉障碍。

4. 声音
   观察依据

   第一轮以证明者声称两支笔未被调换而结束。

5. 声音
   观察依据

   第二轮开始，验证者再次将两支笔藏到自己背后。

1. 每一帧中确切的颜色分配部分被模拟叠加层和摄像角度所遮蔽。

2. 本片段未展示第二轮的最终结果。

证明两支笔可区分，尽管验证者患有色觉障碍，且不透露哪支是红色、哪支是蓝色。

1. 有两支笔，一支红色，一支蓝色。

2. 证明者能够区分颜色。

3. 验证者无法区分颜色。

4. 验证者将随机决定是否在自己背后调换两支笔。

在保持隐藏颜色分配的前提下，说服验证者相信两支笔是可区分的。

1. 公式

   $$$$
   解释

   将这两支笔以随机顺序交给验证者。

   步骤依据

   这是证明者陈述的第一个协议步骤。

   视频直接表达
2. 公式

   $$$$
   解释

   请验证者将这两支笔藏到背后，并以随机方式选择交换它们或保持原状。

   步骤依据

   这便形成了一个隐藏的二元选择，证明者必须识别出来。

   视频直接表达
3. 公式

   $$$$
   解释

   让验证者将这两支笔重新拿到可视范围内。

   步骤依据

   这使得证明者能够将返回后的排列与原始排列进行比较。

   视频直接表达
4. 公式

   $$$$
   解释

   证明者宣布这两支笔是否被交换过。

   步骤依据

   这一回应用于检验证明者的区分能力。

   视频直接表达
5. 公式

   $$$$
   解释

   经过一轮成功后，请注意验证者仍有理由怀疑，因为该答案可能只是碰巧猜对的。

   步骤依据

   讲话者明确指出，验证者仅‘某种程度上’相信他，原因在于存在50%的概率。

   视频直接表达
6. 公式

   $$$$
   解释

   开始新一轮以增强信心。

   步骤依据

   视频显示第二轮在第一轮解释结束后立即开始。

   视频直接表达

该片段演示了一轮完整且成功的验证过程，并开始第二轮；其明确的教学要点是：需要重复多次才能获得更强的可信度。

验证是交互式的：如果证明者在多轮中持续正确识别出交换操作，那么持续靠运气猜对的概率就会变得极小。该片段本身仅完整验证了第一轮，并给出了单轮猜测概率$1/2$。

1. 声音
   观察依据

   说话人描述了交换两支笔，并请色觉障碍者辨认是否发生了交换。

2. 图示
   观察依据

   将两支笔（一支红色、一支蓝色）举到镜头前；短暂应用色觉障碍模拟滤镜。

1. 由于摄像角度限制，背后交换笔的具体物理动作无法完全看清。

向验证者证明你能区分红色笔与蓝色笔，但又不透露哪支是红、哪支是蓝；前提是验证者可能有颜色识别障碍，或正在检验你的辨别能力。

1. 一支红色笔和一支蓝色笔。

2. 验证者随机决定是否在背后交换两支笔的位置。

以高置信度证明你知晓两种颜色的差异，同时完全不泄露实际颜色信息。

1. 公式

   $$\text{Verifier swaps pens with probability } 0.5$$
   解释

   验证者通过决定是否交换两支笔的位置来引入随机性。

   步骤依据

   标准交互式协议中的挑战生成。

   视频直接表达
2. 公式

   $$\text{Prover announces 'swapped' or 'not swapped'}$$
   解释

   证明者利用其秘密知识（辨色能力）来回应挑战。

   步骤依据

   零知识证明的响应阶段。

   视频直接表达
3. 公式

   $$\text{Repeat } n \text{ times to reduce error to } 2^{-n}$$
   解释

   多次重复可确保侥幸猜测者无法持续成功。

   步骤依据

   通过重复增强可靠性。

   视频直接表达

经过足够多次重复后，验证者在统计意义上确信证明者知晓颜色，却未获知哪支笔实际为红色或蓝色。

欺骗概率的统计上界随 n 增大而趋近于零。

1. 声音
   观察依据

   发言者抽取一张牌，并提议证明该牌为红色，但不透露其点数。

2. 图示
   观察依据

   发言者抽一张牌，面朝下放置，随后在桌上摊开若干黑牌。

1. 所选牌的具体点数始终未被揭示，这与协议目标一致。

给定一副含52张牌的随机抽选牌组，向验证者证明其中某张牌为红色，但不透露其花色或数值。

1. 一副标准的含52张牌的牌组，其中含26张红牌和26张黑牌。

2. 抽出一张牌，由证明者隐藏起来。

在完全保密该牌身份的前提下，展示这张隐藏牌的颜色属性。

1. 公式

   $$\text{Prover reveals the other 51 cards}$$
   解释

   证明者向验证者展示剩余整副牌。

   步骤依据

   为验证步骤提供证据。

   视频直接表达
2. 公式

   $$\text{Verifier counts 26 black cards among revealed}$$
   解释

   验证者检查所揭示的牌中恰好有一半属于黑色花色。

   步骤依据

   执行验证算法。

   视频直接表达
3. 公式

   $$\therefore \text{ Hidden card must be red}$$
   解释

   通过排除法，唯一可能留给那张未揭示牌的颜色是红色。

   步骤依据

   基于固定牌组构成的组合推理。

   依据视频推导

验证者接受该牌为红色的证明，且在此过程中未获得关于其点数或具体花色的任何信息。

所揭示的黑色牌数量等于整副牌中黑色牌总数减去零。

1. 声音
   观察依据

   说话人表示他想投票给右边的笔，写下数字一和零，把选票装进信封，并说明编号为一的选票是投给蓝色笔的。

2. 图示
   观察依据

   纸上在蓝色笔旁手写了一个1，在红色笔旁手写了一个0；随后将纸张对折并装入信封。

1. 口述的‘右侧的笔’与画面中蓝色笔的实际位置在所采样帧中并非完全对齐，但通过手写的1和0可清晰判断其意图映射关系。

对两支候选笔中的其中一支进行编码投票，并将其隐藏于信封中。

1. 两位候选人分别由一支蓝色笔和一支红色笔代表。

2. 投票者想要投票给蓝色笔。

生成一张仅代表一票的加密选票。

1. 公式

   $$v_{\text{blue}}=1$$
   解释

   为首选候选人写1。

   步骤依据

   说话者称‘一’表示他想投票给蓝色笔。

   视频直接表达
2. 公式

   $$v_{\text{red}}=0$$
   解释

   为非首选候选人写0。

   步骤依据

   说话者称‘零’表示他不想投票给这支笔。

   视频直接表达
3. 公式

   $$\text{fold \text{且} insert into envelope}$$
   解释

   将所写的数值藏入信封内。

   步骤依据

   说话者将把选票放入信封这一动作等同于加密。

   视频直接表达

该选票为（1，0），在信封内加密。

其和为1，且两个分量均为二进制数，因此该选票满足后文将介绍的两个有效性条件。

1. 声音
   观察依据

   第二位参与者询问是否必须写‘一’和‘零’，说话者予以确认，并指示他将它们写在那里。

2. 动画
   观察依据

   第二位参与者在纸上书写，并将纸放入信封，此时第一位说话者转过身去。

1. 采样帧中的手写数字字迹不够清晰，但对话确认其意图表示的数值是1和0。

证明每位投票人均独立提交一份加密的二进制选票。

1. 第一位投票人已演示过该流程。

2. 第二位投票人必须执行相同的操作。

创建第二份加密选票，且不向另一位投票人透露其内容。

1. 公式

   $$v'_{\text{blue}}, v'_{\text{red}}\in\{0,1\}$$
   解释

   第二位投票人为两位候选人分别写下数字一和零。

   步骤依据

   对话明确指出他必须写下数字一和零。

   视频直接表达
2. 公式

   $$\text{place ballot in envelope}$$
   解释

   第二位投票人将选票装入信封并密封。

   步骤依据

   讲话者指示他将选票放入其中，延续了加密的隐喻。

   视频直接表达

第二份加密选票以与第一份完全相同的格式生成。

该流程与第一个示例一致，并为后续多个加密选票的聚合提供支持。

1. 声音
   观察依据

   整个主段落解释了一种电子投票协议，该协议使用加密信封、聚合解密以及关于选票有效性与知识性的零知识证明。

2. 图示
   观察依据

   在17.520-19.520和36.520-37.520处，手部动作展示在桌面上操作白纸与笔，直观强化了信封／选票的隐喻。

1. 该片段并未提供密码系统的完整形式化规范，也未给出零知识关系的具体精确定义。

电子投票系统如何让选民提交一个秘密选择，同时又能证明该选择是有效的，且选民本人知晓该选择？

1. 选票被隐喻性地表示为信封。

2. 这些信封实际上是对选票内容的加密。

3. 所期望的公开声明是：该选票为二元值／其各项之和为一。

4. 秘密在于实际的选票内容，即0或1。

5. 解密仅允许在全部选票累加完毕之后进行。

解释零知识证明与加密技术如何在保障选票秘密性的同时支持验证。

1. 公式

   $$$$
   解释

   引入第三个零知识证明，用于证明证明者知晓被加密的选票内容。

   步骤依据

   由演讲者在视频片段开头直接陈述。

   视频直接表达
2. 公式

   $$$$
   解释

   指出该证明可缓解朴素电子投票所面临的三大问题。

   步骤依据

   明确的音频断言。

   视频直接表达
3. 公式

   $$$$
   解释

   明确说明此处的‘信封’指的是加密，而非字面意义上的物理容器。

   步骤依据

   发言者针对采访者的直接解释。

   视频直接表达
4. 公式

   $$$$
   解释

   解释单张选票无法被解密；仅在求和完成后，才能对整体结果进行解密。

   步骤依据

   发言者的直接解释。

   视频直接表达
5. 公式

   $$$$
   解释

   得出结论：该系统可在不泄露哪位选民选择了哪个选项的前提下，验证二值有效性及选民对内容的知晓性。

   步骤依据

   发言者对计票后仍可获知信息的总结。

   视频直接表达
6. 公式

   $$v \in \{0,1\}$$
   解释

   将隐藏的选票值表示为一个二进制秘密。

   步骤依据

   源自发言者所述：该秘密即选票为0或1。

   依据视频推导

该示例展示了一种投票协议：通过零知识证明验证加密选票的有效性与选民对内容的知晓性，而仅对聚合结果解密则防止恢复出每位选民的具体选择。

内部一致性检查：该片段反复对比公开可验证性（‘二值性’、‘知晓内容’）与实际选票值（0或1）的保密性。

1. 字幕依据
   观察依据

   黑屏，绿色终端风格文字显示<零知识证明>和<Computerphile>。

1. 绿色等宽字体文字

2. 黑色背景

1. 讲座画面从主讲人切换至标题卡。

2. 标题文字以类似终端的风格呈现。

1. 主题始终是零知识证明。

标题卡标志着在激发兴趣的开场之后，对该主题的正式引入。

1. 字幕依据
   观察依据

   绿色叠加文字显示<红/蓝色色觉障碍模拟>。

2. 动画
   观察依据

   画面转变为一种风格化的模拟效果，使得观众无法再清晰分辨两支笔的颜色是红色还是蓝色。

3. 图示
   观察依据

   相同的实物钢笔演示在改变后的视觉滤镜下继续进行。

1. 每支钢笔的真实颜色在滤镜处理的片段中并不总能被清晰识别。

1. 两支钢笔

2. 说话人

3. 叠加文字

4. 模拟色盘

1. 视觉颜色呈现从普通视角转变为模拟色觉障碍视角。

2. 钢笔在视觉上变得无法区分，或难以区分的程度大幅增加。

1. 物理对象始终是相同的两支钢笔。

2. 协议结构在视觉效果期间保持不变。

该动画将“验证者是色觉障碍者”这一口头前提付诸操作，使观众亲身体验类比中隐藏信息的条件。

1. 图示
   观察依据

   验证者收到两支笔，将其藏到自己背后，然后归还给证明者。

2. 声音
   观察依据

   证明者称他将随机顺序给出两支笔，并询问是否需要交换。

3. 声音
   观察依据

   归还之后，证明者声明两支笔未被交换。

1. 遮挡前后的手部确切位置部分位于镜头之外。

1. 两支笔

2. 验证者的手

3. 证明者

1. 两支笔从证明者移交给验证者。

2. 验证者将它们藏到自己背后。

3. 两支笔再次被呈现出来。

4. 证明者给出“交换”或“不交换”的回答。

1. 始终恰好有两支笔参与游戏。

2. 其目的是检验对隐藏二元选择的识别能力。

这一视觉序列将抽象的协议定义转化为具体的交互式实验。

1. 动画
   观察依据

   绿色文字叠加层“<红/蓝色盲模拟>”出现，视频同时应用滤镜，使红色与蓝色笔迹呈现相近的橙褐色调。

1. 红色笔

2. 蓝色笔

3. 文字叠加

4. 色彩滤镜效果

1. 原本分明的红色与蓝色逐渐变为难以区分的暖色调。

2. 叠加的文字明确标出模拟所处的状态。

1. 笔的物理位置和形状保持不变。

2. 说话人的手势和言语照常进行。

该视觉效果说明了为何色觉障碍者无法在笔的识别任务中充当可靠的证明者，从而将可靠性论证建立在感知局限的基础之上。

1. 图示
   观察依据

   特写镜头显示一扇扑克牌平铺在有横线的纸上，仅展示黑桃和梅花符号。

1. 扑克牌（黑桃／梅花）

2. 横格笔记本纸

3. 手指指向

1. 卡片从叠放状态过渡为平铺展开以便计数。

2. 视觉焦点从说话人面部转移到桌面上的证据。

1. 所有可见卡片均带有黑色花色标记。

2. 摊开的卡片中未出现任何红色花色的卡片。

这一视觉呈现证实了证明者所声称的“恰好展示了26张黑牌”，从而为验证者提供了必要证据，使其无需看到隐藏卡片即可推断其颜色。

1. 动画
   观察依据

   镜头下移，展示一张圆桌，桌上放着两支笔、纸张、信封、记号笔、一副扑克牌和一部手机。

2. 图示
   观察依据

   纸上紧邻两支笔的位置手写出1和0标记。

1. 蓝色笔

2. 红色笔

3. 纸张

4. 白色信封

5. 记号笔

6. 一副扑克牌

7. 手机

1. 讲话人指向代表两位候选人的两支笔。

2. 他在纸上写下1和0以编码自己的选票。

1. 桌面上恰好有两个候选对象。

2. 投票以数字形式表示，而非使用名称。

桌面上的对象实例化了一个双候选人的选举以及一种二进制选票编码。

1. 动画
   观察依据

   发言者将标有记号的纸张对折，插入一个白色信封中，然后举起已封口的信封。

1. 对折的纸张

2. 白色信封

1. 可见的选票数值在信封内部变得不可见。

1. 选票内容保持不变，仅其可见性发生变化。

该信封在视觉上代表了聚合前的选票加密。

1. 动画
   观察依据

   第二位参与者在另一张纸上书写，并将纸放入信封中，此时第一位发言者转头回避。

1. 在采样帧中，第二位参与者所写的精确数字并不完全清晰可辨。

1. 第二张纸片

2. 第二个信封

3. 第一位发言人转头避开视线

1. 创建并密封第二张选票。

2. 第一位发言人在书写步骤中避开视线。

1. 复用相同的双候选人结构。

2. 该流程在汇总前始终局限于每位投票者本地。

这展示了不同投票者独立的加密提交。

1. 动画
   观察依据

   发言人在解释所有信封内部结果汇总过程时，双手做出手势，且不透露每张选票的具体内容。

1. 发言人的双手

2. 桌上的密封信封

1. 主讲人从描述单张选票转向描述对多个信封进行的集体计算。

1. 在讲解过程中，单张选票始终保持密封状态。

手势动作示意：将多个隐藏输入合并为聚合总数，且不打开它们。

1. 图示
   观察依据

   一名身穿蓝色毛衣的男子，在身后有书架与白板的办公室中讲话。

2. 动画
   观察依据

   镜头在同一位发言者的中景与近景之间交替切换。

1. 身穿蓝色毛衣的男主持人

2. 摆放着活页夹与书籍的书架

3. 白板上留有淡淡的橙色标记

1. 镜头构图在中景与特写之间切换。

2. 主持人边讲解边做手势。

1. 场景始终为同一间办公室环境。

2. 在整个主讲段落中，主持人始终保持为画面视觉焦点。

这些画面服务于讲座/访谈式讲解，而非正式的黑板推导过程。

1. 图示
   观察依据

   切至双手在圆桌上操作白纸与笔的画面。

2. 声音
   观察依据

   该画面出现在主持人讲解投票示例及应用时。

1. 画面上的纸张并未标注为选票；其与口述中‘信封’隐喻的关联属于上下文提示。

1. 两只手

2. 白色纸张

3. 笔

4. 圆桌

5. 笔记本电脑边缘

6. 灯板

7. 扑克牌盒

1. 双手拿起并操作一张纸。

2. 画面短暂切换，中断了主讲人正面镜头。

1. 在剖视图期间，桌面场景保持不变。

该剖视图以视觉方式强化了‘密封的实体文件’作为‘加密选票’隐喻这一概念。

1. 图示
   观察依据

   另一次短暂的切镜画面显示双手交叠按在相同桌面上的纸张上。

2. 声音
   观察依据

   这一画面出现在讨论人们能否查看信封内部内容的对话过程中。

1. 画面上没有明确的文字说明这些纸张是选票。

1. 交叠的双手

2. 白纸

3. 笔

4. 桌面物品

1. 镜头在讲话者与桌面之间反复切换。

1. 与先前切镜所用的桌子和道具相同。

这种视觉上的重复使实体信封的隐喻始终存在，与此同时讲话者解释：实际机制其实是加密。

1. 声音
   观察依据

   说话者指出，验证者在一轮之后仅会‘略微相信’证明者，因为证明者随机猜中的概率为50%。

笔游戏中一次正确的回答即可证明证明者确实知道哪支笔对应哪个身份。

单次正确回答并不充分，因为作弊的证明者在单轮中仍有$1/2$的概率随机猜对；需通过多轮重复来增强置信度。

1. 声音
   观察依据

   说话者将零知识证明定义为：在不泄露秘密本身的前提下，证明关于该秘密的某个命题。

1. 这一误解在视频片段中并未被明确命名；此处作为对所给定义的常见澄清而补充添加。

零知识意味着验证者从交互中完全无法获知任何信息。

在该视频片段的用法中，关键要求是秘密本身不得被泄露；验证者仍可获知所陈述命题的真实性。

1. 声音
   观察依据

   说话人强调，零知识证明的全部意义就在于：仅获知该命题本身为真，而不再获取任何额外信息。

学习者常误以为：只要成功证明某个命题，就必然暴露用于验证该命题的见证值或秘密。

真正的零知识协议可保证：验证者所获得的交互记录，完全可在不依赖秘密的前提下被模拟生成；在卡片示例中，仅知该牌为红色，并不能提供关于其点数的任何信息。

1. 声音
   观察依据

   主讲人明确警告：若在一个信封中放入负一、另一个信封中放入正二，其和仍为一，但这种做法不应被允许。

若加密选票之和为1，则该选票必须有效。

不对。该片段给出反例（-1,+2），其和为1，但其中的项并非二元选票。

1. 声音
   观察依据

   主讲人指出，将选票放入信封实际上意味着使用某种特定类型的加密方案对其进行加密，但这并非该视频的讲解范围。

信封本身即为电子投票协议的安全保障。

信封仅是一种比喻；真正的安全性来源于一种该片段未具体说明的加密方案。

1. 声音
   观察依据

   采访者询问人们是否能打开信封查看内部；发言者回应称这些并非真实信封，而是加密机制。

有人可能认为该协议依赖于字面意义上的密封信封，而拥有权限的人可以将其打开。

主讲人明确纠正了这一误解：所谓‘信封’实为对内容的加密，并非物理容器。

1. 声音
   观察依据

   主讲人指出，无法单独解密每一张选票，解密操作仅在所有选票汇总完毕后才进行。

有人可能以为提交之后，权威机构可以逐张解密选票。

在所描述的协议中，解密仅在聚合完成后才可用，从而防止逐张选票内容被披露。

1. 声音
   观察依据

   主讲人将‘选票是二元的’这一陈述与选票的秘密内容区分开来，并指出这仍符合零知识证明的定义。

有人可能认为，对某个秘密进行某种证明，必然会导致该秘密本身被泄露。

视频片段强调，公众声明可被验证，而实际的$0/1$选票内容则保持隐藏。

1. 声音
   观察依据

   主讲人指出，零知识证明是隐私增强技术的一个很好的例子。

零知识证明被呈现为隐私增强技术这一更广泛类别中的一个具体示例。

1. 声音
   观察依据

   主讲人表示，理解零知识证明背后直觉的一种简单方式，是借助这两支笔的游戏。

双笔游戏被用作抽象零知识证明概念的一种直观应用。

1. 声音
   观察依据

   主讲人指出有50%的概率能猜对，然后建议再做一次。

重复该协议的必要性，源于这样一个观察：单轮协议可能凭偶然通过，其概率为$1/2$。

1. 声音
   观察依据

   说话人从钢笔示例过渡到卡片示例，说道：“我再举一个例子，以确保概念绝对清晰。”

笔的例子依赖于概率性可靠性，需要重复执行；而卡片的例子则在单轮交互中就实现了确定性可靠性，同时通过组合排除法保持零知识性。

1. 声音
   观察依据

   主讲人在定义可靠性后立即提到了笔的例子。

可靠性的抽象定义，通过色盲证明者无法在笔猜测游戏中持续获胜这一事实得到了具体说明。

1. 声音
   观察依据

   主讲人在解释零知识性时引用了卡片的例子。

卡片协议作为主要应用案例，表明验证过程可以成功完成，同时对隐藏属性（点数）严格不泄露任何信息。

1. 声音
   观察依据

   主讲人以电子投票为例，说明如何使用零知识证明。

电子投票应用引出了对加密选票进行零知识有效性验证的需求。

1. 声音
   观察依据

   在写出1和0之后，主讲人表示将选票放入信封意味着对其加密。

二进制选票值是信封隐喻所加密的明文对象。

1. 声音
   观察依据

   主讲人解释如何在所有信封内部聚合结果，同时不披露每一张选票。

必须先存在加密选票，才能在不泄露信息的前提下对其进行聚合。

1. 声音
   观察依据

   主讲人首先定义求和为一证明，接着给出-1/+2反例，然后指出还需为二进制值设计第二种证明。

求和为一检验约束总票数，而二进制范围检验约束允许的取值集合；仅靠其中任一检验均不充分。

1. 声音
   观察依据

   主讲人利用-1/+2示例说明为何必须引入二进制范围证明。

二进制范围证明被专门引入，以排除那个表明仅靠求和为一证明并不充分的反例。

1. 声音
   观察依据

   主讲人另提出一个可选问题：有人可能复制粘贴他人先前的选票。

1. 该缓解措施未在本片段中提及。

在解释完加密聚合后，演讲者将威胁模型扩展为包含重复使用其他选民的加密选票。

1. 声音
   观察依据

   主讲人在这一时间段内直接定义了零知识证明。

1. 零知识证明的定义

1. 声音
   观察依据

   主讲人通过指出：有用的技术往往需要敏感数据，来引出隐私增强技术的必要性。

1. 动机：隐私增强技术

1. 声音
   观察依据

   主讲人将双笔游戏作为构建直觉的引入方式。

2. 动画
   观察依据

   色盲模拟以视觉方式支持了这一类比。

1. 两支笔的零知识类比设定
2. 一次笔交换协议的轮次

1. 声音
   观察依据

   演讲者指出，单轮验证不够，因为存在50%的猜测成功率。

1. 为何一次成功的轮次并不足够

1. 字幕依据
   观察依据

   画面上的叠加文字明确将该模拟标注为<红/蓝色盲模拟>。

2. 动画
   观察依据

   视觉滤镜使两支笔难以区分。

1. 两支笔的零知识类比设定

1. 声音
   观察依据

   关于通过重复操作降低错误概率的讨论。

1. 通过重复实验理解零知识证明
2. 作弊概率的指数级下降
3. Pen 协议中可靠性误差的推导

1. 声音
   观察依据

   解释如何展示26张黑牌来证明隐藏的那张牌是红色的。

1. 仅证明牌的颜色而不泄露其点数
2. 隐藏卡片颜色的逻辑推理
3. 证明一张牌为红色而不泄露其点数

1. 声音
   观察依据

   正确性、可靠性和零知识性三项准则的列举。

1. 零知识证明的正确性准则
2. 零知识证明的可靠性准则
3. 零知识性质

1. 声音
   观察依据

   演讲者以电子投票作为零知识证明的一个良好应用示例加以介绍。

1. 电子投票作为零知识证明的一种应用

1. 声音
   观察依据

   演讲者解释了如何用两支候选笔分别表示写入数字一和零。

1. 两位候选人选票的二进制编码

1. 声音
   观察依据

   演讲者称，将选票放入信封意味着对其加密。

1. 信封作为加密的隐喻

1. 声音
   观察依据

   演讲者描述了在所有信封内部聚合结果，同时不披露每一张选票。

1. 在不打开单张选票的情况下聚合加密后的选票