Halo2

零知识证明正变得越来越流行，但可能很难找到入门资料。在花了一些时间研究这个主题之后，我整理了我学到的东西，希望它能帮助大家入门零知识证明编程。

本文详细介绍了如何通过Circom和Halo2等库实现两个向量的点积计算，并利用零知识证明（ZKP）进行证明和验证。文章还讨论了零知识证明的流程，安装所需的工具，以及在不同环境中实现相应电路的代码示例。此外，文章解释了什么是可信设置以及它在现实应用中的重要性。

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.

Zellic加密团队在ZK Hack V竞赛中成功解决了三道删除题目，其中包括基于Rust和halo2框架的密码学应用。文章详细总结了每个挑战的描述、解决方案和关键思路，强调了解释攻击的意图，展示了对相关技术的深刻理解。

本文档是关于在电路中创建 Verkle Trie 数据结构的项目提案，旨在实现状态变更在 zk 电路中的高效证明，移除了主要瓶颈 Keccak-SHA3。项目目标是学习 Verkle Trie 中使用的密码学和数据结构，并使用 Halo2 库编写电路，通过对 VKT 和 MPT 电路进行基准测试，分析 VKT 在 EVM 兼容 L2 解决方案中的效率。

对Scroll的联创张烨 的采访，关于 zkEVM 与 Scroll 及其未来

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

太长不看版：你已经听说过 Tornado Cash 了吗？还有 Halo2？太棒了！在这里，我们将混合这两者，并将 Tornado Cash 电路重写为 Halo2。

本文深入探讨了在大规模共识系统中使用的签名聚合技术，特别关注了以太坊的Proof-of-Stake（PoS）区块链如何通过签名合并（Signature Merge）方案来解决bitfield合并问题。

本文介绍了Trail of Bits团队对Axiom公司使用Halo2框架构建的区块链系统进行的两次安全审计。该系统允许在以太坊历史数据上进行计算，并使用零知识证明进行链上验证。审计发现了多个严重的安全漏洞，包括可能破坏系统安全性的soundness和under-constrained问题。

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏