Plonky2简介

Polygon Labs 旗下 Polygon Zero 部门致力于利用零知识证明技术扩展以太坊，实现支持10亿用户的目标，同时保障去中心化和安全性。要达成这一宏伟蓝图，必须打造高效且快速的证明系统。Plonky2 在零知识密码学领域实现了重大突破，将多种证明系统的优势整合为一套高度优化的解决方案。

Plonky2 是递归 SNARK，相比现有方案，性能大幅提升，并且对以太坊保持原生兼容。通过结合 PLONK 和 FRI（Fast Reed-Solomon Interactive Oracle Proofs），Plonky2 继承了 STARKs 的快速生成和无需可信设置等核心优势，以及 SNARKs 的递归支持和以太坊上的低验证成本。

递归

递归是零知识证明系统最具突破性的能力之一。SNARKs 可以验证任意计算，而验证 SNARK 本身也是一种计算，因此 SNARK 可以用来验证其他 SNARK。Plonky2 的递归特性极大提升了系统的可扩展性。

以实际应用为例，验证者需证明1,000笔交易的有效性。如果一次性为全部1,000笔交易生成单一证明，计算消耗和时间成本将非常高。更优方案是分布式处理：1,000台并行机器分别为每笔交易生成单独证明，随后通过多层递归证明逐步聚合，每一层的证明负责验证上一层的两份交易证明。最终，仅需一个证明即可认证全部1,000笔交易的有效性。

Plonky2 的递归架构带来诸多优势，包括缩短计算时间、降低资源消耗，并通过多节点分布式生成证明，实现更高水平的去中心化。

效率

递归证明是区块链扩展能力的基础。递归证明技术进步显著：2019年 Mir（现 Polygon Zero）发布时，使用高性能硬件生成单个递归证明需2分钟左右。2020年，递归证明已落地以太坊，生成时间缩短至60秒。Halo 协议进一步加快证明生成速度，但牺牲了以太坊兼容性。

2021年，Polygon Zero 提出了一个前所未有的技术目标：在保障以太坊兼容性的前提下，实现小于1秒的递归证明。Plonky2 的突破在于发现 FRI（STARKs 的多项式承诺方案）能为递归 SNARKs 带来巨大性能提升，而此前如 Fractal 等实现生成证明需10分钟，这一点并不直观。

FRI 拥有卓越的数学性质，支持64位域。Polygon 的研究团队发现 Goldilocks Field，其模数让现代CPU架构下的域运算极为高效。结合 PLONK，FRI 能实现更高线数的自定义门电路，使 Plonky2 电路专为递归效率优化。

这种数学创新、密码学专长和底层性能优化的结合，最终实现了质的飞跃：在 Macbook Pro 上，Plonky2 递归证明的生成仅需170毫秒，性能远超现有方案。

证明规模

Plonky2 不仅优化了递归证明性能，还提升了非递归证明的生成效率。传统 FRI 系统需在“快速生成大规模证明”与“缓慢生成小规模证明”之间权衡，影响以太坊的验证成本。其他方案也只能在这两种次优方案中取舍。

Plonky2 通过架构创新，彻底破解了这一难题。若需快速生成证明，系统可优先提升速度；随后，这些单独证明递归聚合，最终的单一证明可通过极简电路验证，专门优化证明规模。两阶段方案下，证明规模可小至45 KB，生成时间仅20秒——而证明只在提交以太坊时生成，这一时长几乎可忽略。与其他实现方式相比，运营成本大幅降低。

兼容性

Plonky2 的核心优势之一是与以太坊区块链的原生兼容性。证明验证过程只需 keccak-256 密码哈希函数，完全兼容现有以太坊基础设施。初步测算，在以太坊上验证经过规模优化的 Plonky2 证明约需100万 gas。

但大部分 gas 消耗来自 CALLDATA 上链的发布成本。若 EIP-4488 优化 CALLDATA 定价，验证成本可降至17万至20万 gas 区间。由此，Plonky2 不仅是高性能证明系统，也极具以太坊上的经济性。

结论

Plonky2 是零知识证明技术的里程碑式进步，也是以太坊扩容基础设施的关键节点。Polygon Zero 以 Plonky2 展现了数学创新与工程实力的结合，突破了传统证明系统的局限。尽管零知识 Layer-2 方案持续受到关注，现有实现依赖的加密原语仍受限于效率和可扩展性。

随着 Layer-2 赛道竞争加剧，系统吞吐能力与运营成本将成为核心竞争力。Plonky2 为 Polygon 生态提供了打造高性能、高扩展性 Layer-2 系统的底层工具，是推动以太坊扩展解决方案变革的关键力量。

常见问题

Plonky2 是什么？主要特点和优势有哪些？

Plonky2 是 Polygon 推出的递归 ZK-SNARK 技术，速度较现有方案快100倍，并完全兼容以太坊。它融合了 PLONK 和 FRI 的优点，实现了极快的证明生成和更强的扩展性。

Plonky2 与 Circom、ZoKrates 等其他零知识证明框架有何不同？

Plonky2 采用小型 Goldilocks 域，支持高效递归，性能优于 Circom 和 ZoKrates。其证明生成速度最优，安全性更高。

Plonky2 的主要应用场景有哪些？

Plonky2 主要用于区块链隐私保护、Layer-2 扩展和加密验证。它可以实现安全交易和智能合约的零知识证明。

如何使用 Plonky2 构建和验证零知识证明？

Plonky2 支持为任意可验证计算构建零知识证明，并高效递归组合证明。可通过自定义门电路优化电路设计，提升性能和扩展性。

Plonky2 的性能如何？证明生成速度和验证速度分别多少？

Plonky2 在 MacBook Pro 上生成递归证明仅需0.17秒，速度较现有方案提升100倍。验证过程约20秒，性能卓越，适用于零知识证明应用。

Plonky2支持哪些编程语言和开发环境？

Plonky2 主要支持 Rust 编程语言，专为具备 Rust 开发经验的开发者设计。该方案提供高效的零知识证明开发环境，支持模块化和可扩展的证明系统构建。

Plonky2 与 Plonk 算法有何关系？为何命名为 Plonky2？

Plonky2 是 Plonk 的增强版本，将 KZG 承诺机制替换为 STARK 技术中的 FRI 承诺。Plonky2 这个名称体现了其进化和提升，兼具 Plonk 的高效性与 FRI 的抗量子性及更快证明能力。