Fflonk 总结

基本介绍

Fflonk是Plonk算法的优化，主要对KZG 多项式承诺（PCS）进行优化，通过类似FFT 恒等变换，将多个多项式在一点 的打开约减为一个多项式在多个点的打开，可以有效提升验证者的性能，但会三倍增加证明者的时间。

对于Fflonk的验证，需要2个双线性对操作，5个标量乘；对于原始的Plonk方案，需要2个双线性对操作，16或18个标量乘。

Polygon zkevm Fflonk

https://hackmd.io/gUdGy0R8Qo2kxhIfL8H74Q?view
https://hecmas.github.io/uploads/fflonk.pdf

参考

https://twitter.com/jbaylina/status/1624116186861404188

https://github.com/iden3/snarkjs

https://hackmd.io/Iy1HjToBSzO_ptGCrlMoWg

https://eprint.iacr.org/2021/1167.pdf

https://github.com/w3f/fflonk