Plonky2 是Polygon的递归零知识证明方案， 主要提升以太坊的可扩展性，号称比目前已有的方案快100倍，并且天生兼容以太坊。Plonky2 基于Plonk和 FRI技术，能快速生成证明，不需要可信设置，支持递归和在以太坊上低成本验证。
递归是零知识证明的超能力，使得SNARKS 可以验证其它的SNARKS。
Plonky2 采用Stark的FRI 多项式承诺方案，引入Goldilocks 域，提升在CPU的数值运算效率，支持更多的定制电路，生成递归证明的时间仅需要170ms.
对于证明的大小，FRI 很难平衡证明时间和证明大小的关系，要不然证明时间短，但是生成的证明较大，验证代价高； 或者生成成证明时间长，生成的证明较小。Plonky2 可以消除这种平衡，通过递归方式可以压缩证明大小为45 KB， 生成证明时间为20s， 相对于Starkware, 大幅降低消耗。
对于兼容性，Plonky2 原生兼容以太坊，只需要keccak-256 验证证明，验证一个证明仅消耗约 1百万 gas。 若 EIP-4488降低CALLDATA的费用，会更多降低 gas 消耗。
参考
https://blog.polygon.technology/introducing-plonky2/
https://github.com/mir-protocol/plonky2
https://github.com/mir-protocol/plonky2/blob/main/plonky2.pdf
网友评论