Mina中的Pickles SNARK

1. 引言

Pickles是一个新的证明系统和相关的工具包，它是第一个能部署的无需可信设置可递归合成的SNARK。

在Coda testnet(3.3)中，Mina团队发布了Pickles。

Pickles包含了2个要素：

• core zkSNARK
• 开发者工具包：包含大量库功能和Pickles归纳证明系统

2. Pickles core zkSNARK

Pickles的zkSNARK在许多方面显著改进了 Coda以前基于Groth16的递归SNARK：

• 1）通过从大的753位field 切换到小的255位field，提高了整个Coda的效率：
  • VRF evaluation速度提升了16x
  • Hash运算速度提升了8x
  • 账本存储需求降低了3x
• 2）移除了可信设置。Pickles为：基于Halo的inner product argument + batch处理技术 + 定制的约束 + 大量优化。
• 3）支持定制的约束，以实现高效递归，特别是允许高效：
  • Poseidon hash运算
  • 椭圆曲线scaling计算、加法计算和doubling计算。

3. Pickles开发者工具包

Pickles开发者工具包中的Pickles归纳证明系统。

参考资料

[1] Mina protocol手册之Pickles
[2] Mina官方2020年8月博客 Meet Pickles SNARK: Enabling Smart Contracts on Coda Protocol