三分钟了解Laye 2扩容明星Plonky2

火星财经阅读 11284 2022-1-14 10:36

Polygon Zero 的宗旨很简单：在不影响去中心化或安全性的前提下，使用零知识证明将以太坊扩展到十亿用户。实现这一点需要快速有效的验证系统。今天，我们很高兴与大家分享 Plonky2——零知识密码学的一个重要里程碑。

Plonky2 是一种递归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。

要了解它为何有用，我们可以来做一个假设。假设：我们要证明一批总计1,000笔的交易是有效的，而且一次生成一个证明来依次验证1,000笔交易将是昂贵且耗时的。

相反，我们可以使用 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 允许我们编写具有更多电线的自定义逻辑门，因此我们可以编写针对高效递归进行优化的电路。

这种数学洞察力、零知识密码学方面的深厚专业知识和惊人的低级优化相结合，使我们能够取得重大突破。 Plonky2 的递归证明在 Macbook Pro 上仅需 170 毫秒，比现有替代方案提高了 100 倍。

证明的大小

Plonky2 还允许我们为不涉及递归的证明的证明时间提速。使用 FRI，您可以拥有大型的快速证明（因此在以太坊上验证它们的成本更高），或者您可以选择小型的慢速证明。正如 Starkware 在其 ZK-rollups中使用的 STARK，使用 FRI 的构造必须进行选择。他们不能拥有足够快的证明时间和足够小的证明大小以在以太坊上进行合理验证。

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