[论文解读] Proofs of Zero Knowledge

Matthias Bauer|ArXiv.org|Jun 29, 2004

Cryptography and Data Security参考文献 7被引用 5

一句话总结

本文提出一种新颖的密码学协议，利用带密钥的哈希树，使读者能够在不信任数据库的前提下验证数据库回复——包括对不存在条目的否认。通过让写入者发布签名的状态凭证以承诺数据库的完整状态，该方案实现了对数据存在性与不存在性的高效、低流量验证，相较于以往的零知识集合方案，在速度、多写入者支持和动态更新方面表现更优。

ABSTRACT

We present a protocol for verification of ``no such entry'' replies from databases. We introduce a new cryptographic primitive as the underlying structure, the keyed hash tree, which is an extension of Merkle's hash tree. We compare our scheme to Buldas et al.'s Undeniable Attesters and Micali et al.'s Zero Knowledge Sets.

研究动机与目标

• 解决在数据库不可信时验证数据库回复的挑战，特别是针对“不存在该条目”的响应。
• 设计一种系统，使读者能够无需下载数据库完整状态，即可密码学地验证数据库中条目的存在与不存在。
• 支持多个写入者独立更新数据库并重新计算状态凭证，无需全局PKI或持续的写入者参与。
• 提供一种实用且高效的零知识集合替代方案，支持动态修改，且速度优于现有方案。

提出的方法

• 引入一种名为带密钥哈希树的新密码学原原子，作为Merkle哈希树的扩展，将数据库状态绑定到紧凑且可验证的凭证上。
• 使用状态凭证——对固定顺序下所有键的基于哈希的承诺——写入者签名后通过公告服务发布。
• 通过检查通往查询键路径上的Merkle风格证明（包括兄弟节点和承诺值），实现对数据库回复的验证。
• 通过构建包含承诺值的虚假节点分支，支持不存在性证明，其中根承诺值被更新以隐藏该路径通向空叶子的事实。
• 基于离散对数的承诺方案（g^m * h^r）允许写入者在任一节点重新承诺任意值，从而生成令人信服的不存在性证明。
• 通过要求写入者签名状态凭证并将公钥外部存储，确保安全性，使任何篡改或虚假回复均可被读者检测到。

实验结果

研究问题

• RQ1 读者如何在未返回任何数据的情况下验证数据库正确地否认了某键的存在？
• RQ2 能否高效证明数据库与写入者签名的状态凭证一致，该凭证承诺了数据库的完整状态？
• RQ3 如何在无需持续协调或全局PKI的情况下，允许多个写入者更新数据库并维持可验证的状态凭证？
• RQ4 何种密码学原原子能够实现对不可信数据库中条目存在性与不存在性的高效、低流量证明？
• RQ5 与Micali等人提出的现有零知识集合构造相比，所提出的方案在性能和安全性方面表现如何？

主要发现

• 所提出的方案使读者仅通过少量数据即可验证数据库回复——包括对不存在条目的否认，与下载整个数据库相比，显著降低了通信开销。
• 使用带密钥哈希树使写入者能够高效地进行动态更新，每次更改后可独立重新计算并重新发布状态凭证，无需与其他写入者交互。
• 该方案显著快于Micali等人提出的零知识集合，每个节点仅需一次优化哈希函数，而无需五次模幂运算。
• 通过构建包含承诺值的虚假节点分支实现不存在性证明，其中根承诺值被重新计算以隐藏路径通向空叶子的事实。
• 该方案仅部分保留零知识特性；然而，它避免了不可否认签名和复杂的写入者协调机制，使其在实际部署中更具可行性。
• 该方法适用于DNS和Web托管等现实系统，这些系统在不可信环境下对数据库的一致性和完整性有关键要求。