zk-paillier：基于Rust的Paillier加密系统零知识证明集合

zk-paillier：基于Rust的Paillier加密系统零知识证明集合

项目基础介绍

zk-paillier 是一个开源项目，它包含了一系列基于Paillier加密系统的零知识证明实现，这些证明是用Rust编程语言编写的。Paillier加密系统是一种公钥加密算法，适用于各种密码学应用，尤其是那些需要同态加密特性的场景。zk-paillier 项目旨在提供一系列可用的零知识证明，以增强Paillier加密系统在安全协议中的应用。

编程语言

• 主要编程语言：Rust

核心功能

该项目的主要功能是提供多种零知识证明，这些证明可以独立使用，也可以作为其他协议的一部分。以下是一些核心功能的简要介绍：

• 零知识证明一个密文加密了零
• 证明知识明文（密文正确性）
• 证明Paillier密钥对生成正确
• 非交互式证明Paillier密钥对生成正确
• 范围证明，即Paillier密文位于区间 [0, q]
• 非交互式范围证明，即Paillier密文位于区间 [0, q]
• 证明正确开启密文
• 证明一个密文加密了一个给定消息空间的消息
• 不可区分的证明知识离散对数（复合模数）
• 证明明文乘法关系：给定e_a = Enc(a)，e_b = Enc(b)，e_c = Enc(c) 且 ab = c mod n
• 线性关系证明，即多个已知密文的多个明文之间存在线性关系

最近更新的功能

项目最近的更新主要包括对现有功能的优化和新的零知识证明的添加。以下是一些更新的功能：

• 增强了代码的稳定性和性能
• 添加了新的零知识证明，以支持更广泛的安全协议
• 改进了文档和示例代码，使得项目更易于理解和使用
• 修复了已知的问题和漏洞，提高了整体的安全性和可靠性

zk-paillier 项目的开发团队持续努力，以确保提供高质量、可用的零知识证明实现，以供开源社区使用。