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