知识证明协议及其应用研究

本项目中以知识证明协议为工具，在如下三个方面进行研究：1）零知识系统的构造。知识证明协议能够构造陷门承诺方案，我们利用陷门承诺、异或运算构造了一种完全隐藏的承诺方案（只需要常数交换轮，假设条件仅为单向置换存在）。基于该种承诺方案，我们构造常数轮的完全零知识论证和计算零知识证明协议。除此之外，我们还使用知识证明协议为任何NP问题构造证据不可区分协议和证据隐藏协议。2）知识签名协议的构造。我们首次使用知识的数据隐藏协议来构造知识的签名协议，与已有的基于非交互零知识证明系统的知识的签名相比，我们的签名能够防止攻击者使用模拟器来模拟签名。3）基于知识证明的多方安全计算。我们首次使用知识的证据隐藏协议来研究多方安全计算协议的可解性问题，同时也利用知识的证据隐藏协议设计实用的多方安全计算协议。我们强调的是，研究1）是为解决零知识领域中的一些未解问题，而2）、3）是提出新的方法实现密码学协议。