PLONK

本文档是一个关于 zkVM（零知识虚拟机）的精选列表，zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具，旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。

该文档介绍了micro-zk-proofs库，一个用于并行创建和验证零知识SNARK证明的工具，它支持Groth16协议，并计划支持PLONK等。

PLONK算法的电路采用新的描述模型。整个电路由门电路约束和Copy约束（连线约束）组成。门电路约束和Copy约束都转换为多项式表达。Copy约束通过累加算法实现。

本文深入浅出地介绍了Plonk证明系统，通过毕氏定理的例子，逐步拆解Plonk的限制式，并解释了相等限制式的概念。文章还对比了Plonk与Groth16在电路结构和约束方式上的差异，解释了Plonk中如何通过自定义逻辑门提高电路的灵活性，并对Plonk的核心概念进行了总结。适合对零知识证明和SNARKs有一定基础的读者阅读。

我们最近发布了Mina证明系统的更新，名为Kimchi。在这篇文章中，我们将介绍Kimchi是什么以及它的不同之处。简介作者：DavidWong，o1Labs加密工程师，Mina协议贡献者我们最近发布了Mina证明系统的更新，名为Kimchi。Kimchi是我们

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性，导致simulator不能模拟出证明。

文章详细介绍了PLONK零知识证明协议的原理和实现，包括其通用和可更新的可信设置、多项式承诺的使用以及如何将程序转换为多项式方程进行验证。