y蛇 最近的新闻： 2020年3月11日：更新到最新的snarkjs （这是对PySNARK原始版本的重写，仍可。） PySNARK允许您直接在Python 3中编程zk-SNARK（又名可验证计算）。例如，以下代码运行SNARK程序以计算数字的立方，生成键材料，生成证明并验证它： import sys from pysnark.runtime import snark @snark def cube(x): return x*x*x print("The cube of", sys.argv[1], "is", cube(int(sys.argv[1]))) PySNARK可以使用或作为后端。 对于使用pysnark提供的PubVal数据类型（或使用@snark装饰器）执行的任何计算，该库都会跟踪该计算的Rank-1约束系统。 计算完成后，将生成（或重复使用）用于计算的关

CLSAG：紧凑的可链接环签名。 对MLSAG的修改

零知识证明 该存储库包含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

节点BBS签名 该存储库是高性能多消息数字签名算法实现的来源，该实现支持导出零知识证明，从而可以从原始签名的消息集中进行选择性公开。 是一种数字签名算法，最初是由Boneh，Boyan和Shachum的工作产生的，后来在作为BBS +进行了改进，并在《 第4.3节中再次涉及。 。 需要，该库包含对支持。 允许多消息签名，同时生成单个输出签名。 使用BBS签名，可以生成基于知识证明的证明，其中只有部分原始签署的消息由证明者决定是否公开。 入门 要在您的项目中使用此软件包，只需运行 npm install @mattrglobal/node-bbs-signatures 或与纱线 yarn add @mattrglobal/node-bbs-signatures 用法 请参阅示例目录以获取可运行的演示。 以下是有关如何使用API​​的简短示例 import { generat

Bulletproofs 是不需要可信设置的简短知识零知识论点。 参数系统是具有计算可靠性的证明系统。 Bulletproofs 适用于证明关于提交值的陈述，例如范围证明、可验证的 suffle、算术电路等。它们依赖于离散对数假设，并使用 Fiat-Shamir 启发式进行非交互。 Bulletproofs 的核心算法是 Groth [2] 提出的内积算法。 该算法提供了满足给定内积关系的两个绑定向量 Pedersen 承诺的知识参数。 Bulletproofs 建立在 Bootle 等人的技术之上。 [3] 引入一种有效的内积证明，将论证的整体通信复杂性降低到仅 在哪里 是承诺的两个向量的维度。 范围证明 Bulletproofs 提供了一种用于进行短范围和可聚合范围证明的协议。 它们使用多项式对内部乘积中确定数字范围的证明进行编码。 范围证明是秘密值位于某个区间的证明。 范围证明不

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

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

bbs签名 该存储库是高性能多消息数字签名算法实现的来源，该实现支持导出零知识证明，从而可以从原始签名的消息集中进行选择性公开。 是一种数字签名算法，最初源自Boneh，Boyan和Shachum的工作，后来在作为BBS +进行了改进，并在《 中的第4.3节中再次涉及。 。 BBS +签名需要一条的，该库包含对支持。 BBS +签名允许进行多消息签名，同时生成单个输出签名。 使用BBS签名，可以生成基于证明的其中只有部分原始签署的消息由证明者决定是否公开。 有关签名算法的更多详细信息，请参阅。 入门 要在项目中使用此软件包，只需运行 npm install @mattrglobal/bbs-signatures 或与 yarn add @mattrglobal/bbs-signatures 在浏览器中通过CDN使用 要通过 CDN在浏览器中使用此库，请在HTML中包含以下脚本元素

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