[论文解读] Dining Cryptographers are Practical

Christian Franck, Jeroen van de Graaf|arXiv (Cornell University)|Feb 10, 2014

Cryptography and Data Security参考文献 8被引用 3

一句话总结

该论文提出了一种实用的餐巾纸协议扩展，结合Pedersen承诺和零知识证明，实现在无条件安全匿名通信中的高效、可验证的冲突解决。通过将参与者绑定到其秘密密钥，并利用密码学证明检测计算能力有限的干扰者，该方案在无需预先预留阶段的情况下实现了最优吞吐量，显著提升了实用性，同时保持了发送者和接收者的无条件不可追踪性。

ABSTRACT

The dining cryptographers protocol provides information-theoretically secure sender and recipient untraceability. However, the protocol is considered to be impractical because a malicious participant may disrupt the communication. We propose an implementation which provides information-theoretical security for senders and recipients, and in which a disruptor with limited computational capabilities can easily be detected.

研究动机与目标

• 解决原始餐巾纸协议不切实际的问题，即恶意参与者破坏通信时难以被检测。
• 在不损害无条件匿名性的前提下，实现对计算能力有限干扰者的高效检测。
• 设计一种冲突解决机制，实现最优吞吐量，避免冗长的检测阶段。
• 将密码学证明集成到协议中，使得消息重传可被验证，而无需暴露发送者身份。
• 使无条件安全的匿名通信在电子投票和低延迟消息传递等真实应用场景中具备可行性。

提出的方法

• 使用Pedersen承诺对参与者秘密密钥进行计算绑定，确保任何行为偏差均可通过密码学手段检测。
• 采用零知识证明验证参与者在基于树的冲突解决协议中正确重传消息，而无需暴露发送者身份。
• 通过二叉树结构构建可验证的叠加接收机制，将每个冲突拆分为两部分，并利用密码学声明确保在正确分支中正确重传。
• 利用Pedersen承诺的同态特性，验证多次重传中消息的一致性，并检测表明作弊行为的不一致。
• 由可信调查员收集并验证零知识证明，仅在必要时揭示作弊证据，以维护隐私。
• 通过使用多个生成元扩展承诺至向量，支持长消息，实现对多元素消息的安全承诺。

实验结果

研究问题

• RQ1 能否在保持无条件发送者和接收者不可追踪性的前提下，使餐巾纸协议更具实用性？
• RQ2 如何在信息论安全协议中高效检测计算能力有限的干扰者？
• RQ3 是否可能在无需预留阶段的情况下实现最优冲突解决吞吐量？
• RQ4 能否使用零知识证明验证消息重传而不损害匿名性？
• RQ5 如何安全地建立密钥协商，以支持长期协议安全性和干扰者检测？

主要发现

• 所提出的方案实现了最优吞吐量的可验证冲突解决，消除了早期协议中所需的预先预留阶段。
• 通过验证正确消息重传行为的零知识证明，可检测到破坏通信的恶意参与者。
• 使用Pedersen承诺可实现对秘密密钥的计算绑定，从而在不暴露发送者身份的前提下检测作弊行为。
• 可信调查员可通过验证零知识证明高效检测并隔离干扰者，减少对重复概率性重传的需求。
• 通过使用多个生成元的向量承诺，协议支持长消息，同时保持安全性和效率。
• 该方案在维持无条件匿名性的同时，实现了对计算有界干扰者的实用检测，标志着向可部署的无追踪通信系统迈出了重要一步。