Groth16 是可以实现的最小 SNARK 证明吗?