Polygon zkEVM新算法FFLONK优点概述

据新消息，Pogon zkEVM主网Beta版将于3月27日发布。昨日，Pogon zkEVM开发者Jordi Baylina发推表示零知识证明工具snark新增支持算法FFLONK ，并分析了FFLONK的优势，介绍FFLONK会给Pogon zkEVM带来何种便利。

文/Jordi Baylina，Pogon zkEVM开发者；译/区块链之家xiaozou

1、FFLONK已经在snark中可用了！

首先，我要向@rel_zeta_tech和来自@aztecnetwork的@Zac_Aztec致谢，感谢他们创建出如此神奇的协议。

FFLONK是一个类似GROTH16或PLONK的zkSNARK协议，具有以下优点：

2、（1）它不需要特定的可信设置（只需通用设置）。

（2）它可以验证链上证明，比Groth16成本稍低，比一般PLONK的成本低30%。

唯一的缺点是证明生成要比Groth16慢10倍。

3、在Pogon zkEVM情境下，这并不是一个重大问题。

我们只在一个证明聚集了很多批证明的**递归阶段（recursive phase）使用SNARKs。

该电路相对较小，成本将在众多批证明中分摊。

4、目前**一个阶段的证明时间大约是2分钟，但在一些优化完成后，我们的目标是不到1分钟。

验证gas成本为203K，优于Groth16的230K gas和PLONK的300K gas。

5、一旦我们对该协议的实现进行了良好的审计，我们将在主网zkEVM中使用这个协议。

另外还要感谢开发此协议的@xavipinsach、@elliptichector和所有@0xPogonZK团队成员。