snarkjs

本文将构建一个zk-dApp（零知识证明 DApp），以证明用户是否属于某个特定组，而无需透露用户具体是谁。

本教程是circom 和 snarkjs 最经典的入门文章

编写零知识 dApp，这篇文章将介绍如何将零知识电路集成到智能合约中，然后再集成到 dApp 中。

通过 Tornado Cash 的源代码理解零知识证明

本文详细介绍了Rank-1 Constraint Systems (R1CS) 在零知识证明中的应用，通过多个实例展示如何构建R1CS，使用Circom和snarkjs工具实现电路，并提供了数学公式的详细推导与代码实现。文章涵盖了R1CS的基本定义、与逻辑门电路的关系、构造方法以及多个示例，包括相应的约束解析和代码实现，具有较强的实用性和技术深度。

文章探讨了近期两起针对零知识证明Groth16电路的攻击事件。这些攻击均源于Groth16可信设置中第二阶段贡献的缺失，导致攻击者能够伪造证明。一个项目损失了5 ETH，另一个涉及约1.5M美元的资产被白帽黑客成功挽救，文章详细解释了原理并强调了部署代码审查的重要性。

文章分析了近期在ZKP协议中发生的两次漏洞利用事件，都源于Groth16可信设置过程中缺少第二阶段贡献，导致验证密钥中的`gamma`和`delta`参数相等。这使得攻击者无需真实见证即可伪造有效零知识证明，从而在Foom和Veil协议中窃取资金。文章详细解释了该漏洞原理、Groth16验证机制以及如何构造伪造证明。

如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明

本文介绍了如何使用JavaScript中的zk-SNARK技术，特别是通过Circom和SnarkJS库来生成和验证零知识证明。首先解释了零知识证明的基本概念及其在区块链中的应用，接着介绍了如何安装Circom和SnarkJS，并详细说明了如何编写电路代码以生成证明，最后展示了验证证明的步骤。读者在完成后应该对如何在JavaScript项目中实现zk-SNARK有初步的理解和实践能力。

zkSecurity 推出了一种名为 noname 的编程语言，用于编写 ZK 电路，该语言现在支持 R1CS。

Base团队对四种领先的零知识证明（ZKP）系统（SnarkJS、Rapidsnark、Gnark和Noir）在验证基于passkey-wallet的签名性能进行了基准测试，重点关注了证明生成时间和gas成本。结果显示，Noir在证明生成速度上表现突出，但gas成本较高，而Groth16系统在gas成本方面更具优势。

本文深入探讨了零知识证明（ZKPs）的核心概念、类型及其在实际应用中的实现。通过Circom和snarkjs的代码示例，展示了如何构建一个年龄验证系统，同时分析了 ZKP 的性能、安全性，并展望了其在区块链隐私、去中心化认证和监管合规等领域的未来发展趋势。

本文介绍了在浏览器中使用零知识证明（ZK）技术以保护用户数据隐私的方法。通过在浏览器中生成证明，用户可以在不将敏感数据发送到服务器的情况下，证明他们满足某些条件。文章还比较了目前可用的几种在浏览器中生成ZK证明的方案，并讨论了选择合适方案时需要考虑的因素。