自定义门

ZK白板系列 - 模块13：使用Plonky2进行快速递归

在本期ZK Whiteboard系列视频中，主持人与应用密码学专家William Bourgeot讨论了Plancky2，这是Polygon Zero开发的一种证明系统。Plancky2基于Planck和自定义门，旨在实现快速递归和高效的证明。 **核心内容概括：** Plancky2的主要目标是构建一个快速的递归证明系统，能够高效地验证和生成零知识证明。它使用了Fry作为可编程承诺方案，避免了传统椭圆曲线证明系统中的非原生算术问题，从而提高了性能。 **关键论据与信息：** 1. **递归证明的定义**：递归证明是一种在一个证明中验证另一个证明的技术。Plancky2通过将验证者V写入电路来实现这一点。 2. **Fry的优势**：Fry不依赖于椭圆曲线，使用单一字段进行所有算术运算，避免了非原生算术的复杂性，并且支持小字段运算，提升了性能。 3. **Goldilocks字段**：Plancky2使用Goldilocks字段，这是一种适合64位计算的字段，能够显著提高计算速度。 4. **自定义门的灵活性**：Plancky2允许使用自定义门，能够处理更复杂的算术运算，增加了系统的表达能力。 5. **Merkle树优化**：通过Merkle caps的使用，Plancky2在Merkle证明的大小和验证速度上进行了优化。 6. **与Starkey的结合**：在ZK Rollup的上下文中，Plancky2与Starkey结合使用，前者用于递归验证多个VM交易的有效性，后者则用于快速生成交易的证明。 总的来说，Plancky2通过优化证明系统的多个方面，提供了一种高效且灵活的解决方案，推动了零知识证明技术的发展。

ZK白板系列 - 模块五： PLONK 和自定义门

在这段视频中，Brendan与加密学家Adrian讨论了如何为Planck设计电路，重点介绍了电路的基本概念及其优化方法。视频的核心内容围绕自定义门和查找表的使用，以提高电路的效率和功能。 ### 核心内容概括： 1. **电路设计与优化**：Adrian解释了如何通过自定义门和查找表来优化电路设计，以提高SNARK（简洁非交互式零知识证明）的效率。 2. **自定义门的优势**：自定义门允许执行复杂的操作（如递归、哈希函数和椭圆曲线签名），从而减少电路中的行数，提高计算效率。 3. **查找表的应用**：查找表用于高效地进行范围检查和验证操作，尤其是在处理加密货币时，确保数据在有效范围内。 ### 关键论据与信息： - **电路的基本结构**：电路由多个“门”组成，每个门执行特定的算术操作（如加法和乘法），并通过公共和私有输入进行计算。 - **自定义门的实现**：通过引入选择器变量，Adrian展示了如何将加法和乘法的约束整合为一个大约束，从而简化电路设计。 - **查找表的优势与挑战**：查找表可以存储所有可能的操作结果，允许快速验证而无需重复计算，但需要平衡表的大小与计算复杂度。 - **Lagrange插值与多项式**：视频中提到，Planck使用Lagrange插值来处理电路中的约束，确保在不同的输入条件下，电路的输出保持一致。 总的来说，视频深入探讨了现代电路设计中的复杂性，强调了通过自定义门和查找表来提高效率的重要性，同时也指出了在实际应用中需要考虑的工程挑战。