原标题 |    Plonky2关于世界上最快的入门指南 ZK技术

Polygon Zero 的目的很简单：使用零知识证书将以太坊扩展到10亿用户，而不影响分散或安全。这需要一个快速有效的验证系统。今天，我们很高兴与您分享 Plonky2-零知识密码学的重要里程碑。

Plonky二 是递归zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge,非交互式知识论证互式知识论证)比其他现有方案快100 倍，与以太坊本土兼容。结合 PLONK 和 FRI 获得最佳 STARK(Zero-Knowledge Scalable Transparent Argument of Knowledge，零知识可扩展的透明知识论证)，证明快，设置不可信， 最好SNARK，支持递归和以太坊的低验证成本。

Plonky2 代表了 Polygon 继续致力于建设以太坊未来的最新一步，我们很自豪能与以太坊社区分享我们的工作。

如果零知识证明有超能力，那就是递归。SNARK 由于验证 ，可以验证任意计算SNARK 是一种计算，所以 SNARK 可验证其他 SNARK。

为了解它为什么有用，我们可以做一个假设。假设：我们需要证明一批总共1000笔交易是有效的，一次生成一个证书来验证1000笔交易将是昂贵和耗时的。

相反，我们可以使用 1,000 台机器并行生成 1,000 个证明，每笔交易对应一个证明。接下来，我们可以获取这些交易证明，并通过生成一层递归证明来递归聚合它们，每个证明都验证两个交易证明。我们重复这个过程，直到我们得到一个可以验证 1000 笔交易的证明。

递归方法更快，资源密度更低，可以更分散。

递归证明对区块链的可扩展性至关重要。当我们在 2019 年开始 Mir(即现在的 Polygon Zero）时，在一台高速计算机上需要两分钟才能生成一个递归证明。2020 年以太坊新增了 60 秒证明时间的递归证明，并且Halo 的发明提供了更快的递归证明，但与以太坊不兼容。

2021年，我们有了一个大胆的目标：在以太坊递归不到 1 秒。我们意识到，STARKS 中使用的多项承诺方案 FRI 可递归 SNARK 提供显著的性能改进。当时并不明显。Fractal 是递归 FRI 唯一的现有实现大约需要10分钟才能生成证书。

然而，FRI 有一些令人兴奋的特点。它允许我们使用 64 位字段，我们的团队发现 Goldilocks 字段，它的模数可以在现代 CPU 实现了极高效的字段操作。当和 PLONK 结合使用时，FRI 允许我们编写具有更多电线的自定义逻辑门，因此我们可以编写优化高效递归的电路。

结合数学洞察力、零知识密码学深厚的专业知识和惊人的低级优化，我们可以取得重大突破。Plonky二 递归证明为 Macbook Pro 上只需170 毫秒，比现有替代方案高100 倍。

Plonky2 还允许我们加快不涉及递归证明的证明时间。使用 FRI，你可以有大的快速证明(所以在以太坊验证它们更贵)，或者你可以选择小的慢速证明。就像 Starkware 在其 ZK-rollups中使用的 STARK，使用 FRI 必须选择结构。在以太坊上合理验证，他们不能有足够快的证明时间和足够小的证明尺寸。

Plonky2 消除了这种平衡。在证明时间非常重要的情况下，我们可以优化最快的证明。当这些证书被递归聚合时，我们只剩下一个可以在小电路中验证的证书。此时，我们可以优化证书的大小。我们可以将证书的大小缩小到 45kb，与 相比，只需要20 秒的证明时间(这没什么大不了的，因为我们只在提交到以太坊时生成)Starkware，成本大大降低。

令人兴奋的是，Plonky2 原生兼容以太坊。Plonky2 只需要 keccak-256 验证证书。据估计， 是在以太坊验证的plonky大小优化证明的燃料成本约为 100万元Wei（0.1Gwei）。

然而，这一成本主要在以太坊上发布CALLDATA如果 CALLDATA 在 EIP-4488 中重新定价，plonky2 验证成本将降至 170-200k gas 之间，这可能不仅是最快的证明系统，也是以太坊验证的最便宜的系统。

去年，Polygon 承诺支持零知识证明扩容。因为 Polygon 从提供当前的基本解决方案到构建以太坊扩张的未来。Plonky2 是这次旅行的重要一步，也是整个空间的重大突破。

ZK L2 受益于大量投机，但目前的解决方案依赖于低效和限制可扩展性的密码原语。L 将在吞吐量和成本上竞争Plonky2 为 Polygon 生态系统提供了建筑性能最高、可扩展的 L2 的机会。