ZK白板系列

从零知识证明的基本概念出发，逐步深入到高级协议，并探讨其在区块链、隐私保护等领域的应用。

高级

ZKP零知识证明工作坊

零知识证明（Zero-knowledge proofs）是一种在不暴露声明本身的情况下证明声明有效性的方法。零知识证明允许一方（证明者）向另一方（验证者）证明一个陈述是真实的，而不会透露任何超出陈述本身有效性的信息。

伯克利 零知识证明课堂

伯克利 ZKP 课堂

Lasso + Jolt

深入了解 Lasso 和 Jolt，它们代表了 SNARK 设计的一种全新方法。它们已经比其他广泛部署的工具链提升了一个数量级甚至更多，我们期待未来性能进一步提升。 作为 SNARK 性能的重大改进，Lasso 和 Jolt 有望提升区块链计算机的性能，使构建者能够改进现有应用程序，并有可能在区块链上开发出一系列我们梦寐以求的新应用程序。

从0到1: 掌握零知识证明与 zkMIPS 开发实战

zkMIPS是ZKM团队研发的业界第一个基于MIPS指令架构的零知识证明虚拟机，已经接近生产环境可用，具备完善的开发者工具集以及高效的证明网络。

零知识证明之书

关于从头开始实际编写实用的零知识证明器和验证器（ZK-SNARK）所需知道的内容。本书主要面向寻求具体理解的程序员。

zkMIPS解读

从0实现一个zkVM。从基础的代数学知识开始，逐步讲解Plonky2的实现，以及zkMIPS的prover实现，包括Lookup Scheme，Proof aggregation，最后会讲解zkMIPS算数化。

零知识证明学习资料汇总

本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助。