Plonky2由Polygon Zero团队开发，实现了一种快速的递归SNARK，据其团队公开的基准测试，2020年，以太坊第一笔递归证明需要60s生成，而于今Plonky2在 MacBook Pro上生成只需 170 毫秒。 下面将逐步剖析Plonky2。 整体构造 每个零知识证明系统都由两部分构成。第一个是编写算术电路，第二个是多项式承诺方案。 Plonk2第一部分采用Plonk