零知识证明 该存储库包含ING的Bulletproof ，零知识范围证明（ZKRP）和零知识集成员资格（ZKSM）的实现。 当前的实现基于以下论文： 基于以下论文的范围证明： Fabrice Boudot给出内。 设置成员资格证明基于Jan Camenisch，Rafik Chaabouni和Abhi Shelat撰写的论文 。 BenediktBünz，Jonathan Bootle，Dan Boneh，Andrew Poelstra，Pieter Wuille和Greg Maxwell撰写的基于纸质的：“等等。 零知识范围证明 区块链技术中的一个基本问题是数据的机密性。 为了在所有独立节点之间达成共识，每个节点必须能够验证所有事务（例如，针对双花），在大多数情况下，这意味着事务的内容对于所有节点都是可见的。 幸运的是，存在几种在区块链上保持机密性的解决方案（私有交易，HyperL

ZKP ZKP是一种实用的零知识证明系统，可提供任意计算的小型且计算效率高的零知识证明。 该系统使我们能够以廉价，快速的验证时间构造简洁的非交互式证明。 下图描述了证明生成系统的拓扑。 编译阶段 程序建设 受信任的设置 证明生成 证明验证 程序建设 程序构建是由其他库开发的，这些库发出标准的JSON协议，该协议描述了门的功能组成，这些门计算加法，乘法和带线运算。 该库可以简单地使用任何其他编译器或库来发出JSON作为其交换格式。 包提供了电路构造语言的参考库。 受信任的设置 可以从命令行运行受信任的设置。 这将生成为特定电路设置所需的一次参数。 设置参数可以随后销毁，也可以在Shamir秘密共享配置中分发。 Shamir共享允许一个n-of-m的设置，其中至少n个参与者必须组合其秘密部分以重建受信任的设置。 zkp setup --prover Groth16 --input

信息安全_数据安全_Zero-knowledge_proofs_(ZKP)：Priv 安全测试 安全分析 移动安全 业务安全 安全实践

信号 Semaphore是一个零知识小工具，它使用户可以在不透露其原始身份的情况下证明其隶属关系。 同时，它允许用户表示对任意字符串的认可。 它被设计为以太坊dApp的简单通用隐私层。 用例包括私人投票，举报，混音和匿名身份验证。 有关更多信息，请参阅。 加入讨论。