针对电子调查存在的不少安全问题，如信息欺骗、隐私安全等，构建了一个基于非交互零知识证明（NIZK,non-interactive zero knowledge proofs）的匿名电子调查系统，系统具有自组织、非交互、防重放、更安全等特点。系统采用NIZK协议和Boneh-Boyen签名方案对用户的身份进行非交互式的验证，保证了系统的真实性；系统还采用Pedersen承诺方案和伪随机函数对用户的身份和相关信息进行隐藏，保证了系统的匿名性。安全性分析表明，系统具有抵抗恶意用户并发攻击和匿名性等安全特性。最后，对系统的功能进行了仿真并验证，结果表明，系统能够正确完成各项功能，并有效地保证系统的匿名性与真实性。

zkay：一种区块链隐私语言 Zkay（发音为[zi: keɪ] ）是一种编程语言，它可以利用加密和非交互式零知识（NIZK）证明，自动将直观的数据隐私规范编译为以太坊智能合约。 该存储库提供了用于编译，部署和使用zkay合同的工具链。 除了下面的说明，我们还引用以下资源： 原始介绍了zkay的核心概念。 ，其中提供了教程，语言参考和API文档。 该介绍了zkay v0.2的功能和实现。 警告/安全免责声明 Zkay是一个研究项目及其实施不应该被认为是安全的（例如，它可能包含的错误，并没有发生任何安全审查）！ 不要在生产系统中使用zkay或处理敏感机密数据。 先决条件 Zkay需要安装python 3.7或更高版本。 此外，使用系统的程序包管理器安装以下依赖项： Debian / Ubuntu sudo apt-get install default-jdk-headless git build-essential cmake libgmp-dev pkg-config libssl-dev libboost-dev libboost-program-options-dev

基于双线性的NIZK】