據最新消息，Polygon zkEVM主網Beta版將於3月27日發布。昨日，Polygon zkEVM開發者Jordi Baylina發推表示零知識證明工具snarkJS新增支持算法FFLONK ，並分析了FFLONK的優勢，介紹FFLONK會給Polygon zkEVM帶來何種便利。
文/Jordi Baylina，Polygon zkEVM開發者；譯/金色財經xiaozou
1、FFLONK已經在snarkJS中可用了！
首先，我要向@rel_zeta_tech和來自@aztecnetwork的@Zac_Aztec致謝，感謝他們創建出如此神奇的協議。
FFLONK是一個類似GROTH16或PLONK的zkSNARK協議，具有以下優點：
2、（1）它不需要特定的可信設置（只需通用設置）。
（2）它可以驗證鏈上證明，比Groth16成本稍低，比一般PLONK的成本低30%。
唯一的缺點是證明生成要比Groth16慢10倍。
3、在Polygon zkEVM情境下，這並不是一個重大問題。
我們只在一個證明聚集了很多批證明的最後遞歸階段（recursive phase）使用SNARKs。
該電路相對較小，成本將在眾多批證明中分攤。
4、目前最後一個階段的證明時間大約是2分鐘，但在一些優化完成後，我們的目標是不到1分鐘。
驗證gas成本為203K，優於Groth16的230K gas和PLONK的300K gas。
5、一旦我們對該協議的實現進行了良好的審計，我們將在主網zkEVM中使用這個協議。
另外還要感謝開發此協議的@xavipinsach、@elliptichector和所有@0xPolygonZK團隊成員。