金色前哨｜Polygon Zero开源的Plonky2是什么？

金色财经报道，8月17日消息， Polygon 旗下零知识技术开发商 Polygon Zero（原 Mir）在其社交平台宣布其零知识验证系统 Plonky2 已开源。

Polygon Zero是什么？ Plonky2又是什么？

Polygon项目的主要方向是为 以太坊 扩容，其企业下拥有多个扩容解决方案，Polygon Zero是其中之一，也是利用 Plonky2技术实现的新方案。Polygon Zero 与其他炙手可热的 ZK 扩容解决方案的区别在于使用Plonky2。

Polygon Zero 使用零知识证明从根本上简化交易执行，在不牺牲去中心化、安全性或可用性的情况下提高吞吐量和可扩展性。

在 Polygon Zero 中，应用层从验证中抽象出来，这使得验证者的当前状态缩小了 1000 倍，显着减少了交易规模，并使交易执行成本降低了几个数量级。

递归证明允许 Polygon Zero 上交易的复杂部分（验证交易证明和访问状态）仅由单个验证器验证。Polygon Zero 可以随着加入网络的每个节点进行扩展，而不会牺牲安全性、去中心化或可用性。

另外，在像以太坊这样的传统区块链设计中，验证交易需要访问与交易交互的每个帐户的状态。为了促进有效的验证，节点简单地存储所有活动账户的状态，随着账户集的增长，这变得昂贵。因此以太坊已经在推进无状态以太坊的概念。

这种无状态区块链的概念是将账户数据转移到链下，个人拥有的帐户可以简单地存储在该个人的设备上。共享帐户（如 oracles）可以存储在 IPFS 或其他存储层上。

Polygon Zero 验证器也是如此，它们不需要存储任何帐户数据，也不需要知道它的存储位置。根据 Polygon Zero 使用的模型，验证器只需要为每个活动帐户存储大约 5 bits。验证对硬件的要求非常低，因此允许网络变得非常去中心化。

Polygon Zero使用递归证明来并行化交易证明验证。验证交易（验证证明和访问状态）的部分，仅由生成递归证明的单个节点执行。每个验证器更新承诺集所必须执行的状态转换非常便宜，因此吞吐量不受计算成本的限制。

这些过程的快速进行，都得益于Plonky2证明。

Plonky2 是一个基于 PLONK 和 FRI 技术的 SNARK 实现。它是基于 PLONK 和 Halo 的 Plonky 的继任者。Plonky2 专为提高速度而设计，具有高效的递归电路。在一台 2021 年的 MacBook Air 上，在优化速度时，可以在大约 300 毫秒内生成递归证明。在优化大小时，Plonky2 可以将证明压缩到大约 43 KB，生成时间大约需要 11.6 秒。

Plonky2是开创性的证明系统，它生成 ZK 证明的速度要比任何其他现有技术都快。Plonky2还允许 Polygon Zero 水平扩展，可实现协议的吞吐量不受网络上最弱节点的限制，仅受可用的总计算量限制。