Groth16 是非常著名的 zkSNARK 证明算法(proving scheme)之一（此外还有 PGHR13，GM17 等）。Groth16 相较于之前的证明协议，具有证明数据小（仅需3个证明数据）且验证速度快（仅需验证1个等式）的特点。目前 Groth16 已被广泛应用到诸多项目中，例如：Zcash, Filecoin 等。Groth16 是由大牛 Jens Groth 在 2016 年发表...