Groth16算法是zkSNARK的典型算法，目前在ZCash，Filecoin，Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。Groth16计算分成三个部分：Setup针对电路生成Pk/Vk（证明/验证密钥），Prove在给定witness/statement的情况下生成证明，Verify通过Vk验证证明是否正确。
利用Groth16计算证明之前，需要计算出H。目前，普遍采用的是FFT算法。
bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。
零知识证明 - Coda SNARK挑战（Stage2）
Star Li